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

Domain-oriented Verification Management

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
2 Lab-STICC_UBO_CACS_MOCS
IBNM - Institut Brestois du Numérique et des Mathématiques, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : V. Basili stated twenty years ago that a software organization that manages quality should have a corporate infrastructure that links together and transcends the single projects by capitalizing on successes and learning from failures. For critical systems design, the verification tasks play a crucial role; when an unexpected situation is detected, the engineer analyzes the cause, performing a diagnosis activity. To improve the quality of the design, diagnosis information have to be managed through a well-defined method and with a suitable system. In this paper we present how a Verification Organizing System together with a problem-oriented method could achieve these issues. The key aspect of the approach is to follow a step-wise building of the solution, reusing known problems that are relevant for the system under study.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01933794
Contributeur : Ciprian Teodorov <>
Soumis le : samedi 24 novembre 2018 - 11:52:28
Dernière modification le : vendredi 7 août 2020 - 15:56:05
Archivage à long terme le : : lundi 25 février 2019 - 12:43:23

Fichier

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

Identifiants

  • HAL Id : hal-01933794, version 1

Citation

Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. Domain-oriented Verification Management. 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39. ⟨hal-01933794⟩

Partager

Métriques

Consultations de la notice

275

Téléchargements de fichiers

203

Données de recherche