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
Back-to-Back Fault Injection Testing in Model-Based Development
RISE - Research Institutes of Sweden, Safety and Transport, Electronics.ORCID iD: 0000-0001-5224-9412
Chalmers University of Technology, Sweden.
Chalmers University of Technology, Sweden.
RISE - Research Institutes of Sweden, Safety and Transport, Electronics.ORCID iD: 0000-0002-6191-6253
Show others and affiliations
2015 (English)In: Computer Safety, Reliability, and Security / [ed] Floor Koornneef, Coen van Gulijk, 2015, Vol. 9337, p. 135-148Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
2015. Vol. 9337, p. 135-148
Series
Lecture Notes in Computer Science (LNCS), ISSN 0302-9743 ; 9337
Keywords [en]
fault-injection, back-to-back testing, model-based development, embedded systems, functional safety, soft errors
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:ri:diva-36480DOI: 10.1007/978-3-319-24255-2_11ISBN: 978-3-319-24254-5 (print)ISBN: 978-3-319-24255-2 (electronic)OAI: oai:DiVA.org:ri-36480DiVA, id: diva2:1265203
Conference
34th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2015), September 23-25, 2015, Delft, Netherlands
Funder
EU, FP7, Seventh Framework Programme, 295311Available from: 2018-11-22 Created: 2018-11-22 Last updated: 2019-07-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Folkesson, PeterVinter, Jonny

Search in DiVA

By author/editor
Folkesson, PeterVinter, Jonny
By organisation
Electronics
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 22 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
v. 2.35.7