Modelování systémů s reálným časem a pravděpodobností – Mgr. Eva Tesařová
Mgr. Eva Tesařová
Bachelor's thesis
Modelování systémů s reálným časem a pravděpodobností
Modeling systems with real-time and probability aspects
Abstract:
Práce se zaměřuje na formalismy, které umožňují zachytit kombinaci pravděpodobnostních, nedeterministických a časových vlastností systémů. U každého formalismu jsou stručně popsány způsoby specifikace požadavků a techniky používané pro ověřování modelu. Dále je navrženo rozšíření pravděpodobnostních časových automatů, které je porovnáno s nerozšířenou verzí, a je nastíněn způsob, jakým by mohla probíhat …moreAbstract:
The work focuses on formalisms that allow capturing a combination of probabilistic, nondeterministic and timed properties of systems. For each formalism there are briefly described the ways of specification of requirements and techniques used for model checking. Also the extension of probabilistic timed automata is proposed, which is compared with the unextended version and further there is outlined …more
Language used: Czech
Date on which the thesis was submitted / produced: 19. 5. 2014
Identifier:
https://is.muni.cz/th/n3xt4/
Thesis defence
- Date of defence: 20. 6. 2014
- Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
- Reader: prof. RNDr. Ivana Černá, CSc.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Problém splnitelnosti pro pravděpodobnostní temporální logiky
Miroslav Chodil -
Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů
Jana Tůmová -
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
Vojtěch Forejt -
Formal Analysis of Stochastic Discrete Event Systems
Jan Krčál -
Syntéza parametrů pro sigmoidální kinetické modely
Aleš Pejznoch -
Vliv specifikačních automatů na ověřování modelu
Vojtěch Rujbr -
Verifikační manažer pro explicitní ověřování modelu
Václav Rosecký -
Ověřování PEG modelu v různých typech rybníků.
Ester STAŘÍKOVÁ