R. J. Adduci-;-w, L. J. Hathaway, and . Meadow, Hazard Analysis Guildlines For Transit Projects " . U.S. Department of Transportation Research and Special Programs Cambridge, pp.2142-1093, 2000.

. And-98-]-s and . Andriole, The politics of requirements management, IEEE Software, pp.82-84, 1998.

. S. Arn-93-]-r, . A. Arnold-;-s, and . Bohner, Impact analysis?Towards a framework for comparison, Proceedings of the International Conference on Software Maintenance, pp.292-301, 1993.

. S. Arn-96-]-r, S. A. Arnold, and . Bohner, An Introduction to Software Change Impact Analysis, 1996.

]. J. Bac-99 and . Bach, Risk and requirements-based testing, Computer, pp.113-114, 1999.

. A. Boh-91-]-s and . Bohner, Software change impact analysis for design evolution, Proceedings of the International Conference on Software Maintenance and Reengineering, pp.292-301, 1991.

. A. Boh-96a-]-s, . S. Bohner-;-r, and . Arnold, Software Change Impact Analysis, 1996.

J. Buren and ;. D. Cook, Experiences in the Adoption of Requirements Engineering Technologies [BUR-99] I. Burdonov; A.; Kossatchev; A.; Petrenko and D. Galter: " Automated Generation of Test Suites from Formal Specifications, Proceedings of FM'99 -Formal Methods, pp.3-10, 1998.

S. A. Bohner, Software change impacts-an evolving perspective, International Conference on Software Maintenance, 2002. Proceedings.
DOI : 10.1109/ICSM.2002.1167777

. Sahraoui, Requirements completeness, 14th Annual International Symposium INCOSE 2004, pp.20-25, 2004.

. Cou-05a-]-c, . E. Coulin-;-a, and . Sahraou, A meta-model based guided approach to collaborative requirements elicitation for software systems development, 18th International Conference on Software & Systems Engineering and their Applications (ICSSEA'2005), p.29, 2005.

. Cou-05b-]-c, ;. Coulin, A. E. Zowghii-;, and . Sahraoui, A lightweight workshop-centric situational approach for the early stages of requirements elicitation in software systems development, 13th IEEE International Requirements Engineering Conference (RE'2005), pp.29-31, 2005.

. Cou-05c-]-c, ;. Coulin, A. E. Zowghii-;, and . Sahraoui, Towards a collaborative and combinational approach to requirements elicitation within systems engineering framework, 18th International Conference on Systems Engineering (ICEng'05), pp.456-461, 2005.

L. M. Cysneiros-;-e and . Yu, Non-Functional Requirements Elicitation
DOI : 10.1007/978-1-4615-0465-8_6

N. Leveson, An Approach to Design for Safety in Complex Systems, International Conference on System Engineering, 2004.

. H. Elj-04a-]-m, Requirements evolution and impacts on safety, IFIP 18th World Computer Congress, pp.123-132, 2004.

. H. Elj-04b-]-m, Problématique du changement d'exigences et impact sur la sécurité

. H. Elj-05a-]-m, Dynamic design and invariants properties, 3rd Annual Conference on Systems Engineering Research (CSER'2005), pp.23-25

. H. Elj-05b-]-m, Impact de l'évolution des exigences sur la sécurité, 6ème Congrès des Doctorats de l'Ecole Doctorat Systèmes (EDSYS), pp.19-20

A. E. Sahraoui, Towards a methodology for requirements evolution and impact on safety requirements, 6ème Congrès International Pluridisciplinaire "Qualité et Sûreté de Fonctionnement" (QUALITA 2005), pp.117-124, 2005.

A. E. Sahraoui, Customizing systems engineering concepts: case study on concurrent engineering, 12th Annual European Concurrent Engineering Conference (ECEC'2005), pp.57-62, 2005.

. Geo-98-]-c, . T. George-;-d, and . Dung, Combining and Distributing Hierarchical Systems

C. George, D. Bjoerner, S. Prehn, A. Ghariani, A. K. Toguyeni et al., A functional graph approach for alarm filtering and fault recovery for automated production systems Page(s): Towards an approach to automate reconfiguration procedure in automated production systems ST-TOOL: A Case Tool For Security Requirements Engineering An analysis of the requirements traceability problem, Industrial-Strength Formal Methods in Practice Discrete Event Systems. Proceedings. Sixth International Workshop on 2-4 IEEE International Conference Proceedings of the First International Conference on Requirements Engineering, pp.289-2944272, 1994.

A. E. Haxthausen and ;. J. Peleska, Formal development and verification of a distributed railway control system, IEEE Transactions on Software Engineering, vol.26, issue.8, pp.687-7012000, 2000.
DOI : 10.1109/32.879808

L. L. Hellouin-;-j and A. E. Sahraoui, Requirements process and traceability issues Contribution à l'ingénierie des exigences et à la traçabilité Requirements tracing, 11 th Annual INCOSE Symposium, pp.4132-4168, 1998.

. Jac-99-]-i, G. Jacobson, J. Booch, and . Rumbaugh, The Unified Software, Development Process, 1999.

E. Jonas, Analysis of Intent Specification and System Upgrade Traceability

A. M. Moreno and A. Silva, Is the European industry moving toward solving requirements engineering problems, IEEE Software, pp.70-77, 2002.

. Kot-98-]-g, . Kotonya-;-i, and . Somerville, Requirements Engineering: Processes and Techniques, KRA-89] H. Krasner: " Requirements Dynamics in Large Software Projects " . 11 th World Computer Congress, IFIP89, Amsterdam, the Netherlands, p.123, 1989.

. Lev-03a-]-n and . Leveson, A New Approach to Hazard Analysis for Complex Systems

J. Cutcher-gershenfeld, What System Safety Engineering can Learn from the Columbia Accident, International Conference of the System Safety Society, 2004.

Y. Malayia, ;. J. Denton, and L. A. Maciaszek, Requirements Volatility and Defect Density " . The 10 th International Symposuim on Software Reliability Engineering, Fort Collins Requirements Analysis and System Design, 1998.

M. Messadia, M. H. Eljamal, and A. E. Sahraoui, Systems engineering processes deployment for PLM, International Conference on Product Lifecycle Management (PLM'05), pp.282-291, 2005.

M. Messadia, M. Djeghaba, and A. E. Sahraoui, System engineering framework for manufacturing systems, International Conference on Control, Modelling and Diagnosis (ICCMD'06), pp.22-24, 2006.

. Nav-01a-]-i, N. Navarro, . Leveson-;-k, and . Lundqvist, Reducing the Effects of Requirements Changes through System Design, 2001.

. Nav-01b-]-i, K. Navarro, N. Lundqvist, and . Leveson, An Intent Specification Model for a Robotic Software Control System, 2001.

D. Zowghi-; and S. Fowell, Analysis of Requirements Volatility during Software Development Life Cycle, Proceedings of the Australian Software Engineering Conference (ASWEC), 2004.

[. Ramesh, C. Stubbs, T. Powers, and M. Edwards, Lessons Learned from implementing Requirements Traceability, Crosstalk Journal of Defense Engineering8

S. Robertson and ;. Wesley, Requirements-Led Project Management: Discovering David's Slingshot, 2004.

S. Michael and . Russell, Assessing the impact of requirements volatility on the SE Process using Bayesian, INCOSE, 2004.

A. E. Sahraoui, Experience in requirements elicitation with formal and semiformal methods, 2001.

L. K. Sekhri-;-a, . P. Toguyeni, and . Craye, A relational based approach for analysing functional graphs of automated production systems, IEEE International Conference on Systems, Man and Cybernetics, pp.55-596, 2002.
DOI : 10.1109/ICSMC.2002.1167947

. E. Sah-02a-]-a and . Sahraoui, Requirement elicitation and specification of temporal properties: text, logics, automata and Java assertions, p.13, 2002.

. E. Sah-02b-]-a and . Sahraoui, Requirements engineering: the automata based elicitation and related issues, International Conference on Software Engineering Research and Practice (SERP'02), pp.108-114, 2002.

A. E. Sahraoui-;-d, A. P. Buede, and . Sage, Issues for systems engineering research, 14th Annual International Symposium INCOSE 2004, pp.11-20, 2004.

A. E. Sahraoui, Requirements traceability issues methodology and formal basis, International Journal of Information Technology & Decision Making (ITDM)

J. J. Schwarz, J. J. Skubich-;-r, and . Aubry, Lacatre: The basis for a Real Time Software Engineering Workshop Informatik-Fachberichte Plausible and adaptive requirement traceability Engineering, pp.135-142, 1991.

J. O. Steven, Analysing the Impact of Changing Software Requirements-Based Methodology " . Faculty of the Louisiana State University and Agricultural and Mechanical College, Thesis, 2003.

. Tra-97-]-i, A. E. Traoré, and . Sahraoui, A Multiformalism Specification Framework with Statecharts and VDM " . 22nd IFAC, Real Time Systems, 1997.

I. H. Traoré-;-m, Y. M. Eljamal, A. E. Lui, and . Sahraoui, 9.2.2 UML-PVS Requirement Specification and Verification, 14th Annual International Symposium INCOSE 2004, pp.20-25, 2004.
DOI : 10.1002/j.2334-5837.2004.tb00620.x

. Zie-94-]-e and . Zierau, Use of the Formal Method RAISE in Practice, Proceedings of SAFECOMP '94, 1994.

N. Nurmuliani, A Study of the Impact of Requirements Volatility on Software Project Performance, 9th Asia-Pacific Software Engineering Conference, 2002.

E. De-l-'outil-dans-cette-annexe, nous allons présenter l'élicitation des exigences de l'outil qu'on l'a développé (en utilisant MUSTER) Le pas initial lors de l'éliçitation des exigences de l'outil, était l'éliçitation des buts pour le développement de l'outil, deuxièmement les contraintes du développement de l'outil, troisièmement l'élicitation des cas d'utilisations, puis les dispositifs, et finalement nous avons terminé avec une élicitation des exigences fonctionnelles (non fonctionnelles) de l'outil. Ci-dessous, nous allons présenter les buts primaires

. Le-développement-d, un outil qui supporte la méthodologie de la recherche d'impact d'une évolution sur la sécurité. 113 L'outil doit supporter un modèle de traçabilité basé sur une base de données relationnelle. 114 L'outil indique l'impact de l'application d'un changement d'une exigence sur le système