高可靠嵌入式实时操作系统的研究与实现.docVIP

1 绪论 1　绪论 　高可靠系统概述 系统中出现故障时会导致非常严重的后果，如人类生命的失去、对周边环境严重 以及大面积的破坏、巨大的财政损失等，伴随着的是相关提供商厂家（硬件、操作系 统、应用）的一蹶不振，因而引入高可靠系统是很必要的。其相关的应用领域主要包 括： z 军事领域，包括武器系统、战斗机系统等； z 工业控制领域，如与有毒气体相关的控制领域，以及特定的机器人设备控制； z 运输控制领域，包括无线遥控系统，如自动驾驶航空电子、自动驾驶汽车火车 控制系统、交通安全监控系统等； z 通讯控制系统，包括 120 急救传呼系统、救护车派遣系统等； z 医疗控制系统，包括放射医疗设备控制、医疗状况监控系统等； z 原子设备系统。 从以上领域可以看出，高可靠系统很多情况下也是实时系统[1]，当然，非实时的高 可靠系统也存在，比如武器储藏系统，在本论文中的高可靠系统指的是实时嵌入式系 统。 引进软件高可靠[2][3]的概念原因之一是，计算机软件相对比传统的机械设备控制更 难把握。传统的机械设备控制属于连续数学工程类，已经具有相当成熟的理论及经验 供参考，而计算机软件领域属于离散数字数学工程类，其理论还远远没到成熟的地步， 并且传统的理论不能生搬硬造到计算机软件：计算机软件中一位数字的改变就可能导 致系统的崩溃，所以根本不能穷尽软件的全部运行状况进行测试。 计算机软件的高可靠实际上很难