Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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
Vise andre og tillknytning
2015 (engelsk)Inngår i: Computer Safety, Reliability, and Security / [ed] Floor Koornneef, Coen van Gulijk, 2015, Vol. 9337, s. 135-148Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2015. Vol. 9337, s. 135-148
Serie
Lecture Notes in Computer Science (LNCS), ISSN 0302-9743 ; 9337
Emneord [en]
fault-injection, back-to-back testing, model-based development, embedded systems, functional safety, soft errors
HSV kategori
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
Konferanse
34th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2015), September 23-25, 2015, Delft, Netherlands
Forskningsfinansiär
EU, FP7, Seventh Framework Programme, 295311Tilgjengelig fra: 2018-11-22 Laget: 2018-11-22 Sist oppdatert: 2019-07-10bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Folkesson, PeterVinter, Jonny

Søk i DiVA

Av forfatter/redaktør
Folkesson, PeterVinter, Jonny
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 22 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.7