Název: Analýza plánovatelnosti úloh reálného času s ohledem na nejistotu
Překlad názvu: Schedulability Analysis of Real-Time Tasks under Uncertainty
Autoři: Rosecký, Richard ; Bidlo, Michal (oponent) ; Strnadel, Josef (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2023
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]
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.
Klíčová slova: analýza plánovatelnosti; Cheddar; modelování systému; plánovatelnost úloh RT systémů; RT systém; UPPAAL; úlohy reálného času; Cheddar; real time tasks; RT system; schedulability analysis; schedulability of RT system tasks; system modelling; UPPAAL

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/212690

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-530919


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce