首 页 本刊概况 出 版 人 发行统计 在线订阅 欢迎投稿 市场分析 1 组织交流 1 关于我们
 
1
   通信短波
1
   新品之窗
1
   优秀论文
1
   通信趋势
1
   特别企划
1
   运营商动态
1
   技术前沿
1
   市场聚焦
1
   通信视点
1
   信息化论坛
1
当前位置:首页 > 优秀论文
面向安全关键领域的高可信软件设计方法
作者:姜敏 马庆甜
来源:本站原创
更新时间:2014/1/16 10:19:00
正文:

         (中航工业西安飞行自动控制研究所,710065)(西安卫星测控中心,710043)

  摘要:随着安全关键系统规模及复杂性的增加,如何构建高可信的安全关键软件成为研究热点,采用模型驱动的开发方法可以提高开发效率,保证安全关键软件的质量。而质量是由软件体系结构决定的。首先介绍了软件框架技术,它能有效实现大粒度软件复用,并阐述了特定领域的可复用软件体系结构设计方法和开发过程。为了进一步提高软件重用性和建立理想的软件体系结构,对安全关键领域的两种软件体系结构进行了基本分析,着重介绍了一种分区技术,并对ARINC653标准的架构进行了简述。最后分析了模型化开发方法,并对未来安全关键领域的软件技术发展进行展望。
  关键词:安全关键软件;高可信;复用;软件体系结构;模型驱动

                 Design methodology forsafety-critical software of high confidence
                                                     Min Jiang, Qingtian Ma
                  (AVIC Xi'an Flight Automatic Control Research Institute,710065)
                               (ChinaXi'an Satellite Control Center,710043)
   Abstract: As the size and complexity of safety-critical systems increase, how to build a high confidence safety-critical software become research focus. Using the model-driven development approach can improve development efficiency, and ensure the quality of safety-critical software. While the quality characteristic is determined by the software architecture. Firstly, the software framework technology is introduced, which can effectively implement large-scale software reuse. Then, design methods of domain-specific reusable software architecture and the development processes are described. In order to further improve software reusability and establish the ideal software architectures for safety-critical areas, two software architectures are described,  especially a partitioning technology, and the ARINC653 standards based architecture are outlined. Finally, the methodsof modelingdevelopment are analyzed, and then looking to the future development of the software technology forsafety-critical area.
   Key words:safety-critical software;high confidence;reuse;software architecture;model driven

 

 


参考文献(References)
(1)杨志斌, 皮 磊, 胡 凯. 复杂嵌入式实时系统体系结构设计与分析语言:AADL. Journal of Software, Vol.21, No.5, May 2010, pp.899−915
(2)杨芙清,梅宏,李克勤.软件复用与软件构件技术.电子学报,1999,27(2): 68~75
(3)刘瑜,王立福,张世艰.软件框架开发过程研究.计算机工程与应用.2004.2 26~28
(4)于振华,蔡远利. 特定领域软件体系结构研究[J ] . 微电子学与计算机,2004 ,21 (7) :66 - 69.
(5)Mohamed E.Fayad等著,姜晓红等译.特定领域应用框架:行业的框架体验.电 子 工业 出版社,2004.8
(6)Rushby, John. "Separation and integration in MILS (The MILS Constitution)."SRI International (2008).
(7)Cho, Hyeonjoong, Binoy Ravindran, and E. Douglas Jensen. "An optimal real-time scheduling algorithm for multiprocessors." Real-Time Systems Symposium, 2006. RTSS'06. 27th IEEE International. IEEE, 2006.
(8)Tokar, Joyce L.  "Space & Time Partitioning with ARINC 653 and pragma profile."  ACM SIGAda Ada Letters. Vol. 23. No. 4. ACM, 2003.
(9)Maiden, Neil AM, et al. "Model-driven requirements engineering: synchronising models in an air traffic management case study." Advanced Information Systems Engineering. Springer Berlin Heidelberg, 2004.


作者简介:
姜敏,女,工程师,主要研究领域为安全关键嵌入式软件体系结构设计、基于模型的软件设计与验证,近年来参与多个国防重大项目的软件开发工作。

 
 
   
《通信市场》 中国·北京·复兴路49号通信市场(100036) 点击查看具体位置
电话:86-10-6820 7724, 6820 7726
京ICP备05037146号-8
建议使用 Microsoft IE4.0 以上版本 800*600浏览 如果您有什么建议和意见请与管理员联系