Contribution à l'évolution des exigences et son impact sur la sécurité - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2006

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

Résumé

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.
Le travail de la thèse porte sur la problématique de l'évolution des exigences et son analyse d'impact sur la sécurité. Au cours du développement des systèmes, les parties prenantes demandent l'application des évolutions, afin d'améliorer leurs fonctionnalités. L'occurrence d'une évolution affecte plusieurs aspects comme: la sécurité, le coût du développement et les délais. Lorsque le développement concerne un système complexe où le nombre des exigences est de l'ordre de dizaines de milliers, alors les demandes des évolutions rendent l'analyse d'impact du changement de plus en plus difficile. Malheureusement, la problématique de l'évolution des exigences n'est pas encore complètement résolue en milieu industriel. Notre étude est située dans le contexte d'ingénierie système et ingénierie des exigences, en intégrant des modèles formels et outils supports associés pour la vérification des propriétés de sécurité. La méthodologie est basée sur la norme industrielle de l'EIA-632 et sur le format VOLERE d'ingénierie des exigences en intégrant un modèle de traçabilité. De cette démarche ingénierie système, on a développé une méthodologie associée et un système d'information du processus de changement/évolution des exigences. Enfin, ce travail présente la méthodologie de la recherche d'impact lors de la demande de changement, et les outils qui supportent la méthodologie de la recherche d'impact, en se basant sur la méthode formelle (RAISE), qui nous permet d'analyser l'impact de l'évolution sur la sécurité.
Fichier principal
Vignette du fichier
ELJAMAL_THESE.pdf (814.6 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00139543 , version 1 (02-04-2007)

Identifiants

  • HAL Id : tel-00139543 , version 1

Citer

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. ⟨NNT : ⟩. ⟨tel-00139543⟩
259 Consultations
929 Téléchargements

Partager

Gmail Facebook X LinkedIn More