Skip to main content

Research Repository

Advanced Search

Model-connected safety cases

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


Athanasios Retouniotis

Ioannis Sorokos

Nicholas Matragkas


© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the evidence that supports this structure. The resultant safety case argues that all hazards are adequately addressed through meeting the system safety requirements. This overarching claim is demonstrated via satisfaction of the integrity requirements that are assigned to subsystems and components of the system through a sound process of model-based allocation that respects the system design and follows industry standards. The safety evidence that substantiates claims is supported by evidence which is also auto-constructed from the system model. As the system model evolves during design, the corresponding model-connected safety case can be auto-updated. The approach is underpinned by a data model that connects safety argumentation and safety analysis artefacts, and is facilitated by a software tool.


Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. (2017). Model-connected safety cases. Lecture notes in computer science, 10437 LNCS, 50-63.

Journal Article Type Conference Paper
Acceptance Date Aug 2, 2016
Online Publication Date Aug 2, 2017
Publication Date Aug 1, 2017
Deposit Date Feb 6, 2018
Journal Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Print ISSN 0302-9743
Electronic ISSN 1611-3349
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 10437 LNCS
Pages 50-63
ISBN 9783319641188
Public URL