用于微机监控系统的容错多任务实时操作系统

机译：Cortex-M4实时操作系统的基本知识，用于使用带有M4的微型计算机的任务调度器（矿物）的实时操作系统

机译：基于整数线性规划问题的片上网络容错多任务分配方法

机译：基于整数线性规划问题的片上网络容错多任务分配方法

机译：用于OSEK兼容实时操作系统的模型检查多任务应用程序

机译：基于组件的实时操作系统中可预测的系统级容错。

机译：谁执行多任务？为什么？多任务处理能力，感知的多任务处理能力，冲动性和感觉寻求

机译：模型检查OsEK兼容实时操作系统的多任务应用程序

机译：容错微机实时操作系统的设计

机译：内存有限的微处理器的多任务实时操作系统，用于限制上下文切换仅在任务级别发生

机译：内存有限的微处理器的多任务实时操作系统

机译：在非实时操作系统中嵌入实时多任务内核的方法和设备