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
The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment
Mälardalens högskola, Akademin för innovation, design och teknik. (IS (Embedded Systems))ORCID-id: 0000-0002-9347-1949
Mälardalens högskola, Akademin för innovation, design och teknik. (IS (Embedded Systems))ORCID-id: 0000-0002-6352-4368
Mälardalens högskola, Akademin för innovation, design och teknik. (IS (Embedded Systems))ORCID-id: 0000-0003-2415-8219
2013 (Engelska)Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Preliminary safety assessment is an important activity in safety systems development since it provides insight into the proposed system’s ability to meet its safety requirements. Because preliminary safety assessment is conducted before the system is implemented, developers rely on high-level designs of the system to assess safety in order to reduce the risk of finding issues later in the process. Since system architecture is the first design artefact developers produce, developers invest considerable time in assessing the architecture’s impact on system safety. Typical safety standards require developers to show that a plan of safety activities, chosen from recommended options or alternatives, meets a set of objectives. More specifically, the automotive safety standard ISO 26262 recommends formally verifying the software architecture to show that it “complies” with safety requirements. In this paper, we apply an architecture-based verification technique for Architecture Analysis and Design Language (AADL) specifications to an architectural design for a fuel level estimation system to validate certain architectural properties. Subsequently, we build part of the conformance argument to show how the model checking can satisfy some ISO 26262 obligations. Furthermore, we show how the method could be used as a part of preliminary safety assessments and how it can be upheld by the later implementations beside of the other recommend methods.

Ort, förlag, år, upplaga, sidor
2013.
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-21407OAI: oai:DiVA.org:mdh-21407DiVA, id: diva2:647605
Konferens
31st International System Safety Conference, August 12-16, 2013, Boston Marriott Copley Place, Boston, Massachusetts, USA
Projekt
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsTillgänglig från: 2013-09-11 Skapad: 2013-09-11 Senast uppdaterad: 2013-12-19Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Jaradat, OmarGraydon, PatrickBate, Iain

Sök vidare i DiVA

Av författaren/redaktören
Jaradat, OmarGraydon, PatrickBate, Iain
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 40 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