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

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 of function’s variability, is playing an increasingly significant role in the development of systemic accident theory....

Full description

Bibliographic Details
Main Authors: Guihuan Duan, Jin Tian, Juyi Wu
Format: Article
Language:English
Published: Hindawi Limited 2015-01-01
Series:Mathematical Problems in Engineering
Online Access:http://dx.doi.org/10.1155/2015/196107