Analýza plánovatelnosti úloh reálného času s ohledem na nejistotu

Abstract

Cílem této práce je navrhnout a vytvořit model systému reálného času a několika sad úloh pro tento systém, analyzovat a verifikovat vytvořený model a sady, obeznámit s problematikou systémů reálného času a plánovatelnosti úloh v těchto systémech. Pro vytvoření modelu bude použit nástroj UPPAAL a model systému bude obsahovat abstrakci úlohy, plánovače a řadících algoritmů. Ve vytvořeném modelu bude možné simulovat a verifikovat sady periodických, sporadických a aperiodických úloh v kombinaci s různými řadícími algoritmy jako FIFO, DMA, RMA, EDF nebo Round Robin.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.