Search: id:"swepub:oai:research.chalmers.se:f7fff5b7-1999-4c45-b0e4-fa7041a41e07" >
Early Verification ...
Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Testing
-
- Rana, Rakesh, 1985 (author)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)
-
- Staron, Miroslaw, 1977 (author)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)
-
- Berger, Christian, 1980 (author)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)
-
show more...
-
- Hansson, Jörgen, 1970 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Nilsson, Martin, 1970 (author)
- Volvo Cars
-
- Törner, Fredrik, 1978 (author)
- Volvo Cars
-
show less...
-
(creator_code:org_t)
- 2014-10-01
- 2014
- English.
-
In: Communications in Computer and Information Science. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1865-0937 .- 1865-0929. ; 457, s. 164-179, s. 164-179
- Related links:
-
http://dx.doi.org/10...
-
show more...
-
https://doi.org/10.1...
-
https://research.cha...
-
https://gup.ub.gu.se...
-
show less...
Abstract
Subject headings
Close
- Today software is core part of modern automobiles. The amount, complexity and importance of software components within Electrical/Electronics (E/E) systems of modern cars is only increasing with time. Several automotive functions carrying software provide or interact with safety critical systems such as systems steering and braking and thus assuring functional safety for such systems is of high importance. Requirements for the safety assurance are specified partially by such functional safety standards as ISO 26262. The standard provides the framework and guidelines for the development of hardware and software for components deemed to be safety critical. In this chapter we argue that traditional approaches for safety assurance such as fault injection and mutation testing can be adapted and applied to functional models to enable early verification and validation according to the requirements of ISO 26262. We show how to use fault injection in combination with mutation based testing to identify defects early in the development process - both theoretically and on a case of self-driving miniature vehicles. The argument is grounded upon the current best practices within the industry, a study of ISO 26262 standard, and academic and industrial case studies using fault injection and mutation based testing applied to the functional model level. In this paper we also provide the initial validation of this approach using software of a self-driving miniature vehicle.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publication and Content Type
- art (subject category)
- ref (subject category)
Find in a library
To the university's database
- By the author/editor
-
Rana, Rakesh, 19 ...
-
Staron, Miroslaw ...
-
Berger, Christia ...
-
Hansson, Jörgen, ...
-
Nilsson, Martin, ...
-
Törner, Fredrik, ...
- About the subject
-
- NATURAL SCIENCES
-
NATURAL SCIENCES
-
and Computer and Inf ...
- Articles in the publication
-
Communications i ...
-
Communications i ...
- By the university
-
Chalmers University of Technology
-
University of Gothenburg