-
题名一种以安全性为中心的IMA软件体系结构设计方法
被引量：4
- 1
-
-
作者
徐显亮
张凤鸣
褚文奎
-
机构
空军工程大学工程学院
空军工程大学训练部
-
出处
《计算机科学》
CSCD
北大核心
2012年第3期128-130,162,共4页
-
基金
总装备部国防预研基金(9140A17020307JB3201)资助
-
文摘
在改进体系结构权衡分析法的基础上,提出了一种以安全性为中心的IMA软件体系结构设计方法。利用危险场景评价IMA软件体系结构的安全性,针对重大安全设计隐患,给出相应的危险预防、消除或减轻策略;利用契约捕获IMA体系结构求精所需满足的约束,推动IMA软件体系结构螺旋式求精。本设计方法有助于消除IMA软件中可能会影响综合航电系统以及飞机安全性的设计缺陷。
-
关键词
软件体系结构
软件安全性
安全性需求
综合模块化航空电子
体系结构权衡分析法
-
Keywords
Software architecture, Software safety, Safety requirements, Integrated modular avionics （IMA）, Architecture trade-off analysis method（ATAM）
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于场景的两种软件体系结构评估方法
被引量：3
- 2
-
-
作者
沈群力
刘杰
-
机构
上海商学院
复旦大学管理学院上海
-
出处
《计算机应用研究》
CSCD
北大核心
2008年第10期3015-3017,共3页
-
基金
上海市政府重点学科建设基金资助项目(沪教委科(2006)47)
-
文摘
基于场景的软件体系结构评估方法通过场景将系统的质量需求转换为风险承担者与系统的交互活动,通过低代价的事前评估活动降低软件的质量风险。SAAM及ATAM两种方法在具体的实际评估活动中,它们在场景的生成、风险承担者的商业动机的表述、软件体系结构的描述等方面存在着很大的不同,两种评估方法各有特长,其评估方法在具体的场景执行环节上具有不确定性,将定量的度量方法与定性场景结合是提高评估的有效途径。
-
关键词
场景
软件体系结构
软件体系结构分析法
体系结构权衡分析法
效用树
-
Keywords
scenario
software architecture
software architecture analysis method
architecture tradeoff analyis method
utility tree
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
