计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
3期
128-130,162
,共4页
软件体系结构%软件安全性%安全性需求%综合模块化航空电子%体系结构权衡分析法
軟件體繫結構%軟件安全性%安全性需求%綜閤模塊化航空電子%體繫結構權衡分析法
연건체계결구%연건안전성%안전성수구%종합모괴화항공전자%체계결구권형분석법
在改进体系结构权衡分析法的基础上,提出了一种以安全性为中心的IMA软件体系结构设计方法.利用危险场景评价IMA软件体系结构的安全性,针对重大安全设计隐患,给出相应的危险预防、消除或减轻策略;利用契约捕获IMA体系结构求精所需满足的约束,推动IMA软件体系结构螺旋式求精.本设计方法有助于消除IMA软件中可能会影响综合航电系统以及飞机安全性的设计缺陷.
在改進體繫結構權衡分析法的基礎上,提齣瞭一種以安全性為中心的IMA軟件體繫結構設計方法.利用危險場景評價IMA軟件體繫結構的安全性,針對重大安全設計隱患,給齣相應的危險預防、消除或減輕策略;利用契約捕穫IMA體繫結構求精所需滿足的約束,推動IMA軟件體繫結構螺鏇式求精.本設計方法有助于消除IMA軟件中可能會影響綜閤航電繫統以及飛機安全性的設計缺陷.
재개진체계결구권형분석법적기출상,제출료일충이안전성위중심적IMA연건체계결구설계방법.이용위험장경평개IMA연건체계결구적안전성,침대중대안전설계은환,급출상응적위험예방、소제혹감경책략;이용계약포획IMA체계결구구정소수만족적약속,추동IMA연건체계결구라선식구정.본설계방법유조우소제IMA연건중가능회영향종합항전계통이급비궤안전성적설계결함.