Improving fault injection in automotive model based development using fault bypass modeling
Paper i proceeding, 2013

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 - managing systemenvironment interdependencies. We analyze the problem in details and outline an effective approach to deal with this problem.

Författare

Rakesh Rana

Göteborgs universitet

Miroslaw Staron

Göteborgs universitet

Christian Berger

Göteborgs universitet

Jörgen Hansson

Chalmers, Data- och informationsteknik, Software Engineering

Martin Nilsson

Volvo Cars

Fredrik Törner

Volvo Cars

Lecture Notes in Informatics

1617-5468 (ISSN)

Vol. 220 2577-2591

43. Jahrestagung der Gesellschaft fur Informatik e.V. ,GI, Informatik Angepasst an Mensch, Organisation und Umwelt, Informatik 2013 - 43rd Annual Meeting of the German Informatics Society (GI), Computer Science Adapting to Individuals, Organizations and Environment, Informatics 2013
Koblenz, Germany,

Ämneskategorier

Programvaruteknik

Inbäddad systemteknik

Datorsystem

Mer information

Senast uppdaterat

2021-05-20