基于构件的可信软件系统冗余机制及可靠性分析
|
摘要
在高可信软件的设计和开发中,软件容错是提高系统可信性的一种实现技术之一.容错性就是指软件在故障出现时保证提供服务的能力,对退化故障进行容错的一种处理方式就是依靠冗余技术.本文在分析结构冗余及其对可信性的影响的基础上,在基于构件的可信软件系统中提出了对核心构件进行冗余的机制,包括单个构件的双模冗余结构、组合构件的双模冗余结构和构件的三取二冗余及其扩展结构,并给出了其故障检测和判断方法.同时,在各种冗余结构的基础上对系统可靠性能进行分析.
In the design and development of high confidence software, the software fault tolerance is one of the techniques to improve the credibility of the system. Fault tolerance is the ability of software to guarantee the service when the fault occurs. And a processing method for fault tolerance is to rely on redundancy technology. Based on the analysis of the structural redundancy and its influence on the credibility of the system, this paper proposes a redundancy mechanism for the core components of the component-based trusted software. The redundancy structure includes dual redundant structure for single component and composite components, 2 out of 3 redundant structure and its extension. And the fault detection and the judgment method are given. At the same time, the reliability of the system is analyzed on the basis of various redundant structures.
In the design and development of high confidence software, the software fault tolerance is one of the techniques to improve the credibility of the system. Fault tolerance is the ability of software to guarantee the service when the fault occurs. And a processing method for fault tolerance is to rely on redundancy technology. Based on the analysis of the structural redundancy and its influence on the credibility of the system, this paper proposes a redundancy mechanism for the core components of the component-based trusted software. The redundancy structure includes dual redundant structure for single component and composite components, 2 out of 3 redundant structure and its extension. And the fault detection and the judgment method are given. At the same time, the reliability of the system is analyzed on the basis of various redundant structures.
引文
1Laprie JC.Dependability:Basic Concepts and Terminology.Vienna:Springe-Verlag,1991.
2NSTC.Research challenges in high confidence systems.Proceedings of the Committee on Computing,Information,and Communications Workshop.1997.
3陈火旺,王戟,董威.高可信软件工程技术.电子学报,2003,31(A12):1933–1938.
4Saha GK.Software based fault tolerance:A survey.Ubiquity,2006,7(25):1–15.
5Reis GA,Chang J,Vachharajani N,et al.Softwarecontrolled fault tolerance.ACM Transactions on Architecture and Code Optimization,2005,2(4):366–396.[doi:10.1145/1113841]
6Reis GA,Chang J,Vachharajani N,et al.SWIFT:Software implemented fault tolerance.Proceedings of the International Symposium on Code Generation and Optimization.Washington DC,USA.2005.243–254.
7Xie ZP,Sun HY,Saluja K.A survey of software fault tolerance techniques.http://www.pld.ttu.ee/IAF0030/Paper_4.pdf.[2011-05-22].
8Sathre J,Zambreno J.Automated software attack recovery using rollback and huddle.Design Automation for Embedded Systems,2008,12(3):243–260.[doi:10.1007/s10617-008-9020-4]
9何加浪,张琨,孟锦,等.可进化模块冗余软件混合容错模型.南京理工大学学报,2012,36(2):272–277,284.
10张立众.一种双总线双控制器软件冗余系统的设计.陕西理工学院学报(自然科学版),2014,30(3):41–46.
11黄涛,陈祥献,黄海.基于三取二冗余结构的安全计算机系统.计算机工程,2011,37(18):254–257.[doi:10.3969/j.issn.1000-3428.2011.18.085]
12杨芙清.软件工程技术发展思索.软件学报,2005,16(1):1 –7.
13 Atkinson C,Bunse C,Gross HG,et al.Component-based Software Development for Embedded Systems.Berlin Heidelberg:Springer-Verlag,2005.
2NSTC.Research challenges in high confidence systems.Proceedings of the Committee on Computing,Information,and Communications Workshop.1997.
3陈火旺,王戟,董威.高可信软件工程技术.电子学报,2003,31(A12):1933–1938.
4Saha GK.Software based fault tolerance:A survey.Ubiquity,2006,7(25):1–15.
5Reis GA,Chang J,Vachharajani N,et al.Softwarecontrolled fault tolerance.ACM Transactions on Architecture and Code Optimization,2005,2(4):366–396.[doi:10.1145/1113841]
6Reis GA,Chang J,Vachharajani N,et al.SWIFT:Software implemented fault tolerance.Proceedings of the International Symposium on Code Generation and Optimization.Washington DC,USA.2005.243–254.
7Xie ZP,Sun HY,Saluja K.A survey of software fault tolerance techniques.http://www.pld.ttu.ee/IAF0030/Paper_4.pdf.[2011-05-22].
8Sathre J,Zambreno J.Automated software attack recovery using rollback and huddle.Design Automation for Embedded Systems,2008,12(3):243–260.[doi:10.1007/s10617-008-9020-4]
9何加浪,张琨,孟锦,等.可进化模块冗余软件混合容错模型.南京理工大学学报,2012,36(2):272–277,284.
10张立众.一种双总线双控制器软件冗余系统的设计.陕西理工学院学报(自然科学版),2014,30(3):41–46.
11黄涛,陈祥献,黄海.基于三取二冗余结构的安全计算机系统.计算机工程,2011,37(18):254–257.[doi:10.3969/j.issn.1000-3428.2011.18.085]
12杨芙清.软件工程技术发展思索.软件学报,2005,16(1):1 –7.
13 Atkinson C,Bunse C,Gross HG,et al.Component-based Software Development for Embedded Systems.Berlin Heidelberg:Springer-Verlag,2005.