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

Mgr. Eva Tesařová

Bakalářská práce

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 verifikace.

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 the way in which verification could take place.

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

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.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika