Dependability Engineering Innovation for CPS - DEIS

Informations projet

DEIS

N° de convention de subvention: 732242

DOI

10.3030/732242

Projet clôturé

Date de signature de la CE 12 Octobre 2016

Date de début 1 Janvier 2017

Date de fin 31 Decembre 2019

Financé au titre de

• INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)

Coût total

€ 4 889 290,00

Contribution de l’UE

€ 4 889 290,00

Coordonné par

AVL LIST GMBH
Austria

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Demonstrators, pilots, prototypes (7)

Engineering tools for creation, integration and maintenance of DDIs V3

Final version of all design tools.

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

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

Engineering tools for creation, integration and maintenance of DDIs V2

First version of the design tools.

Engineering tools for creation, integration and maintenance of DDIs V1

First version of the design tools.

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.

Documents, reports (7)

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

Conference proceedings (20)

Front Matter

Auteurs: Marc Zeller, Kai Höfig
Publié dans: Safety and Reliability – Theory and Applications, 2017, Page(s) i-xxxiv, ISBN 978-1-351-80973-3
Éditeur: CRC Press
DOI: 10.1201/9781315210469-1

A Conceptual Safety Supervisor Denition and Evaluation Framework for Autonomous Systems

Auteurs: Patrik Feth, Daniel Schneider, Rasmus Adler
Publié dans: International Conference on Computer Safety, Reliability and Security (SafeComp), Numéro Lecture Notes in Computer Science 10488, 2017
Éditeur: Springer International Publishing

DEIS: Dependability Engineering Innova-tion for industrial CPS

Auteurs: 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
Publié dans: 21th International Forum on Advanced Microsystems for Automotive Applications (AMAA 2017), 2017, ISBN 978-3-319-66972-4
Éditeur: Springer

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

Auteurs: Sohag Kabir, Yiannis Papadopoulos,Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde
Publié dans: 5th International Symposium on Model-Based Safety and Assessment (IMBSA), 2017
Éditeur: Springer

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

Auteurs: Kai Höfig, Marc Zeller
Publié dans: 2018 Annual Reliability and Maintainability Symposium (RAMS), 2018
Éditeur: IEEE

Model-Connected Safety Cases

Auteurs: Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia
Publié dans: 5th International Symposium on Model-Based Safety and Assessment (IMBSA), 2017
Éditeur: Springer

3D SPAD camera for Advanced Driver Assistance

Auteurs: F. Villa, R. Lussana, D. Bronzi, F. Zappa, A. Giudice
Publié dans: 2017 International Conference of Electrical and Electronic Technologies for Automotive, 2017, Page(s) 1-5, ISBN 978-88-87237-26-9
Éditeur: IEEE
DOI: 10.23919/EETA.2017.7993220

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus

Auteurs: Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
Publié dans: 2018, Page(s) 12-27
Éditeur: 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

Auteurs: Marc Zeller, Francesco Montrone
Publié dans: 2018 3rd International Conference on System Reliability and Safety (ICSRS), 2018, Page(s) 13-20, ISBN 978-1-7281-0238-2
Éditeur: IEEE
DOI: 10.1109/icsrs.2018.8688854

Fault Trees vs. Component Fault Trees: An Empirical Study

Auteurs: Tim Gonschorek, Marc Zeller, Frank Ortmeier, Kai Höfig
Publié dans: 2018
Éditeur: Springer

Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities

Auteurs: Jan Reich, Marc Zeller, Daniel Schneider
Publié dans: International Conference on Computer Safety, Reliability and Security - SafeComp, 2019
Éditeur: Springer

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

Auteurs: Axel Berres, Tim Bittner, Marc Zeller
Publié dans: European Safety and Reliability Conference (ESREL), 2019
Éditeur: Taylor & Francis

Iterative and Incremental Development of Reliable Systems

Auteurs: Marc Zeller, Sebastian Klabes
Publié dans: European Safety and Reliability Conference (ESREL), 2019
Éditeur: Taylor & Francis

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

Auteurs: Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder
Publié dans: Reliability & Maintainability Symposium (RAMS), 2020
Éditeur: IEEE

DPN – Dependability Priority Numbers

Auteurs: Joe Guo, Marc Zeller
Publié dans: International Symposium on Model-Based Safety and Assessment (IMBSA), 2019
Éditeur: Springer

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

Auteurs: Wei, Ran; Reich, Jan; Kelly, Tim; Gerasimou, Simos
Publié dans: Proceedings of 13th International Workshop on [e-mail] at 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019
Éditeur: CEUR-WS

Safety in Cooperative Automated Systems

Auteurs: Daniel Schneider, Rasmus Adler, Patrik Feth, Jan Reich, Tobias Braun
Publié dans: Proceedings of the Embedded World Conference 2019., 2019
Éditeur: Weka Fachmedien

Systematic Identification of Functional Deficiencies by means of Component Fault Trees

Auteurs: Dr. Rasmus Adler und Dr. Daniel Schneider
Publié dans: safetronic, 2019
Éditeur: Hanser

Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems

Auteurs: Emilia Cioroaica, Daniel Schneider, Hanna AlZughbi, Jan Reich, Rasmus Adler, Tobias Braun
Publié dans: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2019, Page(s) 86-89, ISBN 978-1-7281-3030-9
Éditeur: IEEE
DOI: 10.1109/dsn-w.2019.00024

Remote PhotoPlethysmoGraphy Using SPAD Camera for Automotive Health Monitoring Application

Auteurs: Marco Paracchini, Lorenzo Marchesi, Klaus Pasquinelli, Marco Marcon, Giulio Fontana, Alessandro Gabrielli, Federica Villa
Publié dans: 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE), 2019, Page(s) 1-6, ISBN 978-8-8872-3743-6
Éditeur: IEEE
DOI: 10.23919/eeta.2019.8804516

Other (2)

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

Auteurs: Frank Buschmann, Marc Zeller
Publié dans: 2018 ACM/IEEE 40th International Conference on Software Engineering, 2018
Éditeur: IEEE/ACM

Enabling Smart Safe Behaviour through Cooperative Risk Management

Auteurs: Rasmus Adler (Fraunhofer IESE) and Patrik Feth (SICK AG)
Publié dans: ERCIM News 119, 2019
Éditeur: ERCIM

Peer reviewed articles (11)

Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems

Auteurs: Sohag Kabir, Mohammad Yazdi, Jose Ignacio Aizpurua, Yiannis Papadopoulos
Publié dans: IEEE Access, Numéro 6, 2018, Page(s) 29499-29515, ISSN 2169-3536
Éditeur: 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

Auteurs: Sohag Kabir, Yiannis Papadopoulos
Publié dans: International Journal of Approximate Reasoning, Numéro 100, 2018, Page(s) 29-55, ISSN 0888-613X
Éditeur: Elsevier BV
DOI: 10.1016/j.ijar.2018.05.005

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

Auteurs: Sohag Kabir, Martin Walker, Yiannis Papadopoulos
Publié dans: Safety Science, Numéro 105, 2018, Page(s) 55-70, ISSN 0925-7535
Éditeur: 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

Auteurs: Sohag Kabir, Yiannis Papadopoulos
Publié dans: Safety Science, Numéro 115, 2019, Page(s) 154-175, ISSN 0925-7535
Éditeur: Elsevier BV
DOI: 10.1016/j.ssci.2019.02.009

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

Auteurs: Youcef Gheraibia, Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos
Publié dans: IEEE Access, Numéro 7, 2019, Page(s) 135855-135869, ISSN 2169-3536
Éditeur: 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

Auteurs: Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud
Publié dans: Journal of Systems and Software, Numéro 151, 2019, Page(s) 258-282, ISSN 0164-1212
Éditeur: Elsevier BV
DOI: 10.1016/j.jss.2019.02.019

Explicit Modelling and Treatment of Repair in Prediction of Dependability

Auteurs: Jose Ignacio Aizpurua Unanue, Yiannis Papadopoulos, Guillaume Merle
Publié dans: IEEE Transactions on Dependable and Secure Computing, 2018, Page(s) 1-1, ISSN 1545-5971
Éditeur: IEEE Computer Society
DOI: 10.1109/tdsc.2018.2857810

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

Auteurs: Sohag Kabir, Tan Kim Geok, Mohit Kumar, Mohammad Yazdi, Ferdous Hossain
Publié dans: IEEE Access, Numéro 8, 2020, Page(s) 980-996, ISSN 2169-3536
Éditeur: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2961953

Fuzzy evidence theory and Bayesian networks for process systems risk analysis

Auteurs: Mohammad Yazdi, Sohag Kabir
Publié dans: Human and Ecological Risk Assessment: An International Journal, Numéro 26/1, 2020, Page(s) 57-86, ISSN 1080-7039
Éditeur: Taylor & Francis
DOI: 10.1080/10807039.2018.1493679

Deep skin detection on low resolution grayscale images

Auteurs: Marco Paracchini, Marco Marcon, Federica Villa, Stefano Tubaro
Publié dans: Pattern Recognition Letters, Numéro 131, 2020, Page(s) 322-328, ISSN 0167-8655
Éditeur: Elsevier BV
DOI: 10.1016/j.patrec.2019.12.021

Model based system assurance using the structured assurance case metamodel

Auteurs: Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
Publié dans: Journal of Systems and Software, Numéro 154, 2019, Page(s) 211-233, ISSN 0164-1212
Éditeur: Elsevier BV
DOI: 10.1016/j.jss.2019.05.013

Book chapters (8)

Evaluation of a Dependability Mechanism for Cyber Physical Systems

Auteurs: Gilbert Regan, Fergal McCaffery, Jan Reich, Eric Armengaud, Cem Kaypmaz, Joe Zhensheng Guo, Simone Longo, Eoin O. Carroll
Publié dans: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Numéro 1060, 2019, Page(s) 427-438, ISBN 978-3-030-28004-8
Éditeur: 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

Auteurs: Jan Reich, Daniel Schneider
Publié dans: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Numéro 11088, 2018, Page(s) 139-150, ISBN 978-3-319-98653-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-99229-7_13

Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities

Auteurs: Jan Reich, Marc Zeller, Daniel Schneider
Publié dans: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings, Numéro 11698, 2019, Page(s) 254-268, ISBN 978-3-030-26600-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-26601-1_18

A Runtime Safety Analysis Concept for Open Adaptive Systems

Auteurs: Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei
Publié dans: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numéro 11842, 2019, Page(s) 332-346, ISBN 978-3-030-32871-9
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_22

Automated Model-Based Attack Tree Analysis Using HiP-HOPS

Auteurs: Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O’Carroll
Publié dans: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numéro 11842, 2019, Page(s) 255-269, ISBN 978-3-030-32871-9
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_17

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

Auteurs: Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia
Publié dans: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numéro 11842, 2019, Page(s) 109-124, ISBN 978-3-030-32871-9
Éditeur: 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

Auteurs: Pangkaj Chandra Paul, John Loane, Gilbert Regan, Fergal McCaffery
Publié dans: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Numéro 1060, 2019, Page(s) 439-452, ISBN 978-3-030-28004-8
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-28005-5_34

A Serverless Architecture for Wireless Body Area Network Applications

Auteurs: Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan
Publié dans: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numéro 11842, 2019, Page(s) 239-254, ISBN 978-3-030-32871-9
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_16