mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
An Ontological Approach to Elicit Safety Requirements
Bombardier Transportation, Västerås, Sweden.
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-0002-2615-6842
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-0904-3712
2017 (Engelska)Ingår i: 24th Asia-Pacific Software Engineering Conference APSEC 2017, 2017, s. 713-718Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2017. s. 713-718
Nyckelord [en]
Safety requirements, safety requirements elicitation, ontologies, hazards, hazard's components
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-37099DOI: 10.1109/APSEC.2017.91ISI: 000428733800084Scopus ID: 2-s2.0-85045921379ISBN: 978-1-5386-3681-7 (tryckt)OAI: oai:DiVA.org:mdh-37099DiVA, id: diva2:1152901
Konferens
24th Asia-Pacific Software Engineering Conference APSEC 2017, 04 Dec 2017, Nanjing, China
Projekt
DPAC - Dependable Platforms for Autonomous systems and ControlTillgänglig från: 2017-10-26 Skapad: 2017-10-26 Senast uppdaterad: 2018-05-11Bibliografiskt granskad
Ingår i avhandling
1. An Ontological Approach to Safety Analysis of Safety-Critical Systems
Öppna denna publikation i ny flik eller fönster >>An Ontological Approach to Safety Analysis of Safety-Critical Systems
2017 (Engelska)Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen University, 2017
Serie
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 251
Nyckelord
hazard analysis, ontologies, safety-critical systems, safety requirements elicitation
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-37386 (URN)978-91-7485-371-1 (ISBN)
Disputation
2018-01-12, Delta, Mälardalens högskola, Västerås, 13:00 (Engelska)
Opponent
Handledare
Projekt
DPAC
Tillgänglig från: 2017-12-08 Skapad: 2017-12-08 Senast uppdaterad: 2017-12-20Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Hänninen, KajZhou, JialeLundqvist, Kristina

Sök vidare i DiVA

Av författaren/redaktören
Hänninen, KajZhou, JialeLundqvist, Kristina
Av organisationen
Inbyggda system
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 180 träffar
RefereraExporteraLänk till posten
Permanent länk

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