Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification.

Matthias Kauer, Sebastian Steinhorst, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty

Browse the full ASPDAC paper archive.