Home // PESARO 2021, The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications // View article

Safety Case Generation by Model-based Engineering: State of the Art and a Proposal

Authors:
Fang Yan
Simon Foster
Ibrahim Habli

Keywords: safety case; assurance case; model-based engineering; generation; model

Abstract:
The paper is a review to evaluate the current techniques for safety case generation using Model-based Engineering. Safety cases provide an explicit and structured means for assessing and assuring the safety of complex systems. For systems developed with Model-based Engineering, safety cases can be constructed with system models as input and should evolve hand-in-hand with system models when the system updates. Model-based Engineering can provide automatic means for the generation to improve efficiency. But there is not a full automation solution to cover the entire generation process. This paper investigates state-of-the-art of Model-based Engineering applications to safety case generation, explores the challenges and gaps, and proposes a solution framework to address the gaps through the model transformation within the Eclipse Modeling Framework.

Pages: 4 to 7

Copyright: Copyright (c) IARIA, 2021

Publication date: April 18, 2021

Published in: conference

ISSN: 2308-3700

ISBN: 978-1-61208-840-2

Location: Porto, Portugal

Dates: from April 18, 2021 to April 22, 2021