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

Model-based Diagnosis Patterns for Model Checking

Vincent Leilde 1, 2 Vincent Ribaud 3 Philippe Dhaussy 1, 2
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 Pôle STIC_IDM
ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
3 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 : Verification process including model checking is a technique used to verify that a certain system's design satisfies its requirements. It relies on a large collection of heterogeneous artifacts and diagnosing faults is generally a tedious task which should benefit from a knowledge base system to collect and provide access to well-formalized verification artifacts. In the formal method community there is no common agreement on a formalization or organization for the whole verification process artefacts, such as models, traces or sessions of verifications. Hence this paper asks the question about unmet needs for such patterns and their possible relationships, with a particular focus on patterns required for diagnosis techniques such as Model Based Diagnosis or Case Based Diagnosis.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01406604
Contributeur : Annick Billon-Coat <>
Soumis le : lundi 13 février 2017 - 12:59:13
Dernière modification le : vendredi 7 août 2020 - 15:56:05
Archivage à long terme le : : dimanche 14 mai 2017 - 13:43:18

Fichier

PAME_2016_paper_1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01406604, version 1

Citation

Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking. PAME 2016, Oct 2016, St Malo, France. pp.7-12. ⟨hal-01406604⟩

Partager

Métriques

Consultations de la notice

473

Téléchargements de fichiers

77