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

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.