A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology

Authors:

Jiale Zhou, Kaj Hänninen, Kristina Lundqvist

Research group:

Safety-Critical Engineering

Publication Type:

Conference/Workshop Paper

Venue:

43rd Euromicro Conference on Software Engineering and Advanced Applications

Abstract

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.

Bibtex

@inproceedings{Zhou4759,
author = {Jiale Zhou and Kaj H{\"a}nninen and Kristina Lundqvist},
title = {A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology},
month = {September},
year = {2017},
booktitle = {43rd Euromicro Conference on Software Engineering and Advanced Applications},
url = {http://www.es.mdu.se/publications/4759-}
}