Skip to main content

Dependability Engineering Innovation for CPS - DEIS

Deliverables

Software components for in-the-field evaluation of DDIs V2

Final version of all in-the-field software components.

ODE Profile V1

First version of the ODE metamodel profile.

Software components for in-the-field evaluation of DDIs V1

First version of in-the-field software components.

ODE Profile V2

Revised version of the ODE metamodel profile.

Report on use case description and technology evaluation

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

DEIS Impact Report

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

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

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

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

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

DEIS Requirements Report

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

Publications

Front Matter

Author(s): Marc Zeller, Kai Höfig
Published in: Safety and Reliability – Theory and Applications, 2017, Page(s) i-xxxiv
DOI: 10.1201/9781315210469-1

A Conceptual Safety Supervisor Denition and Evaluation Framework for Autonomous Systems

Author(s): Patrik Feth, Daniel Schneider, Rasmus Adler
Published in: International Conference on Computer Safety, Reliability and Security (SafeComp), Issue Lecture Notes in Computer Science 10488, 2017

DEIS: Dependability Engineering Innova-tion for industrial CPS

Author(s): 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
Published in: 21th International Forum on Advanced Microsystems for Automotive Applications (AMAA 2017), 2017

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

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

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

Author(s): Kai Höfig, Marc Zeller
Published in: 2018 Annual Reliability and Maintainability Symposium (RAMS), 2018

Model-Connected Safety Cases

Author(s): Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia
Published in: 5th International Symposium on Model-Based Safety and Assessment (IMBSA), 2017

3D SPAD camera for Advanced Driver Assistance

Author(s): F. Villa, R. Lussana, D. Bronzi, F. Zappa, A. Giudice
Published in: 2017 International Conference of Electrical and Electronic Technologies for Automotive, 2017, Page(s) 1-5
DOI: 10.23919/EETA.2017.7993220

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus

Author(s): Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
Published in: 2018, Page(s) 12-27
DOI: 10.1007/978-3-319-92997-2_2

Combination of Component Fault Trees and Markov Chains to Analyze Complex, Software-Controlled Systems

Author(s): Marc Zeller, Francesco Montrone
Published in: 2018 3rd International Conference on System Reliability and Safety (ICSRS), 2018, Page(s) 13-20
DOI: 10.1109/icsrs.2018.8688854

Fault Trees vs. Component Fault Trees: An Empirical Study

Author(s): Tim Gonschorek, Marc Zeller, Frank Ortmeier, Kai Höfig
Published in: 2018

Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities

Author(s): Jan Reich, Marc Zeller, Daniel Schneider
Published in: International Conference on Computer Safety, Reliability and Security - SafeComp, 2019

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

Author(s): Axel Berres, Tim Bittner, Marc Zeller
Published in: European Safety and Reliability Conference (ESREL), 2019

Iterative and Incremental Development of Reliable Systems

Author(s): Marc Zeller, Sebastian Klabes
Published in: European Safety and Reliability Conference (ESREL), 2019

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

Author(s): Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder
Published in: Reliability & Maintainability Symposium (RAMS), 2020

DPN – Dependability Priority Numbers

Author(s): Joe Guo, Marc Zeller
Published in: International Symposium on Model-Based Safety and Assessment (IMBSA), 2019

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

Author(s): Wei, Ran; Reich, Jan; Kelly, Tim; Gerasimou, Simos
Published in: Proceedings of 13th International Workshop on Models@run.time at 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019

Safety in Cooperative Automated Systems

Author(s): Daniel Schneider, Rasmus Adler, Patrik Feth, Jan Reich, Tobias Braun
Published in: Proceedings of the Embedded World Conference 2019., 2019

Systematic Identification of Functional Deficiencies by means of Component Fault Trees

Author(s): Dr. Rasmus Adler und Dr. Daniel Schneider
Published in: safetronic, 2019

Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems

Author(s): Emilia Cioroaica, Daniel Schneider, Hanna AlZughbi, Jan Reich, Rasmus Adler, Tobias Braun
Published in: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2019, Page(s) 86-89
DOI: 10.1109/dsn-w.2019.00024

Remote PhotoPlethysmoGraphy Using SPAD Camera for Automotive Health Monitoring Application

Author(s): Marco Paracchini, Lorenzo Marchesi, Klaus Pasquinelli, Marco Marcon, Giulio Fontana, Alessandro Gabrielli, Federica Villa
Published in: 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE), 2019, Page(s) 1-6
DOI: 10.23919/eeta.2019.8804516

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

Author(s): Frank Buschmann, Marc Zeller
Published in: 2018 ACM/IEEE 40th International Conference on Software Engineering, 2018

Enabling Smart Safe Behaviour through Cooperative Risk Management

Author(s): Rasmus Adler (Fraunhofer IESE) and Patrik Feth (SICK AG)
Published in: ERCIM News 119, 2019

Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems

Author(s): Sohag Kabir, Mohammad Yazdi, Jose Ignacio Aizpurua, Yiannis Papadopoulos
Published in: IEEE Access, Issue 6, 2018, Page(s) 29499-29515, ISSN 2169-3536
DOI: 10.1109/ACCESS.2018.2843166

A review of applications of fuzzy sets to safety and reliability engineering

Author(s): Sohag Kabir, Yiannis Papadopoulos
Published in: International Journal of Approximate Reasoning, Issue 100, 2018, Page(s) 29-55, ISSN 0888-613X
DOI: 10.1016/j.ijar.2018.05.005

Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks

Author(s): Sohag Kabir, Martin Walker, Yiannis Papadopoulos
Published in: Safety Science, Issue 105, 2018, Page(s) 55-70, ISSN 0925-7535
DOI: 10.1016/j.ssci.2018.02.001

Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review

Author(s): Sohag Kabir, Yiannis Papadopoulos
Published in: Safety Science, Issue 115, 2019, Page(s) 154-175, ISSN 0925-7535
DOI: 10.1016/j.ssci.2019.02.009

Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence

Author(s): Youcef Gheraibia, Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos
Published in: IEEE Access, Issue 7, 2019, Page(s) 135855-135869, ISSN 2169-3536
DOI: 10.1109/access.2019.2941566

Model transformation for analyzing dependability of AADL model by using HiP-HOPS

Author(s): Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud
Published in: Journal of Systems and Software, Issue 151, 2019, Page(s) 258-282, ISSN 0164-1212
DOI: 10.1016/j.jss.2019.02.019

Explicit Modelling and Treatment of Repair in Prediction of Dependability

Author(s): Jose Ignacio Aizpurua Unanue, Yiannis Papadopoulos, Guillaume Merle
Published in: IEEE Transactions on Dependable and Secure Computing, 2018, Page(s) 1-1, ISSN 1545-5971
DOI: 10.1109/tdsc.2018.2857810

A Method for Temporal Fault Tree Analysis Using Intuitionistic Fuzzy Set and Expert Elicitation

Author(s): Sohag Kabir, Tan Kim Geok, Mohit Kumar, Mohammad Yazdi, Ferdous Hossain
Published in: IEEE Access, Issue 8, 2020, Page(s) 980-996, ISSN 2169-3536
DOI: 10.1109/access.2019.2961953

Fuzzy evidence theory and Bayesian networks for process systems risk analysis

Author(s): Mohammad Yazdi, Sohag Kabir
Published in: Human and Ecological Risk Assessment: An International Journal, Issue 26/1, 2020, Page(s) 57-86, ISSN 1080-7039
DOI: 10.1080/10807039.2018.1493679

Deep skin detection on low resolution grayscale images

Author(s): Marco Paracchini, Marco Marcon, Federica Villa, Stefano Tubaro
Published in: Pattern Recognition Letters, Issue 131, 2020, Page(s) 322-328, ISSN 0167-8655
DOI: 10.1016/j.patrec.2019.12.021

Model based system assurance using the structured assurance case metamodel

Author(s): Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
Published in: Journal of Systems and Software, Issue 154, 2019, Page(s) 211-233, ISSN 0164-1212
DOI: 10.1016/j.jss.2019.05.013

Evaluation of a Dependability Mechanism for Cyber Physical Systems

Author(s): Gilbert Regan, Fergal McCaffery, Jan Reich, Eric Armengaud, Cem Kaypmaz, Joe Zhensheng Guo, Simone Longo, Eoin O. Carroll
Published in: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Issue 1060, 2019, Page(s) 427-438
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

Author(s): Jan Reich, Daniel Schneider
Published in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Issue 11088, 2018, Page(s) 139-150
DOI: 10.1007/978-3-319-99229-7_13

Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities

Author(s): Jan Reich, Marc Zeller, Daniel Schneider
Published in: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings, Issue 11698, 2019, Page(s) 254-268
DOI: 10.1007/978-3-030-26601-1_18

A Runtime Safety Analysis Concept for Open Adaptive Systems

Author(s): Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei
Published in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Issue 11842, 2019, Page(s) 332-346
DOI: 10.1007/978-3-030-32872-6_22

Automated Model-Based Attack Tree Analysis Using HiP-HOPS

Author(s): Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O’Carroll
Published in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Issue 11842, 2019, Page(s) 255-269
DOI: 10.1007/978-3-030-32872-6_17

A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS

Author(s): Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia
Published in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Issue 11842, 2019, Page(s) 109-124
DOI: 10.1007/978-3-030-32872-6_8

Analysis of Attacks and Security Requirements for Wireless Body Area Networks - A Systematic Literature Review

Author(s): Pangkaj Chandra Paul, John Loane, Gilbert Regan, Fergal McCaffery
Published in: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Issue 1060, 2019, Page(s) 439-452
DOI: 10.1007/978-3-030-28005-5_34

A Serverless Architecture for Wireless Body Area Network Applications

Author(s): Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan
Published in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Issue 11842, 2019, Page(s) 239-254
DOI: 10.1007/978-3-030-32872-6_16