基于限定自然语言需求模板的AADL模型生成方法

来源：软件学报杂志2018年第8期北京时间：

作者：王飞,杨志斌,黄志球,周勇,刘承威,章文炳,薛垒,许金淼

单位：王飞，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110611,杨志斌，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学), 江苏 南京 211106;软件新技术与产业化协同创新中心, 江苏 南京 21009302,黄志球，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学), 江苏 南京 211106;软件新技术与产业化协同创新中心, 江苏 南京 21009303,周勇，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110604,刘承威，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110605,章文炳，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110606,薛垒，上海航天电子技术研究所, 上海 20110907,许金淼，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110608

摘要：随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用，其失效将会导致财产的损失、环境的破坏甚至人员的伤亡，使得保障软件安全性成为系统开发过程中的重要部分.传统的安全性分析方法主要应用在软件的需求分析阶段和设计阶段，然而需求与设计之间的鸿沟却一直是软件工程领域的一大难题.正是由于这一鸿沟的存在，使得需求分析阶段的安全性分析结果难以完整而详尽地反映在软件设计中.其根本原因是：当前的软件需求主要通过自然语言描述，存在二义性与模糊性，且难以进行自动化处理.为了解决这一问题，面向构件化嵌入式软件，首先提出了一种半结构化的限定自然语言需求模板用于需求规约，能够有效地降低自然语言需求的二义性与模糊性；然后，为了降低自动化处理的复杂性，采用需求抽象语法图作为中间模型，实现基于限定自然语言需求模板规约的软件需求与AADL模型之间的转换，并在此过程中自动记录两者之间的可追踪关系；最后，基于AADL开源工具OSATE对所提出方法进行了插件实现，并通过航天器导航、制导与控制系统（guidance，navigation and control，简称GNC）进行了实例性验证.

关键词：嵌入式软件;软件安全性;需求规约;限定自然语言需求模板;AADL;可追踪性

基金资助：国家自然科学基金（61502231，61272083）；国家高技术发展计划（863）（2015AA105303）；GF基础科研重点项目（JCKY2016203B011）；国家重点研发计划（2016YFB1000802）；江苏省自然科学基金（BK20150753）；软件开发环境国家重点实验室开放课题（SKLSDE-2015KF-04）；航空科学基金（2015ZC52027）