FRESCORFramework for Real-time Embedded Systems based on COntRacts

News

14/10/26

What Is a Real-Time Embedded System? Hard, Firm and Soft Deadlines Explained

A clear introduction to real-time embedded systems: what makes timing part of correctness, how hard, firm and soft…

05/10/26

Contract-Based Scheduling Explained: Making Embedded Software Composable

How scheduling contracts work: minimum budgets and periods, online negotiation and admission control, spare-capacity distribution and server-based enforcement,…

26/09/26

Rate Monotonic vs Earliest Deadline First: A Practical Comparison

A practical comparison of Rate Monotonic and EDF scheduling covering the Liu and Layland bound, EDF optimality, exact…

All articles →

Free tool

Is your task set schedulable? Test RM, DM and EDF with response-time analysis and a live Gantt chart.

Open calculator

priority inheritance

Scheduling Theory 11 min read

Priority Inversion, Priority Inheritance and the Priority Ceiling Protocol

Why priority inversion happens, what went wrong on Mars Pathfinder, and how priority inheritance, the priority ceiling protocol, immediate ceiling and Baker's SRP bound…