Skip to Main content Skip to Navigation
Journal articles

An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models

Abstract : Requirements traceability is broadly recognized as a critical element of any rigorous software development process, especially for building safety-critical software (SCS) systems. Model-driven development (MDD) is increasingly used to develop SCS in many domains, such as automotive and aerospace. MDD provides new opportunities for establishing traceability links through modeling and model transformations. Architecture Analysis and Design Language (AADL) is a standardized architecture description language for embedded systems, which is widely used in avionics and aerospace industries to model safety-critical applications. However, there is a big challenge to automatically establish the traceability links between requirements and AADL models in the context of MDD, because requirements are mostly written as free natural language texts, which are often ambiguous and difficult to be processed automatically. To bridge the gap between natural language requirements (NLRs) and AADL models, we propose an approach to generate the traceability links between NLRs and AADL models. First, we propose a requirement modeling method based on the restricted natural language, which is named as RM-RNL. The RM-RNL can eliminate the ambiguity of NLRs and barely change engineers' habits of requirement specification. Second, we present a method to automatically generate the initial AADL models from the RM-RNLs and to automatically establish traceability links between the elements of the RM-RNL and the generated AADL models. Third, we refine the initial AADL models through patterns to achieve the change of requirements and traceability links. Finally, we demonstrate the effectiveness of our approach with industrial case studies and evaluation experiments.
Complete list of metadatas

Cited literature [74 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02382714
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, November 27, 2019 - 12:02:01 PM
Last modification on : Tuesday, January 5, 2021 - 2:22:03 PM

File

wang_25027.pdf
Publisher files allowed on an open archive

Identifiers

Citation

Fei Wang, Zhibin Yang, Zhi-Qiu Huang, Cheng-Wei Liu, Yong Zhou, et al.. An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2019, 1 (1), pp.1-20. ⟨10.1109/TR.2019.2936072⟩. ⟨hal-02382714⟩

Share

Metrics

Record views

254

Files downloads

753