Dependability Engineering Innovation for CPS - DEIS

Informazioni relative al progetto

DEIS

ID dell’accordo di sovvenzione: 732242

DOI

10.3030/732242

Progetto chiuso

Data della firma CE 12 Ottobre 2016

Data di avvio 1 Gennaio 2017

Data di completamento 31 Dicembre 2019

Finanziato da

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

Costo totale

€ 4 889 290,00

Contributo UE

€ 4 889 290,00

Coordinato da

AVL LIST GMBH
Austria

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

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.

Pubblicazioni

Conference proceedings (20)

Front Matter

Autori: Marc Zeller, Kai Höfig
Pubblicato in: Safety and Reliability – Theory and Applications, 2017, Pagina/e i-xxxiv, ISBN 978-1-351-80973-3
Editore: CRC Press
DOI: 10.1201/9781315210469-1

A Conceptual Safety Supervisor Denition and Evaluation Framework for Autonomous Systems

Autori: Patrik Feth, Daniel Schneider, Rasmus Adler
Pubblicato in: International Conference on Computer Safety, Reliability and Security (SafeComp), Numero Lecture Notes in Computer Science 10488, 2017
Editore: Springer International Publishing

DEIS: Dependability Engineering Innova-tion for industrial CPS

Autori: 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
Pubblicato in: 21th International Forum on Advanced Microsystems for Automotive Applications (AMAA 2017), 2017, ISBN 978-3-319-66972-4
Editore: Springer

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

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

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

Autori: Kai Höfig, Marc Zeller
Pubblicato in: 2018 Annual Reliability and Maintainability Symposium (RAMS), 2018
Editore: IEEE

Model-Connected Safety Cases

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

3D SPAD camera for Advanced Driver Assistance

Autori: F. Villa, R. Lussana, D. Bronzi, F. Zappa, A. Giudice
Pubblicato in: 2017 International Conference of Electrical and Electronic Technologies for Automotive, 2017, Pagina/e 1-5, ISBN 978-88-87237-26-9
Editore: IEEE
DOI: 10.23919/EETA.2017.7993220

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus

Autori: Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
Pubblicato in: 2018, Pagina/e 12-27
Editore: 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

Autori: Marc Zeller, Francesco Montrone
Pubblicato in: 2018 3rd International Conference on System Reliability and Safety (ICSRS), 2018, Pagina/e 13-20, ISBN 978-1-7281-0238-2
Editore: IEEE
DOI: 10.1109/icsrs.2018.8688854

Fault Trees vs. Component Fault Trees: An Empirical Study

Autori: Tim Gonschorek, Marc Zeller, Frank Ortmeier, Kai Höfig
Pubblicato in: 2018
Editore: Springer

Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities

Autori: Jan Reich, Marc Zeller, Daniel Schneider
Pubblicato in: International Conference on Computer Safety, Reliability and Security - SafeComp, 2019
Editore: Springer

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

Autori: Axel Berres, Tim Bittner, Marc Zeller
Pubblicato in: European Safety and Reliability Conference (ESREL), 2019
Editore: Taylor & Francis

Iterative and Incremental Development of Reliable Systems

Autori: Marc Zeller, Sebastian Klabes
Pubblicato in: European Safety and Reliability Conference (ESREL), 2019
Editore: Taylor & Francis

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

Autori: Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder
Pubblicato in: Reliability & Maintainability Symposium (RAMS), 2020
Editore: IEEE

DPN – Dependability Priority Numbers

Autori: Joe Guo, Marc Zeller
Pubblicato in: International Symposium on Model-Based Safety and Assessment (IMBSA), 2019
Editore: Springer

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

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

Safety in Cooperative Automated Systems

Autori: Daniel Schneider, Rasmus Adler, Patrik Feth, Jan Reich, Tobias Braun
Pubblicato in: Proceedings of the Embedded World Conference 2019., 2019
Editore: Weka Fachmedien

Systematic Identification of Functional Deficiencies by means of Component Fault Trees

Autori: Dr. Rasmus Adler und Dr. Daniel Schneider
Pubblicato in: safetronic, 2019
Editore: Hanser

Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems

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

Remote PhotoPlethysmoGraphy Using SPAD Camera for Automotive Health Monitoring Application

Autori: Marco Paracchini, Lorenzo Marchesi, Klaus Pasquinelli, Marco Marcon, Giulio Fontana, Alessandro Gabrielli, Federica Villa
Pubblicato in: 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE), 2019, Pagina/e 1-6, ISBN 978-8-8872-3743-6
Editore: IEEE
DOI: 10.23919/eeta.2019.8804516

Other (2)

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

Autori: Frank Buschmann, Marc Zeller
Pubblicato in: 2018 ACM/IEEE 40th International Conference on Software Engineering, 2018
Editore: IEEE/ACM

Enabling Smart Safe Behaviour through Cooperative Risk Management

Autori: Rasmus Adler (Fraunhofer IESE) and Patrik Feth (SICK AG)
Pubblicato in: ERCIM News 119, 2019
Editore: ERCIM

Peer reviewed articles (11)

Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems

Autori: Sohag Kabir, Mohammad Yazdi, Jose Ignacio Aizpurua, Yiannis Papadopoulos
Pubblicato in: IEEE Access, Numero 6, 2018, Pagina/e 29499-29515, ISSN 2169-3536
Editore: 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

Autori: Sohag Kabir, Yiannis Papadopoulos
Pubblicato in: International Journal of Approximate Reasoning, Numero 100, 2018, Pagina/e 29-55, ISSN 0888-613X
Editore: Elsevier BV
DOI: 10.1016/j.ijar.2018.05.005

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

Autori: Sohag Kabir, Martin Walker, Yiannis Papadopoulos
Pubblicato in: Safety Science, Numero 105, 2018, Pagina/e 55-70, ISSN 0925-7535
Editore: 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

Autori: Sohag Kabir, Yiannis Papadopoulos
Pubblicato in: Safety Science, Numero 115, 2019, Pagina/e 154-175, ISSN 0925-7535
Editore: Elsevier BV
DOI: 10.1016/j.ssci.2019.02.009

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

Autori: Youcef Gheraibia, Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos
Pubblicato in: IEEE Access, Numero 7, 2019, Pagina/e 135855-135869, ISSN 2169-3536
Editore: 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

Autori: Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud
Pubblicato in: Journal of Systems and Software, Numero 151, 2019, Pagina/e 258-282, ISSN 0164-1212
Editore: Elsevier BV
DOI: 10.1016/j.jss.2019.02.019

Explicit Modelling and Treatment of Repair in Prediction of Dependability

Autori: Jose Ignacio Aizpurua Unanue, Yiannis Papadopoulos, Guillaume Merle
Pubblicato in: IEEE Transactions on Dependable and Secure Computing, 2018, Pagina/e 1-1, ISSN 1545-5971
Editore: IEEE Computer Society
DOI: 10.1109/tdsc.2018.2857810

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

Autori: Sohag Kabir, Tan Kim Geok, Mohit Kumar, Mohammad Yazdi, Ferdous Hossain
Pubblicato in: IEEE Access, Numero 8, 2020, Pagina/e 980-996, ISSN 2169-3536
Editore: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2961953

Fuzzy evidence theory and Bayesian networks for process systems risk analysis

Autori: Mohammad Yazdi, Sohag Kabir
Pubblicato in: Human and Ecological Risk Assessment: An International Journal, Numero 26/1, 2020, Pagina/e 57-86, ISSN 1080-7039
Editore: Taylor & Francis
DOI: 10.1080/10807039.2018.1493679

Deep skin detection on low resolution grayscale images

Autori: Marco Paracchini, Marco Marcon, Federica Villa, Stefano Tubaro
Pubblicato in: Pattern Recognition Letters, Numero 131, 2020, Pagina/e 322-328, ISSN 0167-8655
Editore: Elsevier BV
DOI: 10.1016/j.patrec.2019.12.021

Model based system assurance using the structured assurance case metamodel

Autori: Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
Pubblicato in: Journal of Systems and Software, Numero 154, 2019, Pagina/e 211-233, ISSN 0164-1212
Editore: Elsevier BV
DOI: 10.1016/j.jss.2019.05.013

Book chapters (8)

Evaluation of a Dependability Mechanism for Cyber Physical Systems

Autori: Gilbert Regan, Fergal McCaffery, Jan Reich, Eric Armengaud, Cem Kaypmaz, Joe Zhensheng Guo, Simone Longo, Eoin O. Carroll
Pubblicato in: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Numero 1060, 2019, Pagina/e 427-438, ISBN 978-3-030-28004-8
Editore: 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

Autori: Jan Reich, Daniel Schneider
Pubblicato in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Numero 11088, 2018, Pagina/e 139-150, ISBN 978-3-319-98653-1
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-99229-7_13

Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities

Autori: Jan Reich, Marc Zeller, Daniel Schneider
Pubblicato in: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings, Numero 11698, 2019, Pagina/e 254-268, ISBN 978-3-030-26600-4
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-26601-1_18

A Runtime Safety Analysis Concept for Open Adaptive Systems

Autori: Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei
Pubblicato in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numero 11842, 2019, Pagina/e 332-346, ISBN 978-3-030-32871-9
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_22

Automated Model-Based Attack Tree Analysis Using HiP-HOPS

Autori: Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O’Carroll
Pubblicato in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numero 11842, 2019, Pagina/e 255-269, ISBN 978-3-030-32871-9
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_17

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

Autori: Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia
Pubblicato in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numero 11842, 2019, Pagina/e 109-124, ISBN 978-3-030-32871-9
Editore: 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

Autori: Pangkaj Chandra Paul, John Loane, Gilbert Regan, Fergal McCaffery
Pubblicato in: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Numero 1060, 2019, Pagina/e 439-452, ISBN 978-3-030-28004-8
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-28005-5_34

A Serverless Architecture for Wireless Body Area Network Applications

Autori: Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan
Pubblicato in: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numero 11842, 2019, Pagina/e 239-254, ISBN 978-3-030-32871-9
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_16