From the 1 of 3 linked papers with an AI index.
3 papers
Deductive Verification for Earliest Deadline First Scheduler Implementations
Daniel Kuhse, Junjie Shi, Jan Duy Thien Pham +4
The paper formalizes correctness criteria for Earliest Deadline First (EDF) schedulers and presents a deductive verification framework, demonstrated on EDF implementations in RTEMS…
CHRONOS: Compensating Hardware Related Overheads with Native Multi Timer Support for Real-Time Operating Systems
Kay Heider, Christian Hakert, Kuan-Hsun Chen +1
The management of timing constraints in a real-time operating system (RTOS) is usually realized through a global tick counter. This counter acts as the foundational time unit for a…
WCDT: Systematic WCET Optimization for Decision Tree Implementations
Nils Hölscher, Christian Hakert, Georg von der Brüggen +3
Machine-learning models are increasingly deployed on resource-constrained embedded systems with strict timing constraints. In such scenarios, the worst-case execution time (WCET) o…