Zpět na vyhledávání

Bc. Jiří Šimša

Master's thesis

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 …viac
 

Kľúčové slová

Verification Testing Model Checking Monitoring Linear Temporal Logic Metric Interval Temporal Logic Formula Rewriting Partial Observability Measurement Inaccuracies
 
Jazyk práce: Czech
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
  • Vedúci: 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

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Informatics

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

Seznam prací, které mají shodná klíčová slova.