Thesis Details

Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC

Bachelor's Thesis Student: Palúch Filip Academic Year: 2015/2016 Supervisor: Strnadel Josef, Ing., Ph.D.
English title
Model of Tasks with Constrains and Mechanisms of Their Scheduling in UPPAAL SMC
Language
Czech
Abstract

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 mainfocus 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

Model, Task, Planning, UPPAAL, Timed Automaton, Analysis, Verification, Statistical model checking

Department
Degree Programme
Information Technology
Files
Status
defended, grade B
Date
16 June 2016
Reviewer
Committee
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT), předseda
Burget Lukáš, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Citation
PALÚCH, Filip. Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC. Brno, 2016. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2016-06-16. Supervised by Strnadel Josef. Available from: https://www.fit.vut.cz/study/thesis/18086/
BibTeX
@bachelorsthesis{FITBT18086,
    author = "Filip Pal\'{u}ch",
    type = "Bachelor's thesis",
    title = "Model \'{u}loh s omezen\'{i}mi a mechanism\r{u} jejich pl\'{a}nov\'{a}n\'{i} v UPPAAL SMC",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2016,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/18086/"
}
Back to top