N. Leveson, Engineering a Safer World: Systems Thinking Applied to Safety, 2011.

O. C. Gotel and C. W. Finkelstein, An analysis of the requirements traceability problem, Proc. Int. Conf. Requirements Eng, pp.94-101, 1994.

P. Rempel and P. Mäder, A quality model for the systematic assessment of requirements traceability, Proc. 23rd Int. Requirements Eng. Conf, pp.176-185, 2015.

, Software Considerations in Airborne Systems and Equipment Certification, 2011.

J. Cleland-huang, O. C. Gotel, J. H. Hayes, P. Mäder, and Z. Andrea, Software traceability: Trends and future directions, Proc. Future Softw. Eng. Conf, pp.55-69, 2014.

Z. Yang, AADL formal semantics and verification & analysis of safetycritical real-time systems, Ph.D. dissertation, School Comput. Sci. Eng., Beihang Univ, 2012.

C. He and G. Mussbacher, Model-driven engineering and elicitation techniques: A systematic literature review, Proc. 24th Int. Requirements Eng. Conf. Workshops, pp.180-189, 2016.

. Omg, OMG Unified Modeling Language (UML), 2017.

. Omg, OMG System Modeling Language (UML), 2017.

. Mathworks, Simulink, 2018.

P. H. Feiler and D. P. Gluch, Model-Based Engineering With AADL: An Introduction to the SAE Architecture Analysis & Design Language, 2012.

P. H. Feiler, B. A. Lewis, and S. Vestal, The SAE architecture analysis & design language (AADL) a standard for engineering performance critical systems, Proc. IEEE Conf. Comput. Aided Control Syst. Des./IEEE Int, pp.1206-1211, 2006.

. Cmu/sei, Architecture analysis and design language, 2019.

N. Aizenbud-reshef, B. T. Nolan, J. Rubin, and Y. Shaham-gafni, Model traceability, IBM Syst. J, vol.45, issue.3, pp.515-526, 2006.

T. Yue, L. C. Briand, and Y. Labiche, A systematic review of transformation approaches between user requirements and analysis models, Requirements Eng, vol.16, issue.2, pp.75-99, 2011.

S. Kan and Z. Huang, Detecting safety-related components in statecharts through traceability and model slicing, Softw.: Pract. Experience, vol.48, issue.3, pp.428-448, 2018.

B. Turban, Tool-Based Requirement Traceability Between Requirement and Design Artifacts, 2013.

F. Wang, Generating the AADL model based on restricted natural language requirement template, J. Softw, vol.29, issue.8, pp.2350-2370, 2018.

, SAE Standard AS5506C, 2017.

, Annex A: Graphical AADL Notation, Annex C: AADL Meta-Model and Interchange Formats, Annex D: Language Compliance and Application Program Interface, Annex E: Error Model Annex, SAE Standard AS5506/1, vol.1, 2011.

J. Delange and P. Feiler, Architecture fault modeling with the AADL error-model annex, Proc. 40th EUROMICRO Conf. Softw. Eng, pp.361-368, 2014.

, Annex B: Data Modeling Annex, Annex D: Behavior Model Annex, Annex F: ARINC653 Annex, SAE Standard AS5506/2, vol.2, 2011.

P. Dissaux, J. P. Bodeveix, M. Filali, P. Gaufillet, and F. Vernadat, AADL behavioral annex, Proc. DASIA Conf, pp.361-368, 2006.

J. Xu, Hierarchical behavior annex: Towards an AADL functional specification extension, Proc. 16th ACM/IEEE Int. Conf. Formal Methods Models Syst. Des, pp.1-11, 2018.

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: The SIGNAL language and its semantics, Sci. Comput. Program, vol.16, issue.2, pp.103-149, 1991.

Z. Yang, From AADL to timed abstract state machines: A verified model transformation, J. Syst. Softw, vol.93, pp.42-68, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01123837

G. Behrmann, A. David, and K. G. Larsen, A tutorial on Uppaal, Formal Methods for the Design of Real-Time Systems, pp.200-236, 2004.

D. Cofer, A. Gacek, S. Miller, M. W. Whalen, B. Lavalley et al., Compositional verification of architectural models, Proc. NASA Formal Methods Symp, pp.126-140, 2012.

F. A. Pinheiro, Requirements traceability, Perspectives on Software Requirements, vol.753, pp.91-113, 2004.

G. Antoniol, G. Canfora, G. Casazza, A. Lucia, and E. Merlo, Recovering traceability links between code and documentation, IEEE Trans. Softw. Eng, vol.28, issue.10, pp.970-983, 2002.

P. Lago, H. Muccini, and H. V. Vliet, A scoped approach to traceability management, J. Syst. Softw, vol.82, issue.1, pp.168-182, 2009.

S. Winkler and J. V. Pilgrim, A survey of traceability in requirements engineering and model-driven development, Softw. Syst. Model, vol.9, issue.4, pp.529-565, 2010.

, IEEE Recommended Practice for Software Requirements Specifications, IEEE Standard, pp.830-1998, 1998.

B. Ramesh and M. Edwards, Issues in the development of a requirements traceability model, Proc. IEEE Int. Symp. Requirements Eng, pp.256-259, 1993.

P. Rempel, P. Mäder, and T. Kuschke, An empirical study on projectspecific traceability strategies, Proc. 21st IEEE Int. Requirements Eng. Conf, pp.195-204, 2013.

P. Rempel and P. Mäder, Preventing defects: The impact of requirements traceability completeness on software quality, IEEE Trans. Softw. Eng, vol.43, issue.8, pp.777-197, 2017.

J. Cleland-huang, O. Gotel, and A. Zisman, Software and Systems Traceability, 2012.

S. A. Bohner, Impact analysis in the software change process: A year 2000 perspective, Proc. Int. Conf. Softw. Maintenance, pp.42-51, 1996.

B. Ramesh, T. Powers, C. Stubbs, and M. Edwards, Implementing requirements traceability: A case study, Proc. IEEE Int. Symp. Requirements Eng, pp.89-95, 1995.

J. Hutchinson, M. Rouncefield, and J. Whittle, Model-driven engineering practices in industry, Proc. 33rd Int. Conf. Softw. Eng, pp.633-642, 2011.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: A flexible real time scheduling framework, Proc. ACM SIGAda Int. Conf. Ada, pp.1-8, 2004.

X. Liu, J. Guo, and E. Gill, Towards model-driven development of AOCS/GNC for small satellite missions, Proc. 65th Int, pp.3807-3816, 2014.

Z. Yang, K. Hu, Y. Zhao, D. Ma, and J. P. Bodeveix, Verification of AADL models with timed abstract state machines, J. Softw, vol.26, issue.2, pp.202-222, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01153717

, Road Vehicles Functional Safety, ISO Standard 26262, 2011.

R. Ramsin and R. F. Paige, Process-centered review of object oriented software development methodologies, ACM Comput. Surv, vol.40, issue.1, pp.202-222, 2008.

A. Mavin, P. Wilkinson, A. Harwood, and M. Novak, Easy approach to requirements syntax (EARS), Proc. 17th IEEE Int. Requirements Eng. Conf, pp.317-322, 2009.

S. Gregory, Easy EARS: Rapid application of the easy approach to requirements syntax, Proc. 17th IEEE Int. Requirements Eng. Conf, pp.1-2, 2011.

J. Holtmann, J. Meyer, and M. V. Detten, Automatic validation and correction of formalized, textual requirements, Proc. 4th Int. Conf. Softw. Testing, Verif. Validation Workshops, pp.486-495, 2011.

M. Fockel, J. Holtmann, and J. Meyer, Semi-automatic establishment and maintenance of valid traceability in automotive development processes, Proc. 2nd Int, pp.37-43, 2012.

T. Yue, L. C. Briand, and Y. Labiche, A use case modeling approach to facilitate the transition towards analysis models: Concepts and empirical evaluation, Proc. Int. Conf. Model Driven Eng, pp.484-498, 2009.

T. Yue, L. C. Briand, and Y. Labiche, Facilitating the transition from use case models to analysis models: Approach and experiments, ACM Trans. Softw. Eng. Methodol, vol.24, issue.3, 2013.

T. Yue, L. C. Briand, and Y. Labiche, aToucan: An automated framework to derive UML analysis models from use case models, ACM Trans. Softw. Eng. Methodol, vol.24, issue.3, p.13, 2015.

X. Wu, C. Liu, and Q. Xia, Safety requirements modeling based on RUCM, Proc. Comput, pp.217-222, 2014.

B. Gu, Y. Dong, and Z. Wang, Formal modeling approach for aerospace embedded software, J. Softw, vol.26, issue.2, pp.321-331, 2015.

Z. Wang, SPARDL: A requirement modeling language for periodic control system, Proc. 4th Int. Symp. Leveraging Appl. Formal Methods, Verif. Validation, pp.594-608, 2010.

P. H. Feiler, J. Delange, and L. Wrage, A requirement specification language for AADL, Carnegie Mellon Univ, 2016.

A. Van-lamsweerde, Formal specification: A roadmap, Proc. Future Softw. Eng. Track ICSE, pp.147-159, 2000.

V. Gervasi and D. Zowghi, Reasoning about inconsistencies in natural language requirements, ACM Trans. Softw. Eng. Methodol, vol.14, issue.3, pp.277-330, 2005.

M. G. Ilieva and O. Ormandjieva, Models derived from automatically analyzed textual user requirements, Proc. 4th Int, pp.13-21, 2006.

M. G. Ilieva and O. Ormandjieva, Automatic transition of natural language software requirements specification into formal presentation, Proc. Int. Conf. Appl. Natural Lang, pp.392-397, 2005.

A. V. Knethen, Change-oriented requirements traceability: Support for evolution of embedded systems, Proc. Int. Conf. Softw. Maintenance, pp.482-485, 2002.

L. Briand, D. Falessi, S. Nejati, M. Sabetzadeh, and T. Yue, Traceability and SysML design slices to support safety inspections: A controlled experiment, ACM Trans. Softw. Eng. Methodol, vol.23, issue.1, 2014.

P. Mäder and A. Egyed, Do developers benefit from requirements traceability when evolving and maintaining a software system?, Empirical Softw. Eng, vol.20, issue.2, pp.413-441, 2015.

A. Ghabi and A. Egyed, Exploiting traceability uncertainty between architectural models and code, Proc. Joint Working IEEE/IFIP Conf. Softw. Archit. Eur. Conf. Softw. Archit, pp.171-180, 2012.

A. Ghabi and A. Egyed, Exploiting traceability uncertainty among artifacts and code, J. Syst. Softw, vol.108, pp.178-192, 2015.

C. Trubiani, A. Ghabi, and A. Egyed, Exploiting traceability uncertainty between software architectural models and performance analysis results, Proc. Eur. Conf. Softw. Archit, pp.305-321, 2015.

C. Trubiani, A. Ghabi, and A. Egyed, Exploiting traceability uncertainty between software architectural models and extra-functional results, J. Syst. Softw, vol.125, pp.15-34, 2017.

M. Fockel and J. Holtmann, A requirements engineering methodology combining models and controlled natural language, Proc. 4th IEEE Int. Model-Driven Requirements Eng. Workshop, pp.67-76, 2014.

M. Daun, M. Fockel, J. Holtmann, and B. Tenbergen, Goal-scenariooriented requirements engineering for functional decomposition with bidirectional transformation to controlled natural language: Case study "body control module, Inst. Comput. Sci. Bus. Inf. Syst, vol.55, 2013.

A. Tang, P. Liang, V. Clerc, and H. Van-vliet, Traceability in the coevolution of architectural requirements and design, Relating Software Requirements and Architectures, pp.35-60, 2011.

M. Rahimi and J. Cleland-huang, Patterns of co-evolution between requirements and source code, Proc. 5th IEEE Int. Workshop Requirements Patterns, pp.25-31, 2015.

W. Zhao, H. Zhao, and Z. Hu, A framework for synchronization between feature configurations and use cases based on bidirectional programming, Proc. 24th IEEE Int. Requirements Eng. Conf. Workshops, pp.170-179, 2016.

D. Blouin, A semi-automated approach for the co-refinement of requirements and architecture models, Proc. 25th IEEE Int. Requirements Eng. Conf. Workshops, pp.36-45, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01873945

S. Rahmoun, E. Borde, and L. Pautet, Multi-objectives refinement of AADL models for the synthesis embedded systems (mu-RAMSES), Proc. 20th Int. Conf. Eng. Complex Comput. Syst, pp.21-30, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02292449