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
Checking verification compliance of technical safety requirements on the AUTOSAR platform using annotated semi-formal executable models
RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.ORCID iD: 0000-0001-6901-4986
Quviq AB, Sweden.
RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
Quviq AB, Sweden.
Show others and affiliations
2014 (English)In: 33rd Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2014, 2014, Vol. 8696, p. 19-26p. 19-26Conference paper, Published paper (Refereed)
Abstract [en]

Implementing AUTOSAR-based embedded systems that adhere to ISO 26262 is not trivial. High-level safety goals have to be refined to functional safety requirements and technical HW and SW safety requirements. SW safety requirements allocated to the application as well as the underlying AUTOSAR platform. Finding relevant safety requirements on the AUTOSAR basic software are a challenge. AUTOSAR specifications provide incomplete lists of requirements which might be relevant. In this paper we address this challenge by providing tool support to automatically extract relevant functional requirements for given safety scenarios. A conservative estimation gives that the safety-relevant part of the overall requirements can be as small as 30%, which reduce the necessary rigid testing effort. An electronic parking brake example is presented as a demonstration of concept.

Place, publisher, year, edition, pages
2014. Vol. 8696, p. 19-26p. 19-26
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-12510DOI: 10.1007/978-3-319-10557-4_4Scopus ID: 2-s2.0-84907373945Local ID: 23921OAI: oai:DiVA.org:ri-12510DiVA, id: diva2:970334
Conference
Computer Safety, Reliability, and Security. Lecture Notes in Computer Science (33rd Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2014; Florence; Italy; 8-9 Sept., 2014)
Available from: 2016-09-13 Created: 2016-09-13 Last updated: 2025-09-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Skoglund, Martin

Search in DiVA

By author/editor
Skoglund, Martin
By organisation
Pålitliga system
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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