Skip to Main content Skip to Navigation
Theses

Analyse de diagnosticabilité d'architecture de fonctions embarquées - Application aux architectures automobiles

Abstract : An embedded system can be defined as a constrained autonomous hardware and software system, dedicated to a specific task. The failures of embedded systems are increasingly difficult to predict, understand and repair. Research works on dependability have developed verification techniques and design recommendations to control risks. In the same time, other works were undertaken to improve the reliability of these systems by upgrading the design methodologies. Diagnostic methods, in turn, have evolved to improve the tolerance of embedded systems to faults and their ability for self-diagnosis, thus, the field of analysis of " diagnosability " has emerged. Nowadays, system designers must ensure that a system is diagnosable, that the faults that may appear can be identified before building or deploying the system. Current methods of diagnosability analysis focus on what we call " functional diagnosability ", where the hardware architecture of the system is not directly considered. This thesis contributes to the analysis of the impact of the function-architecture interaction on the diagnosability of an embedded system. Our approach can be integrated into the design cycle of embedded systems; it begins by analyzing the diagnosability of discrete event systems (as presented in the literature). Our method then requires the verification of a set of properties that we defined and called the functional-architectural diagnosability properties. Property verification is done in two stages: the first step is to check the description of the architecture (described in AADL) with respect to the diagnosability requirements, and the second step is to check the interaction " function-architecture " (described in SystemC-Simulink). We developed a prototype tool suite COSITA based on co-simulation trace analysis. We compared the results of trace analysis issued from co-simulation with those issued from the system emulation (Hardware In the Loop) on an automotive physical platform in Heudiasyc laboratory. Finally, we have developed through this thesis a new methodology for analyzing the diagnosability which takes into account the constraints of the hardware architecture of the system.
Complete list of metadatas

Cited literature [80 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00801608
Contributor : Manel Khlif <>
Submitted on : Sunday, March 17, 2013 - 8:37:51 PM
Last modification on : Friday, October 23, 2020 - 4:40:56 PM
Long-term archiving on: : Tuesday, June 18, 2013 - 3:58:08 AM

Identifiers

  • HAL Id : tel-00801608, version 1

Citation

Manel Khlif. Analyse de diagnosticabilité d'architecture de fonctions embarquées - Application aux architectures automobiles. Systèmes embarqués. Université de Technologie de Compiègne, 2010. Français. ⟨tel-00801608⟩

Share

Metrics

Record views

358

Files downloads

5019