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 Interpretation of the Hazard Concept for Safety-Critical Systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-2615-6842
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-0757-822X
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-0904-3712
Bombardier Transportation, Sweden.
2017 (English)In: PROCEEDINGS OF THE 27TH EUROPEAN SAFETY AND RELIABILITY CONFERENCE (ESREL 2017), PORTOROZ , SLOVENIA, 18–22 JUNE 2017, 2017, 183-185 p.Conference 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.

Place, publisher, year, edition, pages
2017. 183-185 p.
Keyword [en]
UFO Ontology, Hazard analysis, Safety-critical systems
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-36999ISBN: 978-1-315-21046-9 (electronic)OAI: oai:DiVA.org:mdh-36999DiVA: diva2:1160475
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
In thesis
1. An Ontological Approach to Safety Analysis of Safety-Critical Systems
Open this publication in new window or tab >>An Ontological Approach to Safety Analysis of Safety-Critical Systems
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. Suchsystems 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 themitigation of hazardous consequences.

It is fundamental that safety requirements are defined based on the resultsissued from safety analysis. Various studies have asserted that most significant flaws in the safety requirements are related to the omission of hazards andcauses 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 theintuition and experience of the analysts and,

analysts are inclined to identify generic causes for a certain hazarddescription, for example, “Design flaw, Coding error, and Human error”and,

there is an essential need to formalize the experience of the analystsin a structured way, in order to save effort and,

since traditional safety analysis techniques are usually based on wellknown system behaviors represented by models, such as automata andsequence diagrams, a new approach is needed when such behavioralmodels are not available.

These considerations motivate us to formulate the following general researchquestion: How can safety analysis, within the context of safety-critical systems, be conducted to reduce the omission of potential hazards and their causes inearly stages of the system development life-cycle?

In this thesis, we propose an ontological approach to safety analysis forsafety-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
Keyword
hazard analysis, ontologies, safety-critical systems, safety requirements elicitation
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-37386 (URN)978-91-7485-371-1 (ISBN)
Public defence
2018-01-12, Delta, Mälardalens högskola, Västerås, 13:00 (English)
Opponent
Supervisors
Projects
DPAC
Available from: 2017-12-08 Created: 2017-12-08 Last updated: 2017-12-08Bibliographically approved

Open Access in DiVA

No full text

Authority records BETA

Zhou, JialeHänninen, KajLundqvist, Kristina

Search in DiVA

By author/editor
Zhou, JialeHänninen, KajLundqvist, Kristina
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 3 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