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
The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment
Mälardalen University, School of Innovation, Design and Engineering. (IS (Embedded Systems))ORCID iD: 0000-0002-9347-1949
Mälardalen University, School of Innovation, Design and Engineering. (IS (Embedded Systems))ORCID iD: 0000-0002-6352-4368
Mälardalen University, School of Innovation, Design and Engineering. (IS (Embedded Systems))ORCID iD: 0000-0003-2415-8219
2013 (English)Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
2013.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-21407OAI: oai:DiVA.org:mdh-21407DiVA: diva2:647605
Conference
31st International System Safety Conference, August 12-16, 2013, Boston Marriott Copley Place, Boston, Massachusetts, USA
Projects
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems
Available from: 2013-09-11 Created: 2013-09-11 Last updated: 2013-12-19Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Jaradat, OmarGraydon, PatrickBate, Iain
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Total: 29 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