An application-based EDF scheduler for OSEK/VDX | IEEE Conference Publication | IEEE Xplore