Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Structuring safety requirements in ISO 26262 using contract theory
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0002-9655-7326
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0002-4300-885X
2013 (English)In: Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, Springer Berlin/Heidelberg, 2013, Vol. 8153, 166-177 p.Conference paper, Published paper (Refereed)
Abstract [en]

ISO 26262 - ”Road vehicles-Functional Safety” is a standard for the automotive industry, administered in an attempt to prevent potential accidents due to systematic and random failures in the Electrical/Electronic-system. ISO 26262 is based on the principle of relying on safety requirements as the main source of information to enforce correctness of design. We show that the contract theory from the SPEEDS FP6 project provides a suitable foundation to structure safety requirements in ISO 26262. Contracts provide the necessary support to separate the responsibilities between a system and its environment by explicitly imposing requirements on the environment as assumptions, in order to guarantee the safety requirements. We show this by characterizing two levels of safety requirements with contracts for an industrial system where we also show how contract theory supports the verification of consistency and completeness of safety requirements.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2013. Vol. 8153, 166-177 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8153
Keyword [en]
Contract Theory, Industrial systems, ISO 26262, Random failures, Safety requirements, Structure safety
National Category
Mechanical Engineering
Identifiers
URN: urn:nbn:se:kth:diva-134695DOI: 10.1007/978-3-642-40793-2_16Scopus ID: 2-s2.0-84886387891ISBN: 978-3-642-40792-5 (print)OAI: oai:DiVA.org:kth-134695DiVA: diva2:667678
Conference
32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013; Toulouse; France; 24 September 2013 through 27 September 2013
Note

QC 20140128

Available from: 2013-11-27 Created: 2013-11-27 Last updated: 2014-01-29Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Westman, JonasTörngren, Martin

Search in DiVA

By author/editor
Westman, JonasTörngren, Martin
By organisation
Embedded Control Systems
Mechanical Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 206 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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