Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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
Back-to-Back Fault Injection Testing in Model-Based Development
RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.ORCID-id: 0000-0001-5224-9412
Chalmers University of Technology, Sweden.
Chalmers University of Technology, Sweden.
RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.ORCID-id: 0000-0002-6191-6253
Visa övriga samt affilieringar
2015 (Engelska)Ingår i: Computer Safety, Reliability, and Security / [ed] Floor Koornneef, Coen van Gulijk, 2015, Vol. 9337, s. 135-148Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Today, embedded systems across industrial domains (e.g., avionics,automotive) are representatives of software-intensive systems with increasingreliance on software and growing complexity. It has become critically importantto verify software in a time, resource and cost effective manner. Furthermore,industrial domains are striving to comply with the requirements of relevantsafety standards. This paper proposes a novel workflow along with tool supportto evaluate robustness of software in model-based development environment,assuming different abstraction levels of representing software. We then showthe effectiveness of our technique, on a brake-by-wire application, byperforming back-to-back fault injection testing between two differentabstraction levels using MODIFI for the Simulink model and GOOFI-2 for thegenerated code running on the target microcontroller. Our proposed method andtool support facilitates not only verifying software during early phases of thedevelopment lifecycle but also fulfilling back-to-back testing requirements of ISO 26262 [1] when using model-based development.

Ort, förlag, år, upplaga, sidor
2015. Vol. 9337, s. 135-148
Serie
Lecture Notes in Computer Science (LNCS), ISSN 0302-9743 ; 9337
Nyckelord [en]
fault-injection, back-to-back testing, model-based development, embedded systems, functional safety, soft errors
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:ri:diva-36480DOI: 10.1007/978-3-319-24255-2_11ISBN: 978-3-319-24254-5 (tryckt)ISBN: 978-3-319-24255-2 (digital)OAI: oai:DiVA.org:ri-36480DiVA, id: diva2:1265203
Konferens
34th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2015), September 23-25, 2015, Delft, Netherlands
Forskningsfinansiär
EU, FP7, Sjunde ramprogrammet, 295311Tillgänglig från: 2018-11-22 Skapad: 2018-11-22 Senast uppdaterad: 2019-07-10Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Folkesson, PeterVinter, Jonny

Sök vidare i DiVA

Av författaren/redaktören
Folkesson, PeterVinter, Jonny
Av organisationen
Elektronik
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 22 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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
v. 2.35.7