一种以安全性为中心的IMA软件体系结构设计方法

摘要：

在改进体系结构权衡分析法的基础上,提出了一种以安全性为中心的IMA软件体系结构设计方法.利用危险场景评价IMA软件体系结构的安全性,针对重大安全设计隐患,给出相应的危险预防、消除或减轻策略；利用契约捕获IMA体系结构求精所需满足的约束,推动IMA软件体系结构螺旋式求精.本设计方法有助于消除IMA软件中可能会影响综合航电系统以及飞机安全性的设计缺陷.

关键词：软件体系结构、软件安全性、安全性需求、综合模块化航空电子、体系结构权衡分析法

所属期刊栏目：39

分类号：TP311.5;TP309(计算技术、计算机技术)

资助基金：总装备部国防预研基金9140A17020307JB3201

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

页数：共4页

页码：128-130,162