摘要
针对OSEK操作系统的特点,提出了便于复用的时间自动机模型,通过不同参数的设置可灵活实现不同调度策略。对基于OSEK OS的发动机管理系统(EMS)进行抽象分析,以已建的OSEK OS的时间自动机模型作为模板,快速构建EMS的时间自动机模型并进行模拟、分析和验证。整个过程表明,该方法具有较好的复用性和灵活性,能为车控系统软件的设计提供较好的时间参考数据,有助于提高车控系统软件的开发效率和质量。
According to the characteristics of OSEK operating system,a reusable time automata model is proposed,in which different scheduling policies can be implemented with different parameter setting.An abstract analysis is conducted on OSEK OS-based engine management system（EMS） and with OSEK OS timed automata model built as template,a timed automata model for EMS is rapidly constructed,simulated,analyzed and verified.The whole process shows that the scheme has good reusability and flexibility,can provide better time reference data for the design of vehicle control software,and is conducive to improving the efficiency and quality of vehicle control software development.
出处
《汽车工程》
EI
CSCD
北大核心
2011年第3期250-255,共6页
Automotive Engineering
基金
核高基重大专项(2009ZX01038-001
2009ZX01038-002)
国家863计划(2007AA01Z129
2007AA010304)
中央高校基本科研业务费专项资金
浙江省科技厅重大专项(2008C01036-3)资助
