mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
An Ontological Approach to Safety Analysis of Safety-Critical Systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. (Software Engineering)ORCID iD: 0000-0002-2615-6842
2017 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

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.

Place, publisher, year, edition, pages
Västerås: Mälardalen University , 2017.
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 251
Keywords [en]
hazard analysis, ontologies, safety-critical systems, safety requirements elicitation
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:mdh:diva-37386ISBN: 978-91-7485-371-1 (print)OAI: oai:DiVA.org:mdh-37386DiVA, id: diva2:1163903
Public defence
2018-01-12, Delta, Mälardalens högskola, Västerås, 13:00 (English)
Opponent
Supervisors
Projects
DPACAvailable from: 2017-12-08 Created: 2017-12-08 Last updated: 2017-12-20Bibliographically approved
List of papers
1. An Ontological Interpretation of the Hazard Concept for Safety-Critical Systems
Open this publication in new window or tab >>An Ontological Interpretation of the Hazard Concept for Safety-Critical Systems
2017 (English)In: PROCEEDINGS OF THE 27TH EUROPEAN SAFETY AND RELIABILITY CONFERENCE (ESREL 2017), PORTOROZ , SLOVENIA, 18–22 JUNE 2017, 2017, p. 183-185Conference paper, Published paper (Refereed)
Abstract [en]

The hazard concept has been extensively used in the literature and defined in an informal way, which serves as a guidance on identifying the potential hazards during the development of safety-critical systems. Intuitively, the definitions seem to be consistent and easy to understand. However, when we take a closer look at these definitions, ambiguities may arise, and real-world semantics need to be defined. In this work, we propose a hazard domain ontology, i.e., the Hazard Ontology (HO), to provide an ontological interpretation of hazard. To tackle the aforementioned issues, the HO is grounded in the Unified Foundational Ontology (UFO) to utilize the benefits provided by taking foundational concepts into account. Finally, we show some useful findings when we use the proposed ontology to analyze the hazard descriptions from an industrial passenger train project.

Keywords
UFO Ontology, Hazard analysis, Safety-critical systems
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-36999 (URN)978-1-315-21046-9 (ISBN)
Conference
The 27th European Safety and Reliability Conference ESREL'17, 18-22 Jun 2017, Portoroz, Slovenia
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-11-27 Created: 2017-11-27 Last updated: 2017-12-08Bibliographically approved
2. An Ontological Approach to Hazard Identification for Safety-Critical Systems
Open this publication in new window or tab >>An Ontological Approach to Hazard Identification for Safety-Critical Systems
2017 (English)In: 2017 2nd International Conference on Reliability Systems Engineering, ICRSE 2017, Beijing, China, 2017, article id 8030746Conference paper, Published paper (Refereed)
Abstract [en]

Hazard identification is an essential but very de- manding task for the development of safety-critical systems (SCSs). Current practices suffer from one or several drawbacks listed below: 1) a common hazard conceptualization is missing and thereby ambiguities may arise and, 2) there is still a need to formalize the experience of analysts and lessons learned from previous system development in a structured way to facilitate future reuse. and, 3) some hazard identification techniques require well-known system behaviors represented by models, such as automata and sequence diagrams, to identify hazards, and however such models are typically susceptible to changes or even not available in early stages. In this paper, we propose an ontological approach to support hazard identification in the early stages of the development of SCSs. The approach aims to improve hazard identification results in terms of completeness and unambiguity. A robotic strolling assistant system is used to evaluate the proposed approach.

Place, publisher, year, edition, pages
Beijing, China: , 2017
Keywords
hazard ontologyhazard identificationpreliminary hazard analysissafety-critical systems
National Category
Engineering and Technology Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-35514 (URN)10.1109/ICRSE.2017.8030746 (DOI)000425930200036 ()2-s2.0-85032291985 (Scopus ID)9781538609187 (ISBN)
Conference
2nd International Conference on Reliability Systems Engineering, ICRSE 2017; Beijing Yanqi Lake International Convention and Exhibition Center (BYCC)Huairou, Beijing; China; 10 July 2017 through 12
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-06-05 Created: 2017-06-05 Last updated: 2018-03-15Bibliographically approved
3. An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems
Open this publication in new window or tab >>An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems
2018 (English)In: 2017 2nd International Conference on System Reliability and Safety ICSRS'17, 2018, p. 405-413Conference paper, Published paper (Refereed)
Abstract [en]

Preliminary hazard analysis (PHA) is a key safety-concerned technique, applied in early stages of safety critical systems development, aiming to provide stakeholders with a general understanding of potential hazards together with their causes. Various studies have asserted that most significant flaws in hazard analysis techniques are related to the omission of causes associated with the identified hazards. In addition, identified causes are sometimes described in too generic terms to provide useful guidance for subsequent activities. In this paper, we propose an approach to explore and identify the causes associated with the hazards from a PHA, aiming to improve the results of hazard causes identification in terms of completeness and usefulness. To achieve the goal, the proposed approach utilizes the hazard-related concepts and relations defined in a hazard domain ontology presented in our previous work. Furthermore, an application scenario of a train control system is used to evaluate our approach.

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37069 (URN)10.1109/ICSRS.2017.8272856 (DOI)000426453100069 ()2-s2.0-85046626823 (Scopus ID)978-1-5386-3322-9 (ISBN)
Conference
2017 2nd International Conference on System Reliability and Safety ICSRS'17, 20 Dec 2017, Milan, Italy
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-10-31 Created: 2017-10-31 Last updated: 2018-05-24Bibliographically approved
4. An Ontological Approach to Elicit Safety Requirements
Open this publication in new window or tab >>An Ontological Approach to Elicit Safety Requirements
2017 (English)In: 24th Asia-Pacific Software Engineering Conference APSEC 2017, 2017, p. 713-718Conference paper, Published paper (Refereed)
Abstract [en]

Safety requirements describe risk mitigations against failures that may cause catastrophic consequences on human life, environment and facilities. To be able to implement the correct risk mitigations, it is fundamental that safety requirements are de- fined based on the results issued from the safety analysis. In this paper, we introduce a heuristic approach to elicit safety requirements based on the knowledge about hazard’s causes, hazard’s sources and hazard’s consequences (i.e. hazard’s components) acquired during the safety analysis. The proposed approach is based on a Hazard Ontology that is used to structure the knowledge about the hazards identified during the safety analysis in order to make it available and accessible for requirements elicitation. We describe how this information can be used to elicit safety requirements, and provide a guidance to derive the safety requirements which are appropriate to deal with the hazards they mitigate.

Keywords
Safety requirements, safety requirements elicitation, ontologies, hazards, hazard's components
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37099 (URN)10.1109/APSEC.2017.91 (DOI)000428733800084 ()2-s2.0-85045921379 (Scopus ID)978-1-5386-3681-7 (ISBN)
Conference
24th Asia-Pacific Software Engineering Conference APSEC 2017, 04 Dec 2017, Nanjing, China
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-10-26 Created: 2017-10-26 Last updated: 2018-05-11Bibliographically approved
5. A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology
Open this publication in new window or tab >>A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology
2017 (English)In: 43rd Euromicro Conference on Software Engineering and Advanced Applications SEAA'17, 2017, p. 301-304Conference paper, Published paper (Refereed)
Abstract [en]

Preliminary hazard analysis (PHA) is a key safety-concerned activity, applied during the early stages of safety-critical systems development process, aiming to provide stakeholders with a general understanding of potential hazards. The identified hazards will be described and serve as a basis to further identify mitigation mechanisms in the subsequent development process. However, since various stakeholders will be involved in the identification process, a common understanding of the nature of hazards among stakeholders, such as what a hazard consists of and how to describe it without ambiguities, is of crucial importance to achieve the goal of PHA. In this work, we propose a hazard modeling language (HML) based on a hazard domain ontology, i.e., the Hazard Ontology, in order to facilitate the specification of identified hazards. In addition, we present an approach to the transformation from natural language hazard descriptions into the HML specification. Finally, an industrial PHA example is used to illustrate the usefulness of our work.

Keywords
hazard ontologyhazard modeling languagesafety-critical systempreliminary hazard analysis
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-35513 (URN)10.1109/SEAA.2017.48 (DOI)000426074600044 ()9781538621400 (ISBN)
Conference
43rd Euromicro Conference on Software Engineering and Advanced Applications SEAA'17, 30 Aug 2017, Vienna, Austria
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-06-01 Created: 2017-06-01 Last updated: 2018-03-15Bibliographically approved

Open Access in DiVA

fulltext(2145 kB)87 downloads
File information
File name FULLTEXT03.pdfFile size 2145 kBChecksum SHA-512
e0f11704104b7db48efe818db60b73927390c87a5051261e8380642526d50d6f0b51b180340c28639c532bf61feabd7fd9756164f8a4d2ec279b4f12cbe1e624
Type fulltextMimetype application/pdf

Authority records BETA

Zhou, Jiale

Search in DiVA

By author/editor
Zhou, Jiale
By organisation
Embedded Systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 87 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 392 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf