基于μCosⅡ的OSEK/VDX实时操作系统任务管理实现

机译：验证OSEK / VDX汽车应用：基于自旋的模型检查方法

机译：验证OSEK / VDX应用程序：基于序列化的模型检查方法

机译：用于汽车安全分析的基于OSEK / VDX的操作系统的模型检查*

机译：在OSEK / VDX中应用AUTOSAR网络管理以实现AUTOSAR和OSEK / VDX的兼容性

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

机译：基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证

机译：Trampoline OsEK / VDX RTOs规范的Opensource实现

机译：使用新兴技术实现灵活的无人机任务管理

机译：实时操作系统的任务调度表中使用的任务管理装置和方法

机译：任务管理装置和使用实时操作系统任务调度表的方法

机译：实时操作系统及其任务管理系统