Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution

• DOI: 10.1155/2015/196107
• Publication Date: 2015-11-22T21:00:54Z
• Authors: Guihuan Duan; Jin Tian; Juyi Wu
• Keywords: Accident (philosophy); Bridge (graph theory); Phenomenon

Functional Resonance Analysis Method (FRAM), which defines a systemic framework to model complex systems from the perspective of function and views accidents as emergent phenomenon function’s variability, is playing an increasingly significant role in development accident theory. However, FRAM typically taken theoretic method, there lack specific approaches or supportive tools bridge theory practice. To fill gap contribute FRAM, (1) variability was described further, with rules interaction among different functions being determined (2) technology checking (MC) used for analysis automatically search potential paths that could lead hazards. By means MC, system’s behaviors (normal abnormal) are simulated counter example(s) violates safety constraints requirements can be provided, if any, improve system design. The extended approach applied typical air analysis, more details drawn than conclusions report issued officially by Agenzia Nazionale per la Sicurezza del Volo (ANSV).