Analýza plánovatelnosti úloh reálného času s ohledem na nejistotu
| but.committee | doc. RNDr. Milan Češka, Ph.D. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (člen) Ing. Vladimír Bartík, Ph.D. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) doc. Ing. Michal Španěl, Ph.D. (člen) | cs |
| but.defence | Student 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 a na další otázky přítomných, např. ohledně dopadu režie přepínání kontextu na vyhodnocení výpočetních modelů, stručnosti teoretického úvodu práce či konfigurace prostředí UPPAAL. 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 C - dobře. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Strnadel, Josef | cs |
| dc.contributor.author | Čus, Samuel | cs |
| dc.contributor.referee | Šimek, Václav | cs |
| dc.date.created | 2024 | cs |
| dc.description.abstract | Cílem této bakalářské práce je seznámení se se systémy pracujícími v reálném čase, nejistotami a plánovacími mechanismy, souvisejícími s těmito systémy, statistickým ověřováním modelů, dále je to návrh a implementace přístupu k analýze plánovatelnosti s ohledem na nejistoty, vytvoření vhodných sad úloh reálného času a ověření jejich plánovatelnosti. Zaměřil jsem se na nejistoty způsobené přerušením systému a nedeterministickými parametry úloh. Zadaný problém jsem řešil vytvořením sad úloh, zavedením nejistot do systému a analýzou plánovatelnosti úloh. Modelování systému a jeho analýza bylo provedeno v nástroji UPPAAL SMC pro porovnaní také v nástroji Cheddar u vybraných sad úloh. | cs |
| dc.description.abstract | The goal of this bachelor’s thesis is to familiarize with real-time systems, uncertainties and scheduling mechanisms related to these systems, statistical model checking, as well as the design and implementation of an approach to schedulability analysis under uncertainties, creating suitable sets of real-time tasks, and verifying their schedulability using the approach. I have mainly incorporated uncertainties caused by system interruptions and undeterministic task parameters. To address the given problem, I created a set of tasks, incorporated uncertainties into the system, and analyzed the schedulability of the tasks. The system modeling and analysis were conducted using the UPPAAL SMC tool, and, for comparison, also using the Cheddar tool with selected sets of tasks. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | ČUS, S. 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í. 2024. | cs |
| dc.identifier.other | 150944 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/247807 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | reálný čas | cs |
| dc.subject | systémy reálného času | cs |
| dc.subject | nejistoty | cs |
| dc.subject | úlohy reálného času | cs |
| dc.subject | analýza plánovatelnosti | cs |
| dc.subject | UPPAAL | cs |
| dc.subject | statické ověřování modelů | cs |
| dc.subject | ověřování modelů | cs |
| dc.subject | plánovací mechanismy | cs |
| dc.subject | časované automaty | cs |
| dc.subject | modální logika | cs |
| dc.subject | verifikace systémů | cs |
| dc.subject | real-time | en |
| dc.subject | real-time systems | en |
| dc.subject | uncertainties | en |
| dc.subject | real-time tasks | en |
| dc.subject | schedulability analysis | en |
| dc.subject | UPPAAL | en |
| dc.subject | statistical model checking | en |
| dc.subject | model checking | en |
| dc.subject | scheduling mechanisms | en |
| dc.subject | timed automatons | en |
| dc.subject | modal logic | en |
| dc.subject | system verification | en |
| dc.title | Analýza plánovatelnosti úloh reálného času s ohledem na nejistotu | cs |
| dc.title.alternative | Schedulability Analysis of Real-Time Tasks under Uncertainty | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2024-06-13 | cs |
| dcterms.modified | 2024-06-17-08:46:04 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 150944 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 21:01:40 | en |
| sync.item.modts | 2025.01.15 12:30:41 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |