面向安全关键领域的高可信软件设计方法  

Design methodology forsafety-critical software of high confidence

作　　者：姜敏[1] 马庆甜[2] 

机构地区：[1]中航工业西安飞行自动控制研究所,710065 [2]西安卫星测控中心,710043

出　　处：《中国电子商情（通信市场）》2013年第6期161-167,共7页

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

关 键 词：安全关键软件 高可信 复用 软件体系结构 模型驱动 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]