Domain-oriented Verification Management - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Domain-oriented Verification Management

Vincent Leilde
Vincent Ribaud
Ciprian Teodorov

Résumé

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.
Fichier principal
Vignette du fichier
medi_2018.pdf (436.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01933794 , version 1 (24-11-2018)

Identifiants

  • HAL Id : hal-01933794 , version 1

Citer

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⟩
215 Consultations
107 Téléchargements

Partager

Gmail Facebook X LinkedIn More