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

Youcheng Sun, Giuseppe Lipari. A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata. In Mathieu Jan, Belgacem Ben Hedia, Joël Goossens, Claire Maiza, editors, 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014. pages 35, ACM, 2014. [doi]

Abstract

Abstract is missing.