Skip to Main content Skip to Navigation
Theses

From safety analysis to experimental validation by fault injection - Case of automotive embedded systems

Ludovic Pintard 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Due to the rising complexity of automotive Electric/Electronic embedded systems, Functional Safety becomes a main issue in the automotive industry. This issue has been formalized by the introduction of the ISO 26262 standard for functional safety in 2011. The challenges are, on the one hand to design safe systems based on a systematic verification and validation approach, and on the other hand, the fulfilment of the requirements of the ISO 26262 standard. Following ISO 26262 recommendations, our approach, based on fault injection, aims at verifying fault tolerance mechanisms and non-functional requirements at all steps of the development cycle, from early design phases down to im-plementation. Fault injection is a verification technique that has been investigated for a long time. However, the role of fault injection during design phase and its complementarities with the experimental validation of the target have not been explored. In this work, we investigate a fault injection continuum, from system design validation to experiments on implemented targets. The proposed approach considers the safety analyses as a starting point, with the identification of safety mechanisms and safety requirements, and goes down to the validation of the implementation of safety mechanisms through fault injection ex-periments. The whole approach is based on a key fault injection framework, called FARM (Fault, Ac-tivation, Readouts and Measures). We show that this approach can be integrated in the development process of the automotive embedded systems described in the ISO 26262 standard. Our approach is illustrated on an automotive case study: a Front-Light system.
Document type :
Theses
Complete list of metadata

Cited literature [82 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01216586
Contributor : Arlette Evrard <>
Submitted on : Friday, October 16, 2015 - 2:57:43 PM
Last modification on : Thursday, June 10, 2021 - 3:05:41 AM
Long-term archiving on: : Monday, January 18, 2016 - 6:04:37 AM

Identifiers

  • HAL Id : tel-01216586, version 1

Citation

Ludovic Pintard. From safety analysis to experimental validation by fault injection - Case of automotive embedded systems. Embedded Systems. INP Toulouse, 2015. English. ⟨tel-01216586⟩

Share

Metrics

Record views

623

Files downloads

4263