【摘 要】
：
在高可信软件的设计和开发中,软件容错是提高系统可信性的一种实现技术之一.容错性就是指软件在故障出现时保证提供服务的能力,对退化故障进行容错的一种处理方式就是依靠冗
【机 构】
：
云南大学软件学院,云南省软件工程重点实验室
【基金项目】
：
国家自然科学基金（61462091）
论文部分内容阅读
在高可信软件的设计和开发中,软件容错是提高系统可信性的一种实现技术之一.容错性就是指软件在故障出现时保证提供服务的能力,对退化故障进行容错的一种处理方式就是依靠冗余技术.本文在分析结构冗余及其对可信性的影响的基础上,在基于构件的可信软件系统中提出了对核心构件进行冗余的机制,包括单个构件的双模冗余结构、组合构件的双模冗余结构和构件的三取二冗余及其扩展结构,并给出了其故障检测和判断方法.同时,在各种冗余结构的基础上对系统可靠性能进行分析.
其他文献
本文提出一种面向网络隔离架构的业务流行为控制的高可信交互框架,解决了企业互联网移动应用难以访问复杂安全架构下的高安全区业务数据的问题,确保了业务系统关键数据的安全
针对水下环境的三维传感器网络节点随机部署时存在覆盖率低的问题,设计一种基于垂直采样的水下三维传感网络覆盖算法,用于提高水下三维传感器网络覆盖率和连通性.垂直采样算
本文面对配电网诊断涉及的信息化系统繁杂、共享融合程度不高、数据规模巨大等问题,设计了基于多源数据融合与分析的配电网可视化诊断系统。文章首先介绍了系统的架构和诊断指标体系的构建;其次从数据处理、问题自动诊断、可视化展示三个方面介绍了系统的主要功能;最后通过系统的试点应用,展示了系统可视化诊断的应用及成效。该系统的应用可实现电网薄弱环节的精准定位,为配电网规划提供信息化辅助手段。