Sökning: id:"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)
(författare)
Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Testing
- Artikel/kapitelEngelska2014
Förlag, utgivningsår, omfång ...
-
2014-10-01
-
Berlin, Heidelberg :Springer Berlin Heidelberg,2014
Nummerbeteckningar
-
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
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:art swepub-publicationtype
-
Ämneskategori:ref swepub-contenttype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Staron, Miroslaw,1977Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)(Swepub:gu)xstmir
(författare)
-
Berger, Christian,1980Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)(Swepub:gu)xberck
(författare)
-
Hansson, Jörgen,1970Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)jorhans
(författare)
-
Nilsson, Martin,1970Volvo Cars
(författare)
-
Törner, Fredrik,1978Volvo Cars(Swepub:cth)e8ft
(författare)
-
Göteborgs universitetInstitutionen för data- och informationsteknik (GU)
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Communications in Computer and Information ScienceBerlin, Heidelberg : Springer Berlin Heidelberg457, s. 164-179, s. 164-1791865-09371865-0929
-
Ingår i:Communications in Computer and Information ScienceBerlin, Heidelberg : Springer Berlin Heidelberg457, s. 164-179, s. 164-1799783662449202
Internetlänk
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Rana, Rakesh, 19 ...
-
Staron, Miroslaw ...
-
Berger, Christia ...
-
Hansson, Jörgen, ...
-
Nilsson, Martin, ...
-
Törner, Fredrik, ...
- Om ämnet
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
- Artiklar i publikationen
-
Communications i ...
-
Communications i ...
- Av lärosätet
-
Chalmers tekniska högskola
-
Göteborgs universitet