Sökning: WFRF:(Karlsson Johan 1984)
> Folkesson Peter 1968 >
Back-to-Back Fault ...
Back-to-Back Fault Injection Testing in Model-Based Development
-
- Folkesson, Peter, 1968 (författare)
- RISE,SP Sveriges Tekniska Forskningsinstitut AB,Elektronik
-
- Ayatolahi, Fatemeh, 1984 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology,Chalmers University of Technology, Sweden
-
- Sangchoolie, Behrooz, 1986 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology,Chalmers University of Technology, Sweden
-
visa fler...
-
- Vinter, Jonny, 1963 (författare)
- RISE,SP Sveriges Tekniska Forskningsinstitut AB,Elektronik
-
- Islam, Mafijul, 1975 (författare)
- Volvo Group,Volvo AB, Sweden
-
- Karlsson, Johan, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology,Chalmers University of Technology, Sweden
-
visa färre...
-
(creator_code:org_t)
- ISBN 9783319242545
- 2015-11-25
- 2015
- Engelska.
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. - 9783319242545 - 9783319242552 ; 9337, s. 135-148
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://research.cha...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- Today, embedded systems across industrial domains (e.g., avionics, automotive) are representatives of software-intensive systems with increasing reliance on software and growing complexity. It has become critically important to verify software in a time, resource and cost effective manner. Furthermore, industrial domains are striving to comply with the requirements of relevant safety standards. This paper proposes a novel workflow along with tool support to evaluate robustness of software in model-based development environment, assuming different abstraction levels of representing software. We then show the effectiveness of our technique, on a brake-by-wire application, by performing back-to-back fault injection testing between two different abstraction levels using MODIFI for the Simulink model and GOOFI-2 for the generated code running on the target microcontroller. Our proposed method and tool support facilitates not only verifying software during early phases of the development lifecycle but also fulfilling back-to-back testing requirements of ISO 26262 when using model-based development.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datorteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- Fault-injection
- Soft errors
- Functional safety
- Embedded systems
- Model-based development
- Back-to-back testing
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas