OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Wang, Fei and Yang, Zhibin and Huang, Zhi-Qiu and Liu, Cheng-Wei and Zhou, Yong and Bodeveix, Jean-Paul and Filali, Mamoun An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. (2019) IEEE Transactions on Reliability, 1 (1). 1-20. ISSN 0018-9529

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1109/TR.2019.2936072


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.

Item Type:Article
Additional Information:Thanks to IEEE editor. The definitive version is available at http://ieeexplore.ieee.org The original PDF can be found at IEEE Transactions on Reliability (ISSN: 0018-9529) website : https://ieeexplore.ieee.org/document/8834826 Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
HAL Id:hal-02382714
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Nanjing University of Aeronautics and Astronautics – NUAA (CHINA)
Laboratory name:
National Natural Science Foundation of China (Chine) - National Defense Basic Scientific Research Project (Chine) - National Key Research and Development Program (Chine) - Natural Science Foundation of Jiangsu Province (Chine) - Avionics Science Foundation of China (Chine) - Fundamental Research Funds for Chinese Central Universities (Chine)
Deposited On:20 Nov 2019 10:36

Repository Staff Only: item control page