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