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

par Mohamad Hani El Jamal

Thèse de doctorat en Systèmes industriels

Sous la direction de Abd-El-Kader Sahraoui.

Soutenue en 2006

à Toulouse 3 .


  • Résumé

    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é.

  • Titre traduit

    Contribution for requirements evolution and their impacts on safety


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (146 f.)
  • Annexes : Bibliogr. f. 119-126

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2006TOU30268
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.