You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

An Ontological Approach to Safety Analysis of Safety-Critical Systems

Authors:


Publication Type:

Doctoral Thesis


Abstract

Safety-critical systems (SCSs) have become an intrinsic part of human dailylife in multiple domains, such as automotive, avionics, and rail industries. Such systems are not only required to implement the functionality they should provide, but also have to satisfy a set of safety requirements in order to ensure the mitigation of hazardous consequences.It is fundamental that safety requirements are defined based on the results issued from safety analysis. Various studies have asserted that most significant flaws in the safety requirements are related to the omission of hazards and causes associated with the identified hazards in early stages of SCSs development. The main drawbacks of the current practice applied in safety analysis,lie in that:• due to the lack of a common understanding of the hazard concept, the hazards and their causes are typically identified in accordance to the intuition and experience of the analysts and,• analysts are inclined to identify generic causes for a certain hazard description, for example, “Design flaw, Coding error, and Human error”and,• there is an essential need to formalize the experience of the analysts in a structured way, in order to save effort and,• since traditional safety analysis techniques are usually based on well known system behaviors represented by models, such as automata and sequence diagrams, a new approach is needed when such behavioral models are not available.These considerations motivate us to formulate the following general research question: How can safety analysis, within the context of safety-critical systems, be conducted to reduce the omission of potential hazards and their causes in early stages of the system development life-cycle?In this thesis, we propose an ontological approach to safety analysis for safety-critical systems, which mainly consists of four pieces of work:• we propose an ontological interpretation of the hazard concept, calledthe Hazard Ontology (HO), to define an explicit representation of theknowledge of hazards and their relations with the system under analysisand existing environment and,• we propose an approach to identify hazards in early stages of thesafety-critical systems development, based on the HO and,• we propose an approach to identify the causes associated with a certain hazard description for safety-critical systems, based on the HO and,• we propose a heuristic approach to safety requirements elicitation,based on the HO

Bibtex

@phdthesis{Zhou5099,
author = {Jiale Zhou},
title = {An Ontological Approach to Safety Analysis of Safety-Critical Systems},
isbn = {978-91-7485-371-1},
month = {January},
year = {2018},
school = {M{\\"{a}}lardalen University},
url = {http://www.es.mdh.se/publications/5099-}
}