期刊文献+

基于构件的可信软件系统冗余机制及可靠性分析 被引量:1

Redundancy Mechanism and Reliability Analysis of Trusted Software System Based on Component
下载PDF
导出
摘要 在高可信软件的设计和开发中,软件容错是提高系统可信性的一种实现技术之一.容错性就是指软件在故障出现时保证提供服务的能力,对退化故障进行容错的一种处理方式就是依靠冗余技术.本文在分析结构冗余及其对可信性的影响的基础上,在基于构件的可信软件系统中提出了对核心构件进行冗余的机制,包括单个构件的双模冗余结构、组合构件的双模冗余结构和构件的三取二冗余及其扩展结构,并给出了其故障检测和判断方法.同时,在各种冗余结构的基础上对系统可靠性能进行分析. 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.
出处 《计算机系统应用》 2018年第1期66-71,共6页 Computer Systems & Applications
基金 国家自然科学基金(61462091)
关键词 可信软件 基于构件的软件系统 软件容错 结构冗余 可靠性分析 trusted software software system based on component software fault tolerance structural redundancy reliability analysis
  • 相关文献

参考文献5

二级参考文献69

  • 1冯立,王良勇,钱晓龙.冗余控制系统的原理及性能优化[J].仪器仪表学报,2003,24(z1):334-336. 被引量:16
  • 2李欣,崔新雨.PLC软冗余系统在电气保护中的应用[J].可编程控制器与工厂自动化(PLC FA),2006(2):42-43. 被引量:8
  • 3高本东,孙自强.PCS7系统在氟化工行业中的应用[J].自动化仪表,2006,27(4):49-52. 被引量:6
  • 4王国勇,马思乐.基于S7-300与WINCC的污水处理控制系统[J].中国仪器仪表,2007(4):53-56. 被引量:6
  • 5[1]Standish Group. The CHAOS Report[R].Found at http://www. standishgroup. com. 1995.
  • 6[2]The Inquiry Board. Ariane 5 Flight 105 Inquiry Board Report [ R ].Paris: European Space Agency Press,July 1996.
  • 7[3]National Science,Technology Council (NSTC). America in the Age of Information: A Forum on Federal Information and Communications R&D[R]. Bethesda, Maryland, July 6 - 7,1995.
  • 8[4]NSTC.Research challenges in high confidence systems[A]. Proceedings of the Committee on Computing, Information, and Communications Workshop[ C ]. USA: http://www. hpcc. gov/pubs/hcs-Aug97/intro.html, August 6 - 7,1997.
  • 9[5]High Confidence Systems Working Group, NSTC. Setting an interagency high confidence systems (HCS) research agenda [ A ]. Proceedings of the Interagency High Confidence Systems Workshop [ C ]. Arlington,Virginia,25 March 1998.
  • 10[6]High Confidence Software and Systems Coordinating Group. High Confidence Software and Systems Research Needs[ R]. USA: http://www.ccic. gov/pubs/hcss-research. pdf, January 10,2001.

共引文献407

同被引文献12

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部