💡 OSEK (Operating System Embedded Kernel) is a standard for real-time operating systems (RTOS) used in embedded systems. It is a specification developed by the OSEK/VDX (Open Systems and the corresponding Interfaces for Automotive Electronics/Vehicle Distributed eXecutive) consortium, which consists of several automotive manufacturers and suppliers.
those word created from this paper https://www.irisa.fr/alf/downloads/puaut/TPNXT/images/os223.pdf
this is very good rep for examples of osek https://github.com/SareaHariri/OSEK-OS-Course-I-Repo
- introduction
- Task
- resource management
- Mutex and semaphore
- deadlock and proirity inversions
- Event handling
- Description of system services
- Specification of operating system services