A Diagnosis Framework for Critical Systems Verification - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

A Diagnosis Framework for Critical Systems Verification

Vincent Leilde
Vincent Ribaud
Ciprian Teodorov


For critical systems design, the verification tasks play a crucial role. If abnormalities are detected, a diagnostic process must be started to find and understand the root causes before corrective actions are applied. Detection and diagnosis are notions that overlap in common speech. Detection basically means to identify something as unusual, diagnosis means to investigate its root cause. The meaning of diagnosis is also fuzzy, because diagnosis is either an activity-an investigation-or an output result-the nature or the type of a problem. This paper proposes an organizational framework for structuring diagnoses around three principles: that propositional data (including detection) are the inputs of the diagnostic system; that activities are made of methods and techniques; and that associations specialize that relationships between the two preceding categories.
Fichier principal
Vignette du fichier
SEFM_2017_paper_73.pdf (212.91 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01559688 , version 1 (10-07-2017)


  • HAL Id : hal-01559688 , version 1


Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Diagnosis Framework for Critical Systems Verification. 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6. ⟨hal-01559688⟩
174 Consultations
131 Téléchargements


Gmail Facebook Twitter LinkedIn More