|
|||||
|
|
| 基于OSEK OS的发动机管理系统时间自动机模型的研究 | |
| 引用本文： | 李红,赵庆玲,林曼,姚栋伟.基于OSEK OS的发动机管理系统时间自动机模型的研究[J].汽车工程,2011,33(3). |
| 作者姓名： | 李红 赵庆玲 林曼 姚栋伟 |
| 作者单位： | 1. 浙江大学计算机学院,杭州,310027 2. 加拿大圣弗朗西斯泽维尔大学,B2G2W5 3. 浙江大学动力机械及车辆工程研究所,杭州,310027 |
| 基金项目： | 核高基重大专项，国家863计划，中央高校基本科研业务费专项资金和浙江省科技厅重大专项 |
| 摘 要： | 针对OSEK操作系统的特点,提出了便于复用的时间自动机模型,通过不同参数的设置町灵活实现不同调度策略.对基于OSEK OS的发动机管理系统(EMS)进行抽象分析,以已建的OSEK OS的时间自动机模型作为模板,快速构建EMS的时间自动机模璎并进行模拟、分析和验证.整个过程表明,该方法具有较好的复用性和灵活性,能为车控系统软件的设计提供较好的时问参考数据,有助于提高车控系统软件的开发效率和质量. |
| 关 键 词： | 发动机管理系统 OSEK操作系统 时间自动机 |
A Study on the Timed Automata Model for EMS Based on OSEK OS |
|
| Li Hong,Zhao Qingling,Lin Man,Yao Dongwei.A Study on the Timed Automata Model for EMS Based on OSEK OS[J].Automotive Engineering,2011,33(3). | |
| Authors: | Li Hong Zhao Qingling Lin Man Yao Dongwei |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |