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

刘承威1周勇1杨志斌1王飞1章文炳1薛垒2许金淼1黄志球1

1.南京航空航天大学; 2.上海航天电子技术研究所;

摘要：

随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保障软件安全性成为系统开发过程中的重要部分.传统的安全性分析方法主要应用在软件的需求分析阶段和设计阶段,然而需求与设计之间的鸿沟却一直是软件工程领域的一大难题.正是由于这一鸿沟的存在,使得需求分析阶段的安全性分析结果难以完整而详尽地反映在软件设计中.其根本原因是:当前的软件需求主要通过自然语言描述,存在二义性与模糊性,且难以进行自动化处理.为了解决这一问题,面向构件化嵌入式软件,首先提出了一种半结构化的限定自然语言需求模板用于需求规约,能够有效地降低自然语言需求的二义性与模糊性…展开v

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

所属期刊栏目：29

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2018-09-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共21页

页码：2350-2370