deductive verification 1earliest deadline first 1formal verification 1frama-c 1real-time scheduling 1rtos 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.OS2026
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…
cs.SE2026
Schedulable Job-Level Dependencies for Cause-Effect Chains via Graph Neural Networks
Silviu S. Craciunas, Christian Hakert, Jian-Jia Chen +2
Modern automotive software architectures comprise large sets of mixed-criticality functions executing on shared multi-core platforms with strict real-time and end-to-end timing req…