基于OSEK OS的发动机管理系统时间自动机模型的研究

摘要：

针对OSEK操作系统的特点,提出了便于复用的时间自动机模型,通过不同参数的设置町灵活实现不同调度策略.对基于OSEK OS的发动机管理系统(EMS)进行抽象分析,以已建的OSEK OS的时间自动机模型作为模板,快速构建EMS的时间自动机模璎并进行模拟、分析和验证.整个过程表明,该方法具有较好的复用性和灵活性,能为车控系统软件的设计提供较好的时问参考数据,有助于提高车控系统软件的开发效率和质量.

关键词：发动机管理系统、OSEK操作系统、时间自动机

所属期刊栏目：33

分类号：TP3;TN9

资助基金：核高基重大专项2009ZX01038-001、2009ZX01038-002;国家863计划2007AA01Z129、2007AA010304;中央高校基本科研业务费专项资金和浙江省科技厅重大专项2008C01036-3

在线出版日期：2011-06-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：250-255