mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-2615-6842
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-0757-822X
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-0904-3712
2017 (engelsk)Inngår i: 43rd Euromicro Conference on Software Engineering and Advanced Applications SEAA'17, 2017, s. 301-304Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2017. s. 301-304
Emneord [en]
hazard ontologyhazard modeling languagesafety-critical systempreliminary hazard analysis
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-35513DOI: 10.1109/SEAA.2017.48ISI: 000426074600044ISBN: 9781538621400 (tryckt)OAI: oai:DiVA.org:mdh-35513DiVA, id: diva2:1104484
Konferanse
43rd Euromicro Conference on Software Engineering and Advanced Applications SEAA'17, 30 Aug 2017, Vienna, Austria
Prosjekter
DPAC - Dependable Platforms for Autonomous systems and ControlTilgjengelig fra: 2017-06-01 Laget: 2017-06-01 Sist oppdatert: 2018-03-15bibliografisk kontrollert
Inngår i avhandling
1. An Ontological Approach to Safety Analysis of Safety-Critical Systems
Åpne denne publikasjonen i ny fane eller vindu >>An Ontological Approach to Safety Analysis of Safety-Critical Systems
2017 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University, 2017
Serie
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 251
Emneord
hazard analysis, ontologies, safety-critical systems, safety requirements elicitation
HSV kategori
Forskningsprogram
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-37386 (URN)978-91-7485-371-1 (ISBN)
Disputas
2018-01-12, Delta, Mälardalens högskola, Västerås, 13:00 (engelsk)
Opponent
Veileder
Prosjekter
DPAC
Tilgjengelig fra: 2017-12-08 Laget: 2017-12-08 Sist oppdatert: 2017-12-20bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Zhou, JialeHänninen, KajLundqvist, Kristina

Søk i DiVA

Av forfatter/redaktør
Zhou, JialeHänninen, KajLundqvist, Kristina
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 72 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf