2 papers
cs.OS2026
Deductive Verification for Earliest Deadline First Scheduler Implementations
Daniel Kuhse, Junjie Shi, Jan Duy Thien Pham +4
Real-Time Operating Systems (RTOSes) rely on scheduler implementations to provide predictable task execution. For safety-critical systems, it is therefore not sufficient to reason…
cs.OS2021
Supporting Multiprocessor Resource Synchronization Protocols in RTEMS
Junjie Shi, Jan Duy Thien Pham, Malte Münch +3
When considering recurrent tasks in real-time systems, concurrent accesses to shared resources, can cause race conditions or data corruptions. Such a problem has been extensively s…