Original title:
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
Translated title:
Model of Tasks with Constrains and Mechanisms of Their Scheduling in UPPAAL SMC
Authors:
Palúch, Filip ; Podivínský, Jakub (referee) ; Strnadel, Josef (advisor) Document type: Bachelor's theses
Year:
2016
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL, na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.
The effort of this thesis is the review of mechanisms of tasks planning in singlecore environment. Each models are designed and implemented in tool UPPAAL using these mechanisms. The main focus in this thesis is the tool UPPAAL. Result of this thesis is verification of each mechanisms properties received from implementation of models in UPPAAL. TimesTool and Cheddar are the tools which are used for comparing our results from UPPAAL.
Keywords:
Analysis; Model; Planning; Statistical model checking; Task; Timed Automaton; UPPAAL; Verification; Analýza; Model; Plánovanie; UPPAAL; Verifikácia; Úloha; Časovaný automat; Štatistické overovanie modelov
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/61982