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

Keywords

Verification Testing Model Checking Monitoring Linear Temporal Logic Metric Interval Temporal Logic Formula Rewriting Partial Observability Measurement Inaccuracies
 
Language used: Czech
Date on which the thesis was submitted / produced: 19. 5. 2006
Identifier: https://is.muni.cz/th/leqje/

Thesis defence

  • Date of defence: 26. 6. 2006
  • Supervisor: prof. RNDr. Luboš Brim, 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