对2005年的嵌入式RToS安全保护机制进行研究与实现

在分析安全相关的ARINC653规范的基础上，提出了满足安全关键应用的嵌入式实时操作系统s. CRTOS体系结构，较详细阐述了该体系结构所采用的隔离和保护原理，以及所解决的区间调度、进程池和异步机制等几种关键技术。该体系结构已在多种目标板上成功实现，可用于航空电子、汽车电子等安全关键系统。