National Repository of Grey Literature 1 records found  Search took 0.00 seconds. 
Schedulability Analysis of Real-Time Tasks under Uncertainty
Rosecký, Richard ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
The goal of this thesis is to design and create a model of a real time system and several task sets for this system, to analyse and verify the created model and sets and to apprise the concept of real time systems and the schedulability of tasks in these systems. The tool UPPAAL will be used to create the model and it will include an abstraction of a task, scheduler and scheduling algorithms. It will be possible to simulate and verify sets of periodic, sporadic, and aperiodic tasks in combination with various scheduling algorithms such as FIFO, DMA, RMA, EDF or Round Robin.

See also: similar author names
1 Rosecký, Radek