National Repository of Grey Literature 1 records found  Search took 0.00 seconds. 
Schedulability Analysis of Real-Time Tasks under Uncertainty
Čus, Samuel ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
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.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.