摘要： 分析安全关键应用对嵌入式系统自容错能力的需求，进而研究嵌入式系统中关键任务状态的形式化描述方法及任务故障的自监测机制。在此基础上，提出一种基于策略的嵌入式多任务软件混合自容错机制。在该机制中，软件系统在监测各任务实体运行时状态的基础上，可依据不同方法对故障任务进行自恢复处理，并尽量保证系统主要功能的可靠性与稳定性。实验结果表明，该机制有助于从嵌入式软件方面提高嵌入式系统的可靠运行能力。

关键词: 嵌入式, 多任务, 策略, 故障自监测, 自容错

Abstract: After analyzing the special self fault-tolerant requirements of embedded systems in safety critical applications, a formalization method of critical tasks and a self fault-detect mechanism is studied and proposed. A new policy-based self-recovery mechanism is researched for embedded multi-tasks software, which allows the embedded system to recovery faults of tasks according to the run-time status and the special policy. The realization of all the methods and technology is useful to advance the self fault-tolerance capability of the whole embedded system without any redundancy hardwares.

Key words: embedded, multi-tasks, policy, self fault-monitoring, self fault-tolerance

中图分类号: 

• N945