Improving Fault Injection in Automotive Model Based Development using Fault Bypass Modeling

Rana, Rakesh, 1983 (author): Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg

Staron, Miroslaw, 1977 (author): Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg

Berger, Christian, 1980 (author): Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg

Hansson, Jörgen, 1970 (author): Chalmers tekniska högskola,Chalmers University of Technology

(creator_code:org_t)

2013
2013
English.
In: 2nd Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13), Koblenz, Germany, Sep 2013. ; 220, s. 2577-2591

Related links:: https://gup.ub.gu.se...; show more...; https://research.cha...; https://research.cha...; show less...

Abstract Subject headings

Fault injection is widely used for validating dependability of computer systems. These techniques have been traditionally used for testing dependability of the both hardware and software systems. With widespread use of model based development in automotive software development more sophisticated needs arise for using fault injection techniques at the model level, which can yield significant benefits in combination with model-based testing or model mutation. In this paper, we address challenges with injecting faults into behavioral models in terms of analysis of results and propose a framework for distinguishing between correct and incorrect simulation results. The focus is laid on an important challenge encountered when injecting faults in continuous models, i.e. managing system-environment inter-dependencies. We analyze the problem in details and outline an effective approach to deal with this problem.

TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)

By the author/editor: Rana, Rakesh, 19 ...; Staron, Miroslaw ...; Berger, Christia ...; Hansson, Jörgen, ...; Nilsson, Martin; Törner, Fredrik, ...

About the subject

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Electrical Engin ...; and Computer Systems

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Electrical Engin ...; and Embedded Systems

NATURAL SCIENCES: NATURAL SCIENCES; and Computer and Inf ...; and Software Enginee ...

By the university: University of Gothenburg; Chalmers University of Technology

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.