A Study on the Timed Automata Model for EMS Based on OSEK OS

Li Hong,Zhao Qingling,Lin Man,Yao Dongwei
DOI: https://doi.org/10.19562/j.chinasae.qcgc.2011.03.015
2011-01-01
Abstract: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.
What problem does this paper attempt to address?