Approach for Generating AADL Model Based on Restricted Natural Language Requirement Template
Author:
Affiliation:

Clc Number:

Fund Project:

National Natural Science Foundation of China (61502231, 61272083); National High-Tech R&D Program of China (863) (2015AA105303); National Defense Basic Scientific Research Project of China (JCKY2016203B011); National Key Research and Development Program of China (2016YFB1000802); Natural Science Foundation of Jiangsu Province (BK20150753); Project of the State Key Laboratory of Software Development Environment of China (SKLSDE-2015KF-04); Avionics Science Foundation of China (2015ZC52027)

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    As embedded software systems are widely used in many crucial areas such as automotive, energy industries and aerospace, failures of these systems will cause pollution of environment, property losses and even casualties. Therefore, safety analysis has been critical for developing these systems. The traditional safety analysis method is mainly used in the software requirement analysis stage and the design stage. However, the gap between requirement and design is a challenge in software engineering area, for it is difficult to transmit and reflect the analysis result of the requirement analysis stage into software designing. The primary reason is that the current software requirement is mainly described in natural language, in which there is ambiguity and fuzziness, and that makes it difficult to be automatically processed. To solve this problem, this paper first focuses on component embedded software and proposes a set of requirement template based on restricted natural language to reduce the ambiguity and fuzziness of natural language requirements. Then, to lessen the complexity of automated processing, requirement abstract syntax diagrams are used as the intermediate model to realize the transition between software requirement specified by restricted natural language template and AADL model, and automatically record the traceability relations between them. Finally, a tool for the method proposed above is developed based on the AADL open source system OSATE, and an example validation is carried out through the spacecraft guidance, navigation and control system GNC (guidance, navigation and control).

    Reference
    Related
    Cited by
Get Citation

王飞,杨志斌,黄志球,周勇,刘承威,章文炳,薛垒,许金淼.基于限定自然语言需求模板的AADL模型生成方法.软件学报,2018,29(8):2350-2370

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 18,2017
  • Revised:January 12,2018
  • Adopted:
  • Online: March 13,2018
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063