Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Dependability Engineering Innovation for CPS - DEIS

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Report on use case description and technology evaluation (öffnet in neuem Fenster)

This report provides a public summary on the use cases defined and the technology evaluation performed.

DEIS Impact Report (öffnet in neuem Fenster)

The aim of the DEIS impact report is to summarize in one document the impact created by the technical innovations with regards to the project and work programme objectives.

A conceptual framework for the in-the-field dependability assurance (and certification) in CPS based on DDIs (öffnet in neuem Fenster)

Concepts and specifications to enable dynamic in-the-field dependability evaluations based on an adequate runtime representation for DDIs and dedicated evaluation mechanisms (i.e. protocols and algorithms).

Specification of the Open Dependability Exchange metamodel and documentation of the fundamental concept of Digital Dependability Identities (öffnet in neuem Fenster)

This deliverable provides the preliminary specification of the ODE Metamodel and a related description of the concept of DDIs, to be updated by D3.2 and D3.3.

Project Website and initial Dissemination Plan (öffnet in neuem Fenster)

This deliverable provides a report on the project website set up and an overview on the dissemination activities planned for the first year of the project, representing the first innovation cycle.

Engineering Framework for the generation and integration of DDI (öffnet in neuem Fenster)

A methodology, concepts and specifications (input for WP4) for the generation and integration of DDI at development time.

DEIS Requirements Report (öffnet in neuem Fenster)

This deliverable provides an overview and summary on the requirements collected in the DEIS project that are shared publicly.

Veröffentlichungen

Front Matter (öffnet in neuem Fenster)

Autoren: Marc Zeller, Kai Höfig
Veröffentlicht in: Safety and Reliability – Theory and Applications, 2017, Seite(n) i-xxxiv, ISBN 978-1-351-80973-3
Herausgeber: CRC Press
DOI: 10.1201/9781315210469-1

A Conceptual Safety Supervisor Denition and Evaluation Framework for Autonomous Systems

Autoren: Patrik Feth, Daniel Schneider, Rasmus Adler
Veröffentlicht in: International Conference on Computer Safety, Reliability and Security (SafeComp), Ausgabe Lecture Notes in Computer Science 10488, 2017
Herausgeber: Springer International Publishing

DEIS: Dependability Engineering Innova-tion for industrial CPS

Autoren: E. Armengaud, G. Macher, A. Massoner, S. Frager, R. Adler, D. Schneider, S. Longo, M. Melis, R. Groppo, F. Villa, P. O’Leary, K. Bambury, A. Finnegan, M. Zeller, K. Höfig, Y. Papadopoulos, R. Hawkins, T. Kelly
Veröffentlicht in: 21th International Forum on Advanced Microsystems for Automotive Applications (AMAA 2017), 2017, ISBN 978-3-319-66972-4
Herausgeber: Springer

A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies

Autoren: Sohag Kabir, Yiannis Papadopoulos,Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde
Veröffentlicht in: 5th International Symposium on Model-Based Safety and Assessment (IMBSA), 2017
Herausgeber: Springer

Model-based Reliability and Safety: Reducing the complexity of safety analyses using component fault trees

Autoren: Kai Höfig, Marc Zeller
Veröffentlicht in: 2018 Annual Reliability and Maintainability Symposium (RAMS), 2018
Herausgeber: IEEE

Model-Connected Safety Cases

Autoren: Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia
Veröffentlicht in: 5th International Symposium on Model-Based Safety and Assessment (IMBSA), 2017
Herausgeber: Springer

3D SPAD camera for Advanced Driver Assistance (öffnet in neuem Fenster)

Autoren: F. Villa, R. Lussana, D. Bronzi, F. Zappa, A. Giudice
Veröffentlicht in: 2017 International Conference of Electrical and Electronic Technologies for Automotive, 2017, Seite(n) 1-5, ISBN 978-88-87237-26-9
Herausgeber: IEEE
DOI: 10.23919/EETA.2017.7993220

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (öffnet in neuem Fenster)

Autoren: Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
Veröffentlicht in: 2018, Seite(n) 12-27
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-92997-2_2

Combination of Component Fault Trees and Markov Chains to Analyze Complex, Software-Controlled Systems (öffnet in neuem Fenster)

Autoren: Marc Zeller, Francesco Montrone
Veröffentlicht in: 2018 3rd International Conference on System Reliability and Safety (ICSRS), 2018, Seite(n) 13-20, ISBN 978-1-7281-0238-2
Herausgeber: IEEE
DOI: 10.1109/icsrs.2018.8688854

Fault Trees vs. Component Fault Trees: An Empirical Study

Autoren: Tim Gonschorek, Marc Zeller, Frank Ortmeier, Kai Höfig
Veröffentlicht in: 2018
Herausgeber: Springer

Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities

Autoren: Jan Reich, Marc Zeller, Daniel Schneider
Veröffentlicht in: International Conference on Computer Safety, Reliability and Security - SafeComp, 2019
Herausgeber: Springer

Towards Standardizing the Generation of Component Fault Trees through the Engineering Life Cycle

Autoren: Axel Berres, Tim Bittner, Marc Zeller
Veröffentlicht in: European Safety and Reliability Conference (ESREL), 2019
Herausgeber: Taylor & Francis

Iterative and Incremental Development of Reliable Systems

Autoren: Marc Zeller, Sebastian Klabes
Veröffentlicht in: European Safety and Reliability Conference (ESREL), 2019
Herausgeber: Taylor & Francis

Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines

Autoren: Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder
Veröffentlicht in: Reliability & Maintainability Symposium (RAMS), 2020
Herausgeber: IEEE

DPN – Dependability Priority Numbers

Autoren: Joe Guo, Marc Zeller
Veröffentlicht in: International Symposium on Model-Based Safety and Assessment (IMBSA), 2019
Herausgeber: Springer

On the Transition from Design Time to Runtime Model-Based Assurance Cases

Autoren: Wei, Ran; Reich, Jan; Kelly, Tim; Gerasimou, Simos
Veröffentlicht in: Proceedings of 13th International Workshop on Models@run.time at 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019
Herausgeber: CEUR-WS

Safety in Cooperative Automated Systems

Autoren: Daniel Schneider, Rasmus Adler, Patrik Feth, Jan Reich, Tobias Braun
Veröffentlicht in: Proceedings of the Embedded World Conference 2019., 2019
Herausgeber: Weka Fachmedien

Systematic Identification of Functional Deficiencies by means of Component Fault Trees

Autoren: Dr. Rasmus Adler und Dr. Daniel Schneider
Veröffentlicht in: safetronic, 2019
Herausgeber: Hanser

Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems (öffnet in neuem Fenster)

Autoren: Emilia Cioroaica, Daniel Schneider, Hanna AlZughbi, Jan Reich, Rasmus Adler, Tobias Braun
Veröffentlicht in: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2019, Seite(n) 86-89, ISBN 978-1-7281-3030-9
Herausgeber: IEEE
DOI: 10.1109/dsn-w.2019.00024

Remote PhotoPlethysmoGraphy Using SPAD Camera for Automotive Health Monitoring Application (öffnet in neuem Fenster)

Autoren: Marco Paracchini, Lorenzo Marchesi, Klaus Pasquinelli, Marco Marcon, Giulio Fontana, Alessandro Gabrielli, Federica Villa
Veröffentlicht in: 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE), 2019, Seite(n) 1-6, ISBN 978-8-8872-3743-6
Herausgeber: IEEE
DOI: 10.23919/eeta.2019.8804516

Keynote: Industrial-Grade DevOps - Balancing Speed with Extreme Quality

Autoren: Frank Buschmann, Marc Zeller
Veröffentlicht in: 2018 ACM/IEEE 40th International Conference on Software Engineering, 2018
Herausgeber: IEEE/ACM

Enabling Smart Safe Behaviour through Cooperative Risk Management

Autoren: Rasmus Adler (Fraunhofer IESE) and Patrik Feth (SICK AG)
Veröffentlicht in: ERCIM News 119, 2019
Herausgeber: ERCIM

Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems (öffnet in neuem Fenster)

Autoren: Sohag Kabir, Mohammad Yazdi, Jose Ignacio Aizpurua, Yiannis Papadopoulos
Veröffentlicht in: IEEE Access, Ausgabe 6, 2018, Seite(n) 29499-29515, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/ACCESS.2018.2843166

A review of applications of fuzzy sets to safety and reliability engineering (öffnet in neuem Fenster)

Autoren: Sohag Kabir, Yiannis Papadopoulos
Veröffentlicht in: International Journal of Approximate Reasoning, Ausgabe 100, 2018, Seite(n) 29-55, ISSN 0888-613X
Herausgeber: Elsevier BV
DOI: 10.1016/j.ijar.2018.05.005

Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks (öffnet in neuem Fenster)

Autoren: Sohag Kabir, Martin Walker, Yiannis Papadopoulos
Veröffentlicht in: Safety Science, Ausgabe 105, 2018, Seite(n) 55-70, ISSN 0925-7535
Herausgeber: Elsevier BV
DOI: 10.1016/j.ssci.2018.02.001

Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review (öffnet in neuem Fenster)

Autoren: Sohag Kabir, Yiannis Papadopoulos
Veröffentlicht in: Safety Science, Ausgabe 115, 2019, Seite(n) 154-175, ISSN 0925-7535
Herausgeber: Elsevier BV
DOI: 10.1016/j.ssci.2019.02.009

Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence (öffnet in neuem Fenster)

Autoren: Youcef Gheraibia, Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos
Veröffentlicht in: IEEE Access, Ausgabe 7, 2019, Seite(n) 135855-135869, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2941566

Model transformation for analyzing dependability of AADL model by using HiP-HOPS (öffnet in neuem Fenster)

Autoren: Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud
Veröffentlicht in: Journal of Systems and Software, Ausgabe 151, 2019, Seite(n) 258-282, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2019.02.019

Explicit Modelling and Treatment of Repair in Prediction of Dependability (öffnet in neuem Fenster)

Autoren: Jose Ignacio Aizpurua Unanue, Yiannis Papadopoulos, Guillaume Merle
Veröffentlicht in: IEEE Transactions on Dependable and Secure Computing, 2018, Seite(n) 1-1, ISSN 1545-5971
Herausgeber: IEEE Computer Society
DOI: 10.1109/tdsc.2018.2857810

A Method for Temporal Fault Tree Analysis Using Intuitionistic Fuzzy Set and Expert Elicitation (öffnet in neuem Fenster)

Autoren: Sohag Kabir, Tan Kim Geok, Mohit Kumar, Mohammad Yazdi, Ferdous Hossain
Veröffentlicht in: IEEE Access, Ausgabe 8, 2020, Seite(n) 980-996, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2961953

Fuzzy evidence theory and Bayesian networks for process systems risk analysis (öffnet in neuem Fenster)

Autoren: Mohammad Yazdi, Sohag Kabir
Veröffentlicht in: Human and Ecological Risk Assessment: An International Journal, Ausgabe 26/1, 2020, Seite(n) 57-86, ISSN 1080-7039
Herausgeber: Taylor & Francis
DOI: 10.1080/10807039.2018.1493679

Deep skin detection on low resolution grayscale images (öffnet in neuem Fenster)

Autoren: Marco Paracchini, Marco Marcon, Federica Villa, Stefano Tubaro
Veröffentlicht in: Pattern Recognition Letters, Ausgabe 131, 2020, Seite(n) 322-328, ISSN 0167-8655
Herausgeber: Elsevier BV
DOI: 10.1016/j.patrec.2019.12.021

Model based system assurance using the structured assurance case metamodel (öffnet in neuem Fenster)

Autoren: Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
Veröffentlicht in: Journal of Systems and Software, Ausgabe 154, 2019, Seite(n) 211-233, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2019.05.013

Evaluation of a Dependability Mechanism for Cyber Physical Systems (öffnet in neuem Fenster)

Autoren: Gilbert Regan, Fergal McCaffery, Jan Reich, Eric Armengaud, Cem Kaypmaz, Joe Zhensheng Guo, Simone Longo, Eoin O. Carroll
Veröffentlicht in: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Ausgabe 1060, 2019, Seite(n) 427-438, ISBN 978-3-030-28004-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-28005-5_33

Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems (öffnet in neuem Fenster)

Autoren: Jan Reich, Daniel Schneider
Veröffentlicht in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Ausgabe 11088, 2018, Seite(n) 139-150, ISBN 978-3-319-98653-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-99229-7_13

Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities (öffnet in neuem Fenster)

Autoren: Jan Reich, Marc Zeller, Daniel Schneider
Veröffentlicht in: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings, Ausgabe 11698, 2019, Seite(n) 254-268, ISBN 978-3-030-26600-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-26601-1_18

A Runtime Safety Analysis Concept for Open Adaptive Systems (öffnet in neuem Fenster)

Autoren: Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei
Veröffentlicht in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Ausgabe 11842, 2019, Seite(n) 332-346, ISBN 978-3-030-32871-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_22

Automated Model-Based Attack Tree Analysis Using HiP-HOPS (öffnet in neuem Fenster)

Autoren: Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O’Carroll
Veröffentlicht in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Ausgabe 11842, 2019, Seite(n) 255-269, ISBN 978-3-030-32871-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_17

A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS (öffnet in neuem Fenster)

Autoren: Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia
Veröffentlicht in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Ausgabe 11842, 2019, Seite(n) 109-124, ISBN 978-3-030-32871-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_8

Analysis of Attacks and Security Requirements for Wireless Body Area Networks - A Systematic Literature Review (öffnet in neuem Fenster)

Autoren: Pangkaj Chandra Paul, John Loane, Gilbert Regan, Fergal McCaffery
Veröffentlicht in: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Ausgabe 1060, 2019, Seite(n) 439-452, ISBN 978-3-030-28004-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-28005-5_34

A Serverless Architecture for Wireless Body Area Network Applications (öffnet in neuem Fenster)

Autoren: Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan
Veröffentlicht in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Ausgabe 11842, 2019, Seite(n) 239-254, ISBN 978-3-030-32871-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_16

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0