Thesis icon

Thesis

Topics in monitoring and planning for embedded real-time systems

Abstract:

The verification of real-time systems has gained much interest in the formal verification community during the past two decades. In this thesis, we investigate two real-time verification problems that benefit from the techniques normally used in untimed verification.

The first part of this thesis is concerned with the monitoring of real-time specifications. We study the expressiveness of metric temporal logics over timed words, a problem that dates back to early 1990s. We show that ...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Automated Verification
Oxford college:
St Anne's College
Role:
Author

Contributors

Role:
Supervisor
Publication date:
2015
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
Language:
English
Keywords:
Subjects:
UUID:
uuid:f507756d-8bdc-4b1f-8bbf-214c9997f9c5
Local pid:
ora:11666
Deposit date:
2015-06-15

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP