 |
Communication dans un congrès
A Diagnosis Framework for Critical Systems Verification
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.
Littérature citée [21 références]
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
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