Hazard Analysis for Safety-critical Systems Using SOFL
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), whic...
| Autori principali: | , |
|---|---|
| Natura: | Conference or Workshop Item |
| Lingua: | English |
| Pubblicazione: |
2013
|
| Soggetti: | |
| Accesso online: | http://umpir.ump.edu.my/id/eprint/3612/1/SS-0020.pdf |
| _version_ | 1825821415890223104 |
|---|---|
| author | Azma, Abdullah Liu, Shaoying |
| author_facet | Azma, Abdullah Liu, Shaoying |
| author_sort | Azma, Abdullah |
| collection | UMP |
| description | 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. |
| first_indexed | 2024-03-06T11:41:12Z |
| format | Conference or Workshop Item |
| id | UMPir3612 |
| institution | Universiti Malaysia Pahang |
| language | English |
| last_indexed | 2024-03-06T11:41:12Z |
| publishDate | 2013 |
| record_format | dspace |
| spelling | UMPir36122018-03-29T06:39:57Z http://umpir.ump.edu.my/id/eprint/3612/ Hazard Analysis for Safety-critical Systems Using SOFL Azma, Abdullah Liu, Shaoying QA76 Computer software 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. 2013 Conference or Workshop Item PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/3612/1/SS-0020.pdf 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.. (Published) |
| spellingShingle | QA76 Computer software Azma, Abdullah Liu, Shaoying Hazard Analysis for Safety-critical Systems Using SOFL |
| title | Hazard Analysis for Safety-critical Systems Using SOFL |
| title_full | Hazard Analysis for Safety-critical Systems Using SOFL |
| title_fullStr | Hazard Analysis for Safety-critical Systems Using SOFL |
| title_full_unstemmed | Hazard Analysis for Safety-critical Systems Using SOFL |
| title_short | Hazard Analysis for Safety-critical Systems Using SOFL |
| title_sort | hazard analysis for safety critical systems using sofl |
| topic | QA76 Computer software |
| url | http://umpir.ump.edu.my/id/eprint/3612/1/SS-0020.pdf |
| work_keys_str_mv | AT azmaabdullah hazardanalysisforsafetycriticalsystemsusingsofl AT liushaoying hazardanalysisforsafetycriticalsystemsusingsofl |