Research and application based on OSEK/VDX OS | IEEE Conference Publication | IEEE Xplore