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.), Mechatronics. (Inbyggda styrsystem)ORCID iD: 0000-0002-9655-7326
2013 (English)Report (Other academic)
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
KTH Royal Institute of Technology, 2013. , 15 p.
National Category
Applied Mechanics
Identifiers
URN: urn:nbn:se:kth:diva-120115ISRN: KTH/MMK/R-13/04-SEOAI: oai:DiVA.org:kth-120115DiVA: diva2:613698
Projects
ESPRESSO
Note

QC 20130416

Available from: 2013-04-16 Created: 2013-03-28 Last updated: 2013-04-22Bibliographically approved

Open Access in DiVA

Structuring Safety Requirements in ISO 26262 using Contract Theory(551 kB)1508 downloads
File information
File name FULLTEXT01.pdfFile size 551 kBChecksum SHA-512
4d9101a68ee00e990fea38ebbbf9dc17428a62dcb5312e9bccf0f61857f41e83e3b4dd512e9976124d98522828a122f863c5f017390cdb67fbb63486a0c9ab07
Type fulltextMimetype application/pdf

Authority records BETA

Westman, JonasTörngren, Martin

Search in DiVA

By author/editor
Westman, JonasTörngren, Martin
By organisation
Mechatronics
Applied Mechanics

Search outside of DiVA

GoogleGoogle Scholar
Total: 1508 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 824 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