Dependability Engineering Innovation for CPS - DEIS

Información del proyecto

DEIS

Identificador del acuerdo de subvención: 732242

DOI

10.3030/732242

Proyecto cerrado

Fecha de la firma de la CE 12 Octubre 2016

Fecha de inicio 1 Enero 2017

Fecha de finalización 31 Diciembre 2019

Financiado con arreglo a

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

Coste total

€ 4 889 290,00

Aportación de la UE

€ 4 889 290,00

Coordinado por

AVL LIST GMBH
Austria

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

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.

Publicaciones

Conference proceedings (20)

Front Matter

Autores: Marc Zeller, Kai Höfig
Publicado en: Safety and Reliability – Theory and Applications, 2017, Página(s) i-xxxiv, ISBN 978-1-351-80973-3
Editor: CRC Press
DOI: 10.1201/9781315210469-1

A Conceptual Safety Supervisor Denition and Evaluation Framework for Autonomous Systems

Autores: Patrik Feth, Daniel Schneider, Rasmus Adler
Publicado en: International Conference on Computer Safety, Reliability and Security (SafeComp), Edición Lecture Notes in Computer Science 10488, 2017
Editor: Springer International Publishing

DEIS: Dependability Engineering Innova-tion for industrial CPS

Autores: 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
Publicado en: 21th International Forum on Advanced Microsystems for Automotive Applications (AMAA 2017), 2017, ISBN 978-3-319-66972-4
Editor: Springer

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

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

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

Autores: Kai Höfig, Marc Zeller
Publicado en: 2018 Annual Reliability and Maintainability Symposium (RAMS), 2018
Editor: IEEE

Model-Connected Safety Cases

Autores: Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia
Publicado en: 5th International Symposium on Model-Based Safety and Assessment (IMBSA), 2017
Editor: Springer

3D SPAD camera for Advanced Driver Assistance

Autores: F. Villa, R. Lussana, D. Bronzi, F. Zappa, A. Giudice
Publicado en: 2017 International Conference of Electrical and Electronic Technologies for Automotive, 2017, Página(s) 1-5, ISBN 978-88-87237-26-9
Editor: IEEE
DOI: 10.23919/EETA.2017.7993220

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus

Autores: Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
Publicado en: 2018, Página(s) 12-27
Editor: 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

Autores: Marc Zeller, Francesco Montrone
Publicado en: 2018 3rd International Conference on System Reliability and Safety (ICSRS), 2018, Página(s) 13-20, ISBN 978-1-7281-0238-2
Editor: IEEE
DOI: 10.1109/icsrs.2018.8688854

Fault Trees vs. Component Fault Trees: An Empirical Study

Autores: Tim Gonschorek, Marc Zeller, Frank Ortmeier, Kai Höfig
Publicado en: 2018
Editor: Springer

Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities

Autores: Jan Reich, Marc Zeller, Daniel Schneider
Publicado en: International Conference on Computer Safety, Reliability and Security - SafeComp, 2019
Editor: Springer

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

Autores: Axel Berres, Tim Bittner, Marc Zeller
Publicado en: European Safety and Reliability Conference (ESREL), 2019
Editor: Taylor & Francis

Iterative and Incremental Development of Reliable Systems

Autores: Marc Zeller, Sebastian Klabes
Publicado en: European Safety and Reliability Conference (ESREL), 2019
Editor: Taylor & Francis

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

Autores: Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder
Publicado en: Reliability & Maintainability Symposium (RAMS), 2020
Editor: IEEE

DPN – Dependability Priority Numbers

Autores: Joe Guo, Marc Zeller
Publicado en: International Symposium on Model-Based Safety and Assessment (IMBSA), 2019
Editor: Springer

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

Autores: Wei, Ran; Reich, Jan; Kelly, Tim; Gerasimou, Simos
Publicado en: Proceedings of 13th International Workshop on [e-mail] at 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019
Editor: CEUR-WS

Safety in Cooperative Automated Systems

Autores: Daniel Schneider, Rasmus Adler, Patrik Feth, Jan Reich, Tobias Braun
Publicado en: Proceedings of the Embedded World Conference 2019., 2019
Editor: Weka Fachmedien

Systematic Identification of Functional Deficiencies by means of Component Fault Trees

Autores: Dr. Rasmus Adler und Dr. Daniel Schneider
Publicado en: safetronic, 2019
Editor: Hanser

Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems

Autores: Emilia Cioroaica, Daniel Schneider, Hanna AlZughbi, Jan Reich, Rasmus Adler, Tobias Braun
Publicado en: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2019, Página(s) 86-89, ISBN 978-1-7281-3030-9
Editor: IEEE
DOI: 10.1109/dsn-w.2019.00024

Remote PhotoPlethysmoGraphy Using SPAD Camera for Automotive Health Monitoring Application

Autores: Marco Paracchini, Lorenzo Marchesi, Klaus Pasquinelli, Marco Marcon, Giulio Fontana, Alessandro Gabrielli, Federica Villa
Publicado en: 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE), 2019, Página(s) 1-6, ISBN 978-8-8872-3743-6
Editor: IEEE
DOI: 10.23919/eeta.2019.8804516

Other (2)

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

Autores: Frank Buschmann, Marc Zeller
Publicado en: 2018 ACM/IEEE 40th International Conference on Software Engineering, 2018
Editor: IEEE/ACM

Enabling Smart Safe Behaviour through Cooperative Risk Management

Autores: Rasmus Adler (Fraunhofer IESE) and Patrik Feth (SICK AG)
Publicado en: ERCIM News 119, 2019
Editor: ERCIM

Peer reviewed articles (11)

Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems

Autores: Sohag Kabir, Mohammad Yazdi, Jose Ignacio Aizpurua, Yiannis Papadopoulos
Publicado en: IEEE Access, Edición 6, 2018, Página(s) 29499-29515, ISSN 2169-3536
Editor: 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

Autores: Sohag Kabir, Yiannis Papadopoulos
Publicado en: International Journal of Approximate Reasoning, Edición 100, 2018, Página(s) 29-55, ISSN 0888-613X
Editor: Elsevier BV
DOI: 10.1016/j.ijar.2018.05.005

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

Autores: Sohag Kabir, Martin Walker, Yiannis Papadopoulos
Publicado en: Safety Science, Edición 105, 2018, Página(s) 55-70, ISSN 0925-7535
Editor: 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

Autores: Sohag Kabir, Yiannis Papadopoulos
Publicado en: Safety Science, Edición 115, 2019, Página(s) 154-175, ISSN 0925-7535
Editor: Elsevier BV
DOI: 10.1016/j.ssci.2019.02.009

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

Autores: Youcef Gheraibia, Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos
Publicado en: IEEE Access, Edición 7, 2019, Página(s) 135855-135869, ISSN 2169-3536
Editor: 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

Autores: Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud
Publicado en: Journal of Systems and Software, Edición 151, 2019, Página(s) 258-282, ISSN 0164-1212
Editor: Elsevier BV
DOI: 10.1016/j.jss.2019.02.019

Explicit Modelling and Treatment of Repair in Prediction of Dependability

Autores: Jose Ignacio Aizpurua Unanue, Yiannis Papadopoulos, Guillaume Merle
Publicado en: IEEE Transactions on Dependable and Secure Computing, 2018, Página(s) 1-1, ISSN 1545-5971
Editor: IEEE Computer Society
DOI: 10.1109/tdsc.2018.2857810

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

Autores: Sohag Kabir, Tan Kim Geok, Mohit Kumar, Mohammad Yazdi, Ferdous Hossain
Publicado en: IEEE Access, Edición 8, 2020, Página(s) 980-996, ISSN 2169-3536
Editor: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2961953

Fuzzy evidence theory and Bayesian networks for process systems risk analysis

Autores: Mohammad Yazdi, Sohag Kabir
Publicado en: Human and Ecological Risk Assessment: An International Journal, Edición 26/1, 2020, Página(s) 57-86, ISSN 1080-7039
Editor: Taylor & Francis
DOI: 10.1080/10807039.2018.1493679

Deep skin detection on low resolution grayscale images

Autores: Marco Paracchini, Marco Marcon, Federica Villa, Stefano Tubaro
Publicado en: Pattern Recognition Letters, Edición 131, 2020, Página(s) 322-328, ISSN 0167-8655
Editor: Elsevier BV
DOI: 10.1016/j.patrec.2019.12.021

Model based system assurance using the structured assurance case metamodel

Autores: Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
Publicado en: Journal of Systems and Software, Edición 154, 2019, Página(s) 211-233, ISSN 0164-1212
Editor: Elsevier BV
DOI: 10.1016/j.jss.2019.05.013

Book chapters (8)

Evaluation of a Dependability Mechanism for Cyber Physical Systems

Autores: Gilbert Regan, Fergal McCaffery, Jan Reich, Eric Armengaud, Cem Kaypmaz, Joe Zhensheng Guo, Simone Longo, Eoin O. Carroll
Publicado en: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Edición 1060, 2019, Página(s) 427-438, ISBN 978-3-030-28004-8
Editor: 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

Autores: Jan Reich, Daniel Schneider
Publicado en: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Edición 11088, 2018, Página(s) 139-150, ISBN 978-3-319-98653-1
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-99229-7_13

Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities

Autores: Jan Reich, Marc Zeller, Daniel Schneider
Publicado en: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings, Edición 11698, 2019, Página(s) 254-268, ISBN 978-3-030-26600-4
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-26601-1_18

A Runtime Safety Analysis Concept for Open Adaptive Systems

Autores: Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei
Publicado en: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Edición 11842, 2019, Página(s) 332-346, ISBN 978-3-030-32871-9
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_22

Automated Model-Based Attack Tree Analysis Using HiP-HOPS

Autores: Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O’Carroll
Publicado en: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Edición 11842, 2019, Página(s) 255-269, ISBN 978-3-030-32871-9
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_17

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

Autores: Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia
Publicado en: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Edición 11842, 2019, Página(s) 109-124, ISBN 978-3-030-32871-9
Editor: 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

Autores: Pangkaj Chandra Paul, John Loane, Gilbert Regan, Fergal McCaffery
Publicado en: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Edición 1060, 2019, Página(s) 439-452, ISBN 978-3-030-28004-8
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-28005-5_34

A Serverless Architecture for Wireless Body Area Network Applications

Autores: Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan
Publicado en: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Edición 11842, 2019, Página(s) 239-254, ISBN 978-3-030-32871-9
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_16