Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

A Diagnosis Framework for Critical Systems Verification

Vincent Leilde 1 Vincent Ribaud 2 Ciprian Teodorov 1 Philippe Dhaussy 1
1 Lab-STICC_ENSTAB_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
2 Lab-STICC_UBO_CACS_MOCS
UBO - Université de Brest, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : 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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01559688
Contributeur : Vincent Ribaud <>
Soumis le : lundi 10 juillet 2017 - 19:06:49
Dernière modification le : vendredi 7 août 2020 - 15:56:05
Archivage à long terme le : : mercredi 24 janvier 2018 - 17:57:17

Fichier

SEFM_2017_paper_73.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01559688, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

367

Téléchargements de fichiers

157