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

Simple item page
but.committeedoc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Lukáš Burget, Ph.D. (člen) prof. Ing. Jan M. Honzík, CSc. (člen) Ing. Vojtěch Mrázek, Ph.D. (člen) Ing. Radek Kočí, Ph.D. (člen)cs
but.defenceStudent nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm dostatečně / E.cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorStrnadel, Josefcs
dc.contributor.authorRosecký, Richardcs
dc.contributor.refereeBidlo, Michalcs
dc.date.accessioned2023-07-17T09:00:24Z
dc.date.available2023-07-17T09:00:24Z
dc.date.created2023cs
dc.description.abstractCí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.cs
dc.description.abstractThe 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.en
dc.description.markEcs
dc.identifier.citationROSECKÝ, R. Analýza plánovatelnosti úloh reálného času s ohledem na nejistotu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.cs
dc.identifier.other143938cs
dc.identifier.urihttp://hdl.handle.net/11012/212690
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectúlohy reálného časucs
dc.subjectplánovatelnost úloh RT systémůcs
dc.subjectUPPAALcs
dc.subjectCheddarcs
dc.subjectRT systémcs
dc.subjectanalýza plánovatelnostics
dc.subjectmodelování systémucs
dc.subjectreal time tasksen
dc.subjectschedulability of RT system tasksen
dc.subjectUPPAALen
dc.subjectCheddaren
dc.subjectRT systemen
dc.subjectschedulability analysisen
dc.subjectsystem modellingen
dc.titleAnalýza plánovatelnosti úloh reálného času s ohledem na nejistotucs
dc.title.alternativeSchedulability Analysis of Real-Time Tasks under Uncertaintyen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2023-06-13cs
dcterms.modified2023-06-13-14:52:36cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid143938en
sync.item.dbtypeZPen
sync.item.insts2023.07.17 11:00:24en
sync.item.modts2023.07.17 09:51:17en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
final-thesis.pdf
Size:
2.58 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
review_143938.html
Size:
14.09 KB
Format:
Hypertext Markup Language
Description:
review_143938.html
Download
Collections
2023