loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rakesh Rana 1 ; Miroslaw Staron 1 ; Christian Berger 1 ; Jörgen Hansson 2 ; Martin Nilsson 3 and Fredrik Törner 3

Affiliations: 1 University of Gothenburg, Sweden ; 2 Chalmers University of Technology, Sweden ; 3 Volvo Car Corporation, Sweden

ISBN: 978-989-8565-68-6

Keyword(s): Fault Injection, Mutation Testing, ISO 26262, Simulink, Model based Development, Automotive Domain, Safety Critical Software.

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Enterprise Software Technologies ; Model-Driven Engineering ; Service-Oriented Software Engineering and Management ; Software Engineering ; Software Engineering Methods and Techniques ; Software Integration ; Software Quality Management ; Software Testing and Maintenance

Abstract: The rapid growth of software intensive active safety functions in modern cars resulted in adoption of new safety development standards like ISO 26262 by the automotive industry. Hazard analysis, safety assessment and adequate verification and validation methods for software and car electronics require effort but in the long run save lives. We argue that in the face of complex software development set-up with distributed functionality, Model-Based Development (MBD) and safety-criticality of software embedded in modern cars, there is a need for evolving existing methods of MBD and complementing them with methods already used in the development of other systems (Fault Injection and Mutation Testing). Our position is that significant effectiveness and efficiency improvements can be made by applying fault injection techniques combined with mutation testing approach for verification and validation of automotive software at the model level. The improvements include such aspects as identifica tion of safety related defects early in the development process thus providing enough time to remove the defects. The argument is based on our industrial case studies, the studies of ISO 26262 standard and academic experiments with new verification and validation methods applied to models. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.208.159.25

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Rana, R.; Staron, M.; Berger, C.; Hansson, J.; Nilsson, M. and Törner, F. (2013). Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development.In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2013) ISBN 978-989-8565-68-6, pages 251-257. DOI: 10.5220/0004592002510257

@conference{icsoft-ea13,
author={Rakesh Rana. and Miroslaw Staron. and Christian Berger. and Jörgen Hansson. and Martin Nilsson. and Fredrik Törner.},
title={Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development},
booktitle={Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2013)},
year={2013},
pages={251-257},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004592002510257},
isbn={978-989-8565-68-6},
}

TY - CONF

JO - Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2013)
TI - Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development
SN - 978-989-8565-68-6
AU - Rana, R.
AU - Staron, M.
AU - Berger, C.
AU - Hansson, J.
AU - Nilsson, M.
AU - Törner, F.
PY - 2013
SP - 251
EP - 257
DO - 10.5220/0004592002510257

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.