分布嵌入式实时系统的安全关键性理论研究

近三年，安全关键性（Safety-Critical）的研究已经成为国际上在分布嵌入式实时系统（以下简称系统）领域的最新研究热点，国内尚处于初始起步阶段。本项目拟通过对复合触发结构、复合通信协议和多重容错技术的理论研究，为有效地提高系统的安全关键性提供理论基础。为有效提高系统的安全关键性，本项目首次通过对系统在触发架构、通信协议和容错技术的复合构架进行理论研究，探索有效的系统整合结构。在触发架构方面，首次引入基于时间触发与事件触发架构的复合结构。在任务调度策略上采取关键性任务与普通任务在时间及空间上的隔离技术，任务分配调度采用复合抢占式及非抢占式调度策略。通过对系统的通信协议采用时分复用、信息按需传送相结合的方式为系统提供高速可靠的通信链路。对安全关键性操作采用多重硬件与软件容错技术相结合的策略。通过本项目的开拓性研究，将为安全关键性系统设计技术的发展提供一定的理论基础，重点是实际应用技术。