Hazard analysis for safety-critical systems using SOFL

Azma binti Abdullah, Shaoying Liu
2013 2013 IEEE Symposium on Computational Intelligence for Engineering Solutions (CIES)  
The most important mechanism for improving the safety of a system is to identify the hazard state of the system as it has the potential to cause an unexpected, unplanned or undesired event or a series of events. A hazard that occurs in a system could inevitably lead to an accident (loss event), which could result in an injury or illness or even loss of a human life, and the hazard could also have a negative impact on the environment. An approach in hazard analysis is proposed in this paper in
more » ... der to avoid hazard from happening in a safety-critical system. The approach consists of three steps: (1) deriving hazards from safety properties, (2) using Fault Tree Analysis (FTA) to analyze the possible causes of each hazard, and (3) converting each minimal cut-set of FTA into a formal property in terms of variables used in the formal specification. A case study based on an Auto-cruise Control (ACC) system for vehicles is used as an example to illustrate the process.
doi:10.1109/cies.2013.6611740 dblp:conf/cies/AbdullahL13 fatcat:vax4npgg6nhihlmmplaaackguy