标题：OSEK车用嵌入式RTOS的设计
作者：资小龙 李莹
作者单位：浙江大学计算机学院（310027）
关键字：RTOS，OSEK/VDX，single-shot模型，汽车电子
摘要：本文首先介绍了应用于汽车电子方面的RTOS行业标准——OSEK/VDX，然后提出对待开发RTOS内核的设计方案。任务定义遵循OSEK 的BCC1 Conformance Classes，内核为可抢占式的内核。在内存使用和堆栈分配方面引用了single-shot模型和自动分配资源（Auto Resources）策略。最后，提到在汽车电子应用开发中的难点所在。