Search: onr:"swepub:oai:research.chalmers.se:f7fff5b7-1999-4c45-b0e4-fa7041a41e07" >
Early Verification ...
-
Rana, Rakesh,1985Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)
(author)
Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Testing
- Article/chapterEnglish2014
Publisher, publication year, extent ...
-
2014-10-01
-
Berlin, Heidelberg :Springer Berlin Heidelberg,2014
Numbers
-
LIBRIS-ID:oai:research.chalmers.se:f7fff5b7-1999-4c45-b0e4-fa7041a41e07
-
https://doi.org/10.1007/978-3-662-44920-2_11DOI
-
https://research.chalmers.se/publication/207891URI
-
https://gup.ub.gu.se/publication/207891URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:art swepub-publicationtype
-
Subject category:ref swepub-contenttype
Notes
-
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 and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Staron, Miroslaw,1977Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)(Swepub:gu)xstmir
(author)
-
Berger, Christian,1980Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)(Swepub:gu)xberck
(author)
-
Hansson, Jörgen,1970Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)jorhans
(author)
-
Nilsson, Martin,1970Volvo Cars
(author)
-
Törner, Fredrik,1978Volvo Cars(Swepub:cth)e8ft
(author)
-
Göteborgs universitetInstitutionen för data- och informationsteknik (GU)
(creator_code:org_t)
Related titles
-
In:Communications in Computer and Information ScienceBerlin, Heidelberg : Springer Berlin Heidelberg457, s. 164-179, s. 164-1791865-09371865-0929
-
In:Communications in Computer and Information ScienceBerlin, Heidelberg : Springer Berlin Heidelberg457, s. 164-179, s. 164-1799783662449202
Internet link
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