Azma, Abdullah and Liu, Shaoying (2013) Hazard Analysis for Safety-critical Systems Using SOFL. In: 2013 IEEE Symposium on Computational Intelligence for Engineering Solutions (CIES 2013) , 16 April 2013 , Singapore. pp. 133-140..
![[img]](http://umpir.ump.edu.my/style/images/fileicons/application_pdf.png)
|
PDF (fskkp azma 2013)
SS-0020.pdf Download (1MB) |
Abstract
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 order 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.
| Item Type: | Conference or Workshop Item (Speech) |
|---|---|
| Uncontrolled Keywords: | Hazard; Hazard identification; Hazard analysis; Safety-critical systems |
| Subjects: | Q Science > QA Mathematics > QA76 Computer software |
| Faculty/Division: | Faculty of Computer System And Software Engineering |
| Depositing User: | Noorul Farina Arifin |
| Date Deposited: | 25 Apr 2013 05:01 |
| Last Modified: | 29 Mar 2018 06:39 |
| URI: | http://umpir.ump.edu.my/id/eprint/3612 |
| Download Statistic: | View Download Statistics |
Actions (login required)
 |
View Item |