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

• 作者: 刘承威 周勇 杨志斌 王飞 章文炳 薛垒 许金淼 黄志球
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 嵌入式软件 软件安全性 需求规约 限定自然语言需求模板 AADL 可追踪性
• 年，卷（期）: 2018,（8）
• 所属期刊栏目: 数据驱动的软件智能化开发方法与技术专题
• 页码范围: 2350-2370
• 页数: 21页
• 分类号: TP311
• 字数: 15152字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005530

摘要

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