A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis

Yuri Dantas, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev

2022

Abstract

Safety architecture patterns are abstract representations to address faults in the system architecture. In the current state of practice, the decision of which safety architecture pattern to deploy and where in the system architecture is carried out manually by a safety expert. This decision may be time consuming or even lead to human errors. This paper presents Safety Pattern Synthesis, a tool for automating the recommendation of safety architecture patterns during the design of safety-critical systems: 1) Safety Pattern Synthesis recommends patterns to address faults in the system architecture (possibly resulting in more than one architectural solution), 2) the user selects the system architecture with patterns based on, e.g., the criteria provided by Safety Pattern Synthesis, and 3) Safety Pattern Synthesis provides certain requirements that shall be considered in the overall safety engineering process. The proposed tool has been implemented as a plugin in the model-based system engineering tool called AutoFOCUS3. Safety Pattern Synthesis is implemented in Java while using a logic-programming engine as a backend to reason about the safety of the system architecture. This paper provides implementation details about Safety Pattern Synthesis and its applicability in an industrial case study taken from the automotive domain.

Paper Citation

in Harvard Style

Dantas Y., Munaro T., Carlan C., Nigam V., Barner S., Fan S., Pretschner A., Schöpp U. and Tverdyshev S. (2022). A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-550-0, pages 36-47. DOI: 10.5220/0010831700003119

in Bibtex Style

@conference{modelsward22,
author={Yuri Dantas and Tiziano Munaro and Carmen Carlan and Vivek Nigam and Simon Barner and Shiqing Fan and Alexander Pretschner and Ulrich Schöpp and Sergey Tverdyshev},
title={A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis},
booktitle={Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2022},
pages={36-47},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010831700003119},
isbn={978-989-758-550-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis
SN - 978-989-758-550-0
AU - Dantas Y.
AU - Munaro T.
AU - Carlan C.
AU - Nigam V.
AU - Barner S.
AU - Fan S.
AU - Pretschner A.
AU - Schöpp U.
AU - Tverdyshev S.
PY - 2022
SP - 36
EP - 47
DO - 10.5220/0010831700003119