Abstract
System safety is a vital non-functional requirement whose satisfaction is essential for system software. However, modern aerospace system software is more and more complicated, which results in a high complexity of analyzing system faults. With the increased acceptance of Model-based Systems Engineering as a new method for systems engineering, Model-based Safety Analysis is also proposed to formalize the task of safety analysis and automate the safety calculations. Our work is grounded on State/Event Fault Tree to analyze system faults and build functional model. Firstly, we can translate SEFT to state machine based on SysML with fault syntactic messages and match elements together with translating logic gates; after which, transforming state machine into Petri Net model by means of rigorous semantic relations to extract preliminary analytical model is deduced theoretically in this paper; finally, we can derive analyses of causes and results of faults from Petri Net model by adopting a set of mathematical and statistical analysis. Practically, we have also validated our work by a case study of an aeronautic control system to support this paper.
Highlights
Increasing system complexity results in an increase in complexity of the safety analyst's task to ensure that systems are safe
The following excerpt is illustrative of reflection about state, event, port and transition to capture state machine from State/Event Fault Tree (SEFT)
Fault tree can express system fault behavior commendably, yet it is incapable of conveying functional behavior of system
Summary
Increasing system complexity results in an increase in complexity of the safety analyst's task to ensure that systems are safe. System safety uses systems theory and systems engineering approaches to prevent foreseeable accidents and to minimize the result of unforeseen ones. It is a planned, disciplined, and systematic approach to identifying, analyzing, and controlling hazards throughout the life cycle of a system in order to prevent or reduce accidents. Model-based Safety Analysis methods have been developed for formalising the work and subsequent automation of the safety calculatio a ns. These techniques use their own models that are not identical to the design models. Keeping consistency between these models often requires model-to-model transformations
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
