A Practicable Safety Modeling Methodology for Aircraft Systems Using Altarica

With the increasing system scale and complexity, safety analysis based on formal models has been widely used in the development of aircraft products. However, when many departments or suppliers participate in the joint development of safety models, lots of problems arise. For example, models are weakly matching; models are incorrect, incomplete or with low reusability and difficult to maintain. 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 and relevant constraints are declared for each phase. Meanwhile, to improve the model management, it's also discussed how to use the shared database to enhance the model reusability and simplify the model modification. At last, a hydraulic system is taken as an example to show how to the safety modeling methodology in practical.


  • English

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 01617557
  • Record Type: Publication
  • Files: TRIS
  • Created Date: Aug 11 2016 8:49AM