OSEK Implementation for Freescale HC12 microcontroller