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 …more
Abstract:
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
 

Keywords

Markovovy modely časový automat pravděpodobnostní časový automat časové a pravděpodobnostní temporální logiky ověřování modelu
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution