Engineering a Safer World: Systems Thinking Applied to Safety, 2011. ,
An analysis of the requirements traceability problem, Proc. Int. Conf. Requirements Eng, pp.94-101, 1994. ,
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.
Software traceability: Trends and future directions, Proc. Future Softw. Eng. Conf, pp.55-69, 2014. ,
AADL formal semantics and verification & analysis of safetycritical real-time systems, Ph.D. dissertation, School Comput. Sci. Eng., Beihang Univ, 2012. ,
Model-driven engineering and elicitation techniques: A systematic literature review, Proc. 24th Int. Requirements Eng. Conf. Workshops, pp.180-189, 2016. ,
OMG Unified Modeling Language (UML), 2017. ,
, OMG System Modeling Language (UML), 2017.
Simulink, 2018. ,
Model-Based Engineering With AADL: An Introduction to the SAE Architecture Analysis & Design Language, 2012. ,
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. ,
Architecture analysis and design language, 2019. ,
Model traceability, IBM Syst. J, vol.45, issue.3, pp.515-526, 2006. ,
A systematic review of transformation approaches between user requirements and analysis models, Requirements Eng, vol.16, issue.2, pp.75-99, 2011. ,
Detecting safety-related components in statecharts through traceability and model slicing, Softw.: Pract. Experience, vol.48, issue.3, pp.428-448, 2018. ,
Tool-Based Requirement Traceability Between Requirement and Design Artifacts, 2013. ,
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.
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.
AADL behavioral annex, Proc. DASIA Conf, pp.361-368, 2006. ,
Hierarchical behavior annex: Towards an AADL functional specification extension, Proc. 16th ACM/IEEE Int. Conf. Formal Methods Models Syst. Des, pp.1-11, 2018. ,
Synchronous programming with events and relations: The SIGNAL language and its semantics, Sci. Comput. Program, vol.16, issue.2, pp.103-149, 1991. ,
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
A tutorial on Uppaal, Formal Methods for the Design of Real-Time Systems, pp.200-236, 2004. ,
Compositional verification of architectural models, Proc. NASA Formal Methods Symp, pp.126-140, 2012. ,
Requirements traceability, Perspectives on Software Requirements, vol.753, pp.91-113, 2004. ,
Recovering traceability links between code and documentation, IEEE Trans. Softw. Eng, vol.28, issue.10, pp.970-983, 2002. ,
A scoped approach to traceability management, J. Syst. Softw, vol.82, issue.1, pp.168-182, 2009. ,
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.
Issues in the development of a requirements traceability model, Proc. IEEE Int. Symp. Requirements Eng, pp.256-259, 1993. ,
An empirical study on projectspecific traceability strategies, Proc. 21st IEEE Int. Requirements Eng. Conf, pp.195-204, 2013. ,
Preventing defects: The impact of requirements traceability completeness on software quality, IEEE Trans. Softw. Eng, vol.43, issue.8, pp.777-197, 2017. ,
Software and Systems Traceability, 2012. ,
Impact analysis in the software change process: A year 2000 perspective, Proc. Int. Conf. Softw. Maintenance, pp.42-51, 1996. ,
Implementing requirements traceability: A case study, Proc. IEEE Int. Symp. Requirements Eng, pp.89-95, 1995. ,
Model-driven engineering practices in industry, Proc. 33rd Int. Conf. Softw. Eng, pp.633-642, 2011. ,
Cheddar: A flexible real time scheduling framework, Proc. ACM SIGAda Int. Conf. Ada, pp.1-8, 2004. ,
Towards model-driven development of AOCS/GNC for small satellite missions, Proc. 65th Int, pp.3807-3816, 2014. ,
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.
Process-centered review of object oriented software development methodologies, ACM Comput. Surv, vol.40, issue.1, pp.202-222, 2008. ,
Easy approach to requirements syntax (EARS), Proc. 17th IEEE Int. Requirements Eng. Conf, pp.317-322, 2009. ,
Easy EARS: Rapid application of the easy approach to requirements syntax, Proc. 17th IEEE Int. Requirements Eng. Conf, pp.1-2, 2011. ,
Automatic validation and correction of formalized, textual requirements, Proc. 4th Int. Conf. Softw. Testing, Verif. Validation Workshops, pp.486-495, 2011. ,
Semi-automatic establishment and maintenance of valid traceability in automotive development processes, Proc. 2nd Int, pp.37-43, 2012. ,
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. ,
Facilitating the transition from use case models to analysis models: Approach and experiments, ACM Trans. Softw. Eng. Methodol, vol.24, issue.3, 2013. ,
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. ,
Safety requirements modeling based on RUCM, Proc. Comput, pp.217-222, 2014. ,
Formal modeling approach for aerospace embedded software, J. Softw, vol.26, issue.2, pp.321-331, 2015. ,
SPARDL: A requirement modeling language for periodic control system, Proc. 4th Int. Symp. Leveraging Appl. Formal Methods, Verif. Validation, pp.594-608, 2010. ,
A requirement specification language for AADL, Carnegie Mellon Univ, 2016. ,
Formal specification: A roadmap, Proc. Future Softw. Eng. Track ICSE, pp.147-159, 2000. ,
Reasoning about inconsistencies in natural language requirements, ACM Trans. Softw. Eng. Methodol, vol.14, issue.3, pp.277-330, 2005. ,
Models derived from automatically analyzed textual user requirements, Proc. 4th Int, pp.13-21, 2006. ,
Automatic transition of natural language software requirements specification into formal presentation, Proc. Int. Conf. Appl. Natural Lang, pp.392-397, 2005. ,
Change-oriented requirements traceability: Support for evolution of embedded systems, Proc. Int. Conf. Softw. Maintenance, pp.482-485, 2002. ,
Traceability and SysML design slices to support safety inspections: A controlled experiment, ACM Trans. Softw. Eng. Methodol, vol.23, issue.1, 2014. ,
Do developers benefit from requirements traceability when evolving and maintaining a software system?, Empirical Softw. Eng, vol.20, issue.2, pp.413-441, 2015. ,
Exploiting traceability uncertainty between architectural models and code, Proc. Joint Working IEEE/IFIP Conf. Softw. Archit. Eur. Conf. Softw. Archit, pp.171-180, 2012. ,
Exploiting traceability uncertainty among artifacts and code, J. Syst. Softw, vol.108, pp.178-192, 2015. ,
Exploiting traceability uncertainty between software architectural models and performance analysis results, Proc. Eur. Conf. Softw. Archit, pp.305-321, 2015. ,
Exploiting traceability uncertainty between software architectural models and extra-functional results, J. Syst. Softw, vol.125, pp.15-34, 2017. ,
A requirements engineering methodology combining models and controlled natural language, Proc. 4th IEEE Int. Model-Driven Requirements Eng. Workshop, pp.67-76, 2014. ,
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. ,
Traceability in the coevolution of architectural requirements and design, Relating Software Requirements and Architectures, pp.35-60, 2011. ,
Patterns of co-evolution between requirements and source code, Proc. 5th IEEE Int. Workshop Requirements Patterns, pp.25-31, 2015. ,
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. ,
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
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