Skip to Main content Skip to Navigation
Theses

Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés

Abstract : A technological system is constituted with many components interacting with each other and combining multiple physical phenomena. Those components may be affected by faults resulting in serious damage to the system integrity or its environment. Those faults are generally listed by using safety analysis methodology and classified according to their severity level.A solution for reducing damages resulting from the occurrence of a critical fault is to embed a diagnosis system, which can quickly detect its occurrence and identifying the fault, this in order to put the system in the appropriate safety mode. Therefore the design process of this diagnosis system must include a diagnosability study of faults. It consists in checking that the diagnosis system will always be able to detect and identify any of the listed faults without ambiguity.This thesis introduces a complete tool-chain to develop a diagnosis system for technological systems. By using a unified theoretic and coherent framework relying on homogeneous models, all steps from the conception to the construction of the diagnosis system are described: behavioral representation of the system and faults modeling, diagnosability study of faults, generation of the diagnosis system. The rigorous link established between the diagnosability study and the associated diagnosis system generation, which ensures the coherence and correction of this approach, constitutes a salient and original aspect of this work.This thesis results from a collaborative project between the company Sherpa Engineering, the Laboratory for Computer Science (LRI) at Université Paris-Sud, joint with CNRS, and the Laboratory of Model driven engineering for embedded systems (LISE) from the CEA/LIST.
Document type :
Theses
Complete list of metadatas

Cited literature [62 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00659063
Contributor : Abes Star :  Contact
Submitted on : Thursday, January 12, 2012 - 9:29:30 AM
Last modification on : Wednesday, October 14, 2020 - 3:41:41 AM
Long-term archiving on: : Friday, April 13, 2012 - 2:22:56 AM

File

VA_BATTEUX_MICHEL_13122011.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00659063, version 1

Collections

STAR | CNRS | CEA | UMR8623 | DRT | LIST

Citation

Michel Batteux. Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés. Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : 2011PA112316⟩. ⟨tel-00659063⟩

Share

Metrics

Record views

989

Files downloads

647