A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems

This paper presents a framework, called meta scheduler, for implementing real-time scheduling algorithms. The meta scheduler is a portable middleware layer component designed for implementations ov...