This paper presents an application program interface (API) that enables applications running on top of a POSIX operating system
to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems
Annex. Several application-defined schedulers, implemented as special user tasks, can coexist in the system in a predictable
way. This API is currently implemented on our operating system MaRTE OS.
Keywords Real-Time Systems - Kernel - Scheduling - Operating Systems - Ada 95 - POSIX