嵌入式计算机控系统容错策略研究.pdfVIP

嵌入式计算机控制系统容错策略研究 王平(微电子学与固体电子学) 指导老师：杨根庆研究员 摘 要 计算机控制技术己广泛应用于宇航、航空、各种工程设计和科学研究、各种过 程控制和管理、国防、军事以至日常生活领域。由于计算机的广泛应用，其可靠性 成为一个非常突出的问题，许多应用场合都要求计算机能长期稳定、安全、可靠地 运行。计算机控制系统的容错设计主要是指针对故障的专门设计方法，它主要包括 故障的检测和诊断、硬件的可靠性设计、软件的可靠性设计、硬件不可恢复或无冗 余备份条件下的控制系统降级运行等。本文主要以空间飞行的星载计算机控制系统 为研究对象，围绕提高控制系统的可靠性在传感器数据采集、计算机软件和硬件以 及容错设计的验证等方面主要可能采取的措施开展工作。 传感器正确采集输出数据是控制系统正常工作的基础。传感器故障数据的产生 主要有两个方面：一是受各种干扰输出不正确的数据，一是传感器自身发生故障不 能获得正确数据。为了检测出传感器的故障，本文使用了数值计算方法进行传感器 输出数据的预测，并根据预测结果与实际传感器输出结果的比较得到传感器的故障 概率。由于传感器输出数据发生跃变的情况在空间环境是时常出现的，因此传感器 的故障概率并不能指出传感器确实发生了故障，要准确判断传感器是否确实发生故 障，需要采用多源数据融合的方法。DS证据理论提供了这种融合的判断方法，使得 我们可以根据信息融合的结果判断传感器是否确实发生故障，但DS证据理论在实 际应用中有时并不能完全符合实际结果，为此，在分析了DS证据理论存在的缺陷 后，本文提出了改进的RDS证据理论，该理论的主要改进是对DS组合证据方法增 加了相关系数和可靠性加权系数，在去除了证据之间的相关性并增加了证据的可靠 性系数后，RDS证据能正确地对多源数据进行融合，从而获得正确输出结果。 软件的容错设计是实现计算机控制系统高可靠性的一个重要方面，为了实现软 件的容错，避免干扰造成影响，可以使用故障检测、故障恢复、破坏估计、故障隔 离、继续服务等技术，利用指令冗余、软件陷阱、软件看门狗等方法来使发生故障 的系统恢复正常运行。由于在程序设计过程中可能人为地引入各种错误，因此卫星 星载软件要求能实现重组，本文就此问题提出一种基于组件的运行中嵌入式软件的 重组方法，在使用组件化、模块化技术的基础上，利用恢复块、多版本以及软件注 入等技术实现软件的重组。由于目前星载计算机控制系统在空间环境面临的主要问 题是辐射造成的单粒子事件和的影响，因此，本文提出一种软件实现容硬件错的设 计方法。该方法基于数据复制来完成，在程序产生新数据的各个运行阶段，都对源 数据和输出数据进行复制比较，在进行多次等价运算的基础上，利用结果数据一致 性比较的方法来得出运算结果。为了解决运算结果数据一致性比较的问题，本文还 提出了动态模糊聚类的数据一致性比较方法，以得到正确的输出结果。 容错设计的正确与否需要通过容错验证来完成，本文在卫星电源控制系统的容 错设计验证中采用了软硬件故障注入的验证方法，通过建立电源系统的故障分析树， 分析其故障模式，使用硬件模拟器和软件仿真器产生故障，以验证电源控制系统的 软硬件容错设计是否正确。本文最后概要介绍了作者所参与的创新一号小卫星计算 机系统的软硬件设计及测试和在轨运行情况。 本文的主要贡献有下面几个方面：一是提出利用数值方法进行传感器检测值的 预计，并以此为基础得到了传感器的故障概率；二是对信息融合的重要理论一一 证明了RDS理论应用于实际中的正确性；三是提出了软件容错和嵌入式软件重组的 流程和方法；四是利用数据复制的方法实现了软件的容硬件错能力，该方法结合软 件EDAC可以实现商业器件在星载计算机上的可靠应用；五是提出了动态模糊聚类 的数据一致性校验方法，以实现对多个输出的正确性的判断。 关键词：嵌入式计算机容错软件控制系统 可靠性Ds证据理论 ResearchoR I I I Faut-toerantTechnoofEmbedded ogy l