A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata.

Youcheng Sun, Giuseppe Lipari

Browse the full RTNS paper archive.