Skip to Main content Skip to Navigation
Journal articles

La validation dans les premières étapes du processus de développement

Imen Sayar 1 Jeanine Souquières 1 
1 DEDALE - Development of specifications
LORIA - FM - Department of Formal Methods
Abstract : Improving the quality of a system begins by the requirements elicitation. Our goal is to take into account the validation since the understanding of the requirements and all along the development of their Event-B specification. Our challenge is to bridge the gap between requirements, those of the client, and the specification, that of the computer scientist. We make explicit the interactions between the requirements and the specification under construction. The validation is studied for formal models with regard to the requirements. The verification may detect incoherences and contradictions in both requirements and formal specification. The Rodin platform tools are important all along the development to improve the quality and the documentation of the system. Rodin and the ProR plugin allow us to manage the trace of the requirements and their specification. The documentation and the feedback of the different used tools for the validation and verification are available at any time of the development. We illustrate our approach to the case study of an aircraft landing system.
Document type :
Journal articles
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Jeanine Souquières Connect in order to contact the contributor
Submitted on : Monday, October 12, 2020 - 5:09:16 PM
Last modification on : Wednesday, November 3, 2021 - 7:57:51 AM
Long-term archiving on: : Wednesday, January 13, 2021 - 6:08:48 PM


js-papier (1).pdf
Files produced by the author(s)




Imen Sayar, Jeanine Souquières. La validation dans les premières étapes du processus de développement. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2017, 22 (4), pp.11-41. ⟨10.3166/ISI.22.4.11-41⟩. ⟨hal-02963463⟩



Record views


Files downloads