Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development

@inproceedings{Rana2013IncreasingEO,
  title={Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development},
  author={Rakesh Rana and Miroslaw Staron and Christian Berger and J{\"o}rgen Hansson and Martin Nilsson and Fredrik T{\"o}rner},
  booktitle={ICSOFT},
  year={2013}
}
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… 

Figures from this paper

Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Testing
TLDR
This chapter argues 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 and shows how to use fault injection in combination with mutation based testing to identify defects early in the development process.
Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier
TLDR
This paper proposes automated testing methods using formal analysis tools like Simulink Design Verifier™ (SLDV) for boundary value testing and interface testing to address the demands of ISO 26262 concepts at unit and component level.
Defect Prediction & Prevention In Automotive Software Development
TLDR
This thesis aims to facilitate the adoption of reliability growth modelling within the automotive domain and increase the reliability of software developed within this domain by exploring two directions and establishes the applicability of SRGMs in automotive industrial domain.
ASFIT: AUTOSAR-Based Software Fault Injection Test for Vehicles
TLDR
The proposed fault injection method can inject different types of faults that may occur in AUTOSAR-based automotive software, such as access, asymmetric, and timing errors, while minimizing performance degradation due to fault injection, and without using any separate hardware devices.
Software Defect Prediction Techniques in Automotive Domain: Evaluation, Selection and Adoption
TLDR
The effective use of software defect prediction techniques and doing early reliability assessment on executable models would allow early planning and efficient use of limited test resources, reduced development time/ market lead time and more robust software in automobiles which make them more intelligent, safe and also highly reliable.
Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems
TLDR
This paper explores how the effort (and cost) of the V&V phase of the engineering process of complex CPSs can be reduced by enhancing the knowledge about the system components, and explicitly capturing it within their corresponding validity frame.
Evaluating long-term predictive power of standard reliability growth models on automotive systems
TLDR
Evaluated SRGMs on four software projects from the automotive sector indicate that Gompertz and Logistic model performs best among the tested models on all fit criterias as well as on predictive power, although these models are not reliable for long-term prediction with partial data.
Software Fault Injection Test Methodology for the Software Verification of ISO 26262 Standards-based
TLDR
The basic concept of SFIT will be examined, the application of SIFT based on ISO26262 will be described and the dynamic verification technique, FMEA, and Robustness are described.
Influence of Software Complexity on ISO/IEC 26262 Software Verification Requirements
TLDR
This talk explores how the growing complexity of software requires even more effort to validate it in the context of ISO/IEC 26262 and shows that soon the way the authors work with verification and validation needs to change as thegrowing complexity makes it virtually impossible to achieve full certainty that the software is correct.
Development and Validation of Functional Model of a Cruise Control System
TLDR
The development and validation of a functional model of a conventional cruise control system in a passenger vehicle based on the ISO 26262 Road Vehicles - Functional Safety standard is discussed.
...
...

References

SHOWING 1-10 OF 35 REFERENCES
Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain
TLDR
By advancing the applicability and scalability of these advanced technologies and providing support in form of qualified tool chains, a substantial change in the development of automotive software can be achieved, allowing not only to virtualize and thus substitute physical solutions of automotive functions, but also to implement a new range of functionalities.
Improving Fault Injection in Automotive Model Based Development using Fault Bypass Modeling
TLDR
The focus is laid on an important challenge encountered when injecting faults in continuous models, i.e. managing system-environment inter-dependencies and an effective approach to deal with this problem is outlined.
Model-Based Development of Automotive Electronic Climate Control Software
TLDR
The back-to-back testing approach is presented that ensures flawless and smooth transition from legacy designs to the model-based development.
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier
TLDR
This paper reports the initial experience in using model-based safety analysis on an example system taken from the ARP Safety Assessment guidelines document.
Mutation-Based Test Case Generation for Simulink Models
TLDR
A verification methodology to assess the correctness of Simulink programs by means of automated test-case generation and several optimisations are discussed to make the approach practical for realistic Simulinks programs and fault models, and to obtain accurate coverage measures.
A Light-Weight Defect Classification Scheme for Embedded Automotive Software Development
TLDR
A light-weight defect classification scheme adapted to automotive software development is presented and concludes that the IEEE Std.
FISCADE - A Fault Injection Tool for SCADE Models
TLDR
The FISCADE fault injection tool, developed as a plug-in to SCADE, automatically performs a pre-injection analysis to reduce the number of fault injection experiments needed and supports the work of configuration and carrying out automated fault injection campaigns.
Challenges in automotive software engineering
TLDR
The automotive industry is an ideal and fascinating application domain for advanced techniques and the specific constraints and domain specific requirements in the automotive industry ask for individual solutions and bring various challenges for automotive software engineering.
Achievements and exploitation of the AUTOSAR development partnership
TLDR
The AUTOSAR initiative is described, a methodology that supports a distributed, function-driven development process and standardizes the software-architecture for each ECU in such a system is defined, and compatible software-interfaces at application-level are specified.
MODIFI: A MODel-Implemented Fault Injection Tool
TLDR
The MODIFI (MODel-Implemented Fault Injection) tool is presented, currently targeting behaviour models in Simulink and the fault injection algorithm uses the concept of minimal cut sets (MCS) generation.
...
...