Mgr. Eva Tesařová

Bakalářská práce

Modelování systémů s reálným časem a pravděpodobností

Modeling systems with real-time and probability aspects
Anotace:
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 …více
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 …více
 

Klíčová slova

Markovovy modely časový automat pravděpodobnostní časový automat časové a pravděpodobnostní temporální logiky ověřování modelu
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 19. 5. 2014
Identifikátor: https://is.muni.cz/th/n3xt4/

Obhajoba závěrečné práce

  • Obhajoba proběhla 20. 6. 2014
  • Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
  • Oponent: prof. RNDr. Ivana Černá, CSc.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce