2014 | OriginalPaper | Chapter
A Practicable MBSA Modeling Process Using Altarica
Authors : Shaojun Li, Su Duo
Published in: Model-Based Safety and Assessment
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
With the increasing system scale and complexity, safety analysis based on formal models has been widely used in the development of aircraft products. However, it’s quite difficult to build a complete, accurate and consistent safety model, especially for dynamic complex systems. To solve these problems, a practical safety modeling methodology based on Altarica, which contains three phases like information collection, model construction and model V&V, is proposed to establish a more structured, systematic and efficiency way in this paper. Detailed processes are declared for each phase. At last, a hydraulic system is taken as an example to show how to apply the safety modeling methodology in practical.