Skip to Main content Skip to Navigation

Contribution à l'évolution des exigences et son impact sur la sécurité

Abstract : The work of the thesis concerns the problem of requirements evolution and its safety impact. During the development of the complex systems, the stakeholders require the application of evolutions, in order to improve their functionalities. The occurrence of an evolution affects several aspects like: safety, cost and deadlines. When the development relates to a complex system where the number of the requirements is about tens of thousands, the requests of the evolutions make the impact analysis more and more difficult. Unfortunately, the requirements evolution problems are not yet completely solved in the industries. Our study is in the context of system engineering and requirements engineering, with an integration of formal models and associated tools for checking all the safety properties. The methodology is based on the industrial standard of the EIA-632 and the VOLERE format of requirements engineering. From the system engineering approach, we developed a methodology and an informational system with the process of change/evolution of the requirements. Finally, this work presents the methodology of the safety impact analysis when an evolution will appears, and the tools which support the methodology of impact analysis, while being based on the formal method (RAISE), which enables us to analyze the impact of the evolution on safety.
Document type :
Complete list of metadatas

Cited literature [54 references]  Display  Hide  Download
Contributor : Emilie Marchand <>
Submitted on : Monday, April 2, 2007 - 9:42:28 AM
Last modification on : Friday, January 10, 2020 - 9:08:08 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 11:35:02 PM


  • HAL Id : tel-00139543, version 1


Mohamad Hani El Jamal. Contribution à l'évolution des exigences et son impact sur la sécurité. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 2006. Français. ⟨tel-00139543⟩



Record views


Files downloads