Study on Generation of Fault Trees from Altarica Models

With the increasing scale and complexity of modern systems, traditional safety analysis methods such as FTA, FMEA seem inconvenient to use. Automated safety analysis based on formal models has become popular. In this paper, the authors took the Altarica data-flow language as the research object, and specified how to extract failure logic relations from Altarica component models and system models to generate fault trees (FTs), and proved its validity through instance verification. Fault tree generation method proposed in this paper would provide a basis for the development of automated safety analysis tools based on Altarica.

Language

  • English

Media Info

Subject/Index Terms

Filing Info

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