Hazard Analysis for Safety-critical Systems Using SOFL

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...

Full description

Bibliographic Details
Main Authors: Azma, Abdullah, Liu, Shaoying
Format: Conference or Workshop Item
Language:English
Published: 2013
Subjects:
QA76 Computer software
Online Access:http://umpir.ump.edu.my/id/eprint/3612/
http://umpir.ump.edu.my/id/eprint/3612/1/SS-0020.pdf
id ump-3612
recordtype eprints
spelling ump-36122018-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..
repository_type Digital Repository
institution_category Local University
institution Universiti Malaysia Pahang
building UMP Institutional Repository
collection Online Access
language English
topic QA76 Computer software
spellingShingle QA76 Computer software
Azma, Abdullah
Liu, Shaoying
Hazard Analysis for Safety-critical Systems Using SOFL
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.
format Conference or Workshop Item
author Azma, Abdullah
Liu, Shaoying
author_facet Azma, Abdullah
Liu, Shaoying
author_sort Azma, Abdullah
title Hazard Analysis for Safety-critical Systems Using SOFL
title_short 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_sort hazard analysis for safety-critical systems using sofl
publishDate 2013
url http://umpir.ump.edu.my/id/eprint/3612/
http://umpir.ump.edu.my/id/eprint/3612/1/SS-0020.pdf
first_indexed 2023-09-18T21:58:00Z
last_indexed 2023-09-18T21:58:00Z
_version_ 1777414208869105664

Similar Items