Zpět na vyhledávání

Bc. Jiří Šimša

Diplomová práce

Monitorování chování systémů

Monitoring of Systems Behaviour
Abstract:
Usage of monitoring for the purpose of verification has grown in importance in recent years. In this thesis, we survey monitoring of a system for the purpose of a formal verification of its behaviour. To this aim, we use temporal logics and observation sequences as formalisms for describing system specification and its actual behaviour. In particular, we present an unifying view on monitoring of Linear …více
 

Klíčová slova

Verification Testing Model Checking Monitoring Linear Temporal Logic Metric Interval Temporal Logic Formula Rewriting Partial Observability Measurement Inaccuracies
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 19. 5. 2006
Identifikátor: https://is.muni.cz/th/leqje/

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

  • Obhajoba proběhla 26. 6. 2006
  • Vedoucí: prof. RNDr. Luboš Brim, 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

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
Všechny práce