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)
Licence
DOI

Cite 10.1007/978-3-030-02852-7_3 Autre Leildé, V., Ribaud, V., Teodorov, C., & Dhaussy, P. (2018). A Problem-Oriented Approach to Critical System Design and Diagnosis Support. In Communications in Computer and Information Science (pp. 30–39). Springer International Publishing. https://doi.org/10.1007/978-3-030-02852-7_3

Dates et versions

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

Licence

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⟩
326 Consultations
286 Téléchargements

Partager

  • More