Bounding the Maximum Length of Non-preemptive Regions under Fixed Priority Scheduling.

Gang Yao, Giorgio C. Buttazzo, Marko Bertogna

Browse the full RTCSA paper archive.