基于构件的可信软件系统冗余机制及可靠性分析

摘要：

在高可信软件的设计和开发中,软件容错是提高系统可信性的一种实现技术之一.容错性就是指软件在故障出现时保证提供服务的能力,对退化故障进行容错的一种处理方式就是依靠冗余技术.本文在分析结构冗余及其对可信性的影响的基础上,在基于构件的可信软件系统中提出了对核心构件进行冗余的机制,包括单个构件的双模冗余结构、组合构件的双模冗余结构和构件的三取二冗余及其扩展结构,并给出了其故障检测和判断方法.同时,在各种冗余结构的基础上对系统可靠性能进行分析.

关键词：可信软件、基于构件的软件系统、软件容错、结构冗余、可靠性分析

所属期刊栏目：27

分类号：TP3;U44

资助基金：国家自然科学基金61462091

在线出版日期：2018-01-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：66-71