Abstract
Based on the Functional Resonance Analysis Method (FRAM), a framework associated with practicable steps is presented to support hazard analysis for socio-technical systems. In the FRAM-based analysis (FRAMA), the derivation of rules describing function variability (RFV) is highlighted to understand the influence of system elements on each other, as well as to determine how the various performance of functions can occur and aggregate. The RFV enable the analysis to be conducted by means of model checking (MC), and consequently facilitate exhaustive search, based on the FRAM modeling, for potential performance of the system functional model. How hazards result from highly complex interactions among system functions, and how the scenario(s) where safety constraints are violated, is illustrated. In a case study, the method FRAMA was applied to a typical ferry capsizal accident, and the model checking results illuminate more details about the accident causes than both the details provided in the officially-issued investigation report and those produced by the current FRAM.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
