Loading

Dissemination

DEIS Video - DDI Demonstration for the ETCS Use Case

DEIS Publications

Title

Author(s)

Title of Journal/Proceedings, Book...

Year

DEIS: Dependability Engineering Innovation for Cyber-Physical Systems

Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armenguad

STAF 2017 Project Showcase (to be appeared)

2017

Towards Dependability Engineering of Cooperative Automotive CPS

Georg MACHER - AVL
Eric ARMENGAUD - AVL
Daniel SCHNEIDER - Fraunhofer IESE
Eugen BRENNER - Graz Univ. of Technology
Christian KREINER - Graz Univ. of Technology

Proceedings of 24th European Systems, Software & Service Process Improvement & Innovation Conference (EuroSPI 2017)

2017

A model-based extension to HiP-HOPS for dynamic fault propagation studies

Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe, and Erich Rüde3

5th International Symposium on Model-Based Safety and Assessment (IMBSA)

2017

Model-Connected Safety Cases

Athanasios Retouniotis,
Yiannis Papadopoulos,
Ioannis Sorokos,
David Parker,
Nicholas Matragkas,
Septavera Sharvia

5th International Symposium on Model-Based Safety and Assessment (IMBSA)

2017

Development of complex safety-critical systems using model-based safety engineering: An industrial perspective

Marc Zeller

Presentation @ 4th Symposium of the Swiss Society of Systems Engineering (SWISSED)

2017

SpeCTRA - automated synchronization of component fault TRee and Model-Dased FME(D)A

M. Zeller, K. Höfig

Proceedings of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications

2017

Automotive SPICE, Safety and Cybersecurity Integration

Georg MACHER - AVL
Alexander MUCH - elektrobit
Andreas RIEL - EMIRAcle
Richard MESSNARZ - ISCN
Christian KREINER - Graz Univ. of Technology

SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS Trento, Italy, September 12, 2017, Proceedings

2017

A Conceptual Safety Supervisor Denition and Evaluation Framework for Autonomous Systems

Patrik Feth, Daniel Schneider, Rasmus Adler

International Conference on Computer Safety, Reliability and Security (SafeComp)

2017

DEIS: Dependability Engineering Innova-tion for industrial CPS

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

21th International Forum on Advanced Microsystems for Automotive Applications (AMAA 2017)

2017

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

Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann

2018 Annual Reliability and Maintainability Symposium (RAMS)

2018

Development Framework for Longitudinal Automated Driving Functions with Off-board Information Integration

Eric Armengaud, Sebastian Frager, Stephen Jones, Alexander Massoner, Alejandro Ferreira Parrilla, Niklas Wikström, Georg Macher

Proceedings of 9th European Congress Embedded Real Time Software and Systems

2018

A Lightweight Meta Model to Support Automotive Systems and Software Engineering

Georg Macher, Eric Armengaud, Eugen Brenner, Christian Kreiner

Proceedings of the 9th European Congress Embedded Real Time Software and Systems

2018

Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain

Tiago Amorim, Helmut Martin, Zhendong Ma, Christoph Schmittner, Daniel Schneider, Georg Macher, Bernhard Winkler, Martin Krammer, and Christian Kreiner6

RESS Journal special issue wrt selected safecomp papers

2018

B-Space: Dynamic Management and Assurance of Open Systems of Systems

Daniel Schneider and Mario Trapp

Journal of Internet Services and Applications (Springer Open)

2018

B-Spaces for Resilient Cyber-Physical Systems

Daniel Schneider, Mario Trapp, Patrik Feth, Gereon Weiß

IEEE Computer Special Issue on Resiliency in CPS

2018

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

Sohag Kabir, Martin Walker, Yiannis Papadopoulos

Safety Science

2018

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus

Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S Kolovos, Richard F Paige

2018

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

Ran Wei, Jan Reich, Tim Kelly, Simos Gerasimou

13th International Workshop on Models@Runtime

2018

Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems

Sohag Kabir, Mohammad Yazdi, Jose Ignacio Aizpurua, Yiannis Papadopoulos

IEEE Access

2018

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

Sohag Kabir, Yiannis Papadopoulos

International Journal of Approximate Reasoning

2018

Explicit modelling and treatment of repair in prediction of dependability

Jose Ignacio Aizpurua Unanue, Yiannis Papadopoulos, Guillaume Merle

IEEE Transactions on Dependable and Secure Computing

2018

Fuzzy evidence theory and Bayesian networks for process systems risk analysis

Mohammad Yazdi, Sohag Kabir

Human and Ecological Risk Assessment: An International Journal

2018

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

Marc Zeller, Francesco Montrone

2018 3rd International Conference on System Reliability and Safety (ICSRS)

2018

Fault Trees vs. Component Fault Trees: An Empirical Study

Tim Gonschorek, Marc Zeller, Frank Ortmeier, Kai Höfig

International Conference on Computer Safety, Reliability, and Security

2018

Safety assessment of ETCS using Component Fault Trees: A Case Study

Marc Zeller, Sebastian Klabes, Jean-Pascal Schwin

INCOSE EMEASEC 2018

2018

Model Based System Assurance Using the Structured Assurance Case Metamodel

Ran Wei, Tim Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins

Journal of Systems and Software

2019

Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities

Jan Reich, Marc Zeller, Daniel Schneider

38th Int. Conference on Computer Safety, Reliability and Security - SafeComp 2019

2019

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

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud

Journal of Systems and Software

2019

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

Sohag Kabir, Yiannis Papadopoulos

Safety Science

2019

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

Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia

6th International Symposium on Model-Based Safety and Assessment (IMBSA 2019)

2019

Automated Model-based Attack Tree Analysis using HiP-HOPS

Declan Whiting, Ioannis Sokoros, Yiannis Papadopoulos, Gilbert Regan, Eoin O’Carroll

6th International Symposium on Model-Based Safety and Assessment (IMBSA 2019)

2019

Evaluation of a

 Safety Analysis Concept for Open Adaptive Systems

Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei

6th International Symposium on Model-Based Safety and Assessment (IMBSA 2019)

2019

Evaluation of a Dependability Mechanism for Cyber Physical Systems

Gilbert Regan
Fergal Mc Caffery
Jan Reich
Eric Armengaud
Cem Kaypmaz
Joe Zhensheng Guo
Simone Longo
Eoin O Carroll

EuroSPI 2019

2019

A Serverless Architecture for Wireless Body Area Network Applications

Pangkaj Chandra Paul, John Loane, Fergal McCaffery and Gilbert Regan

6th International Symposium on Model-Based Safety and Assessment (IMBSA 2019

2019

Analysis of attacks and security requirements for wireless body area networks - A systematic literature review

Pangkaj Chandra Paul
John Loane
Gilbert Regan
Fergal McCaffery

EuroSPI 2019

2019

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

Axel Berres, Tim Bittner, Marc Zeller

Proceedings of the 29th European Safety and Reliability Conference (ESREL)

2019

Iterative and Incremental Development of Reliable Systems

Marc Zeller, Sebastian Klabes

Proceedings of the 29th European Safety and Reliability Conference (ESREL)

2019

DPN – Dependability Priority Numbers

Joe Guo, Marc Zeller

6th International Symposium on Model-Based Safety and Assessment (IMBSA 2019

2019

Model Based System Assurance Using the Structured Assurance Case Metamodel

R. Wei, T. Kelly, X. Dai, Z. Shuai, R. Hawkins

Journal of Systems and Software

2019

Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities

J. Reich, M. Zeller, D. Schneider

38th International Conference on Computer Safety, Reliability and Security

2019

Model Transformation for Analysing Dependability of AADL Model by Using HiP-HOPS

Z. Mian, L. Bottaci, Y. Papadopoulos, N. Mahmud

Journal of Systems and Software

2019

Applications of Bayesian Networks and Petri Nets in Safety, Reliability, and Risk Assessments: A Review

S. Kabir, Y. Papdopoulos

Safety Science

2019

DEIS - Dependability Engineering Innovation for smart transportation

Eric Armengaud, Cem Kaypmaz, Erhan Ozkaya, M. Zeller, S. Longo, M. Melis, R. Groppo, E. O'Carroll, D. Schneider, J. Reich, Y. Papadopoulos, I. Sorokos,

T. Kelly, I. Habli, R. Wei, F. Villa, G. Regan

TRA (Transport Research Arena) 2020

2020