Performance analysis of real-time task systems using timed automata
Georgeta Igna · Radboud Repository (Radboud University) · 2013
Chapter 2. Case Study Description and Tool Comparison are modeled as a two-player timed game.Chapter 3 Dynamic Scheduling with Uppaal-tiga We apply Uppaal-tiga to automatically compute adaptive scheduling strategies for the case study presented in the previous chapter.