计算机科学 ›› 2012, Vol. 39 ›› Issue (3): 128-130.
• 软件工程 • 上一篇 下一篇
徐显亮,张凤鸣,褚文奎
出版日期:
发布日期:
XU Xian-liang,ZHANG Feng-ming,CHU Wen-kui
Online:
Published:
摘要: 在改进体系结构权衡分析法的基础上,提出了一种以安全性为中心的IMA软件体系结构设计方法。利用危险场景评价IMA软件体系结构的安全性,针对重大安全设计隐患,给出相应的危险预防、消除或减轻策略;利用契约捕获IMA体系结构求精所需满足的约束,推动IMA软件体系结构螺旋式求精。本设计方法有助于消除IMA软件中可能会影响综合航电系统以及飞机安全性的设计缺陷。
关键词: 软件体系结构,软件安全性,安全性需求,综合模块化航空电子,体系结构权衡分析法
Abstract: Based on adaptation of architecture tradeoff analysis method (ADAM),a safety-centered architecture design method was proposed for integrated modular avionics (IMA) software. Hazardous scenarios were used to evaluate the safety property of a designed IMA software architecture. Prevention, elimination or minimization actions to fateful hazards were derived. Contracts were used to document all the constraints which should be met in the next refined process of IMA software architecture. With the method, it will eliminate or reduce design bugs in the IMA software architecture, especially those that will contribute to hazards of the IMA system or fighters.
Key words: Software architecture, Software safety, Safety requirements, Integrated modular aviorucs(IMA),Architecture tradeoff analysis method(ATAM)
徐显亮,张凤鸣,褚文奎. 一种以安全性为中心的IMA软件体系结构设计方法[J]. 计算机科学, 2012, 39(3): 128-130. https://doi.org/
XU Xian-liang,ZHANG Feng-ming,CHU Wen-kui. Safety-centered Architecture Design Method for IMA Software[J]. Computer Science, 2012, 39(3): 128-130. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2012/V39/I3/128
Cited