An Operating System Micro Kernel Design Based on OSEK Standard

This paper proposes a micro kernel based on OSEK standard. The kernel takes two different scheduling strategies for real-time process and general process, which can meet the real-time requirements, but also consider the system throughput. Compared with the direct use of commercial operating system or foreground and background system, it has the advantages of high efficiency, small space occupation. The experimental results based on STM32 processor platform show the kernel takes only 924 Bytes ROM and it requires only 3.4 μs for a task switching, driven by 72 MHz system clock.