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

Fei Wang (1) , Zhibin Yang (1) , Zhi-Qiu Huang (1) , Cheng-Wei Liu (1) , Yong Zhou (1) , Jean-Paul Bodeveix (2, 3) , M Filali (2, 4)

1 Key Laboratory of Safety-Critical Software (Nanjing, Chine)
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 UT3 - Université Toulouse III - Paul Sabatier
4 CNRS - Centre National de la Recherche Scientifique

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.

Mots clés: Architecture Analysis and Design Language (AADL); Model-driven development (MDD); Refinement; Requirement traceability; Restricted natural language requirements (NLRs); Safety-critical softw

Domaines: Systèmes embarqués; Interface homme-machine [cs.HC]

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, 2019, 1 (1), pp.1-20. ⟨10.1109/TR.2019.2936072⟩. ⟨hal-02382714⟩