Analysis of the scheduler development techniques for the optimization of the OSEK OS | IEEE Conference Publication | IEEE Xplore