Thesis icon

Thesis

Quantitative verification of real-time properties with application to medical devices

Abstract:

Probabilistic model checking is a powerful technique used to ensure the correct functioning of systems which exhibit real-time and stochastic behaviours. Many such systems are embedded and used in safety-critical situations, to mention implantable medical devices. This thesis aims to develop a formal model-based framework that is tailored for the analysis and verification of cardiac pacemakers. The contributions are novel approaches for the automatic verification and validation of real-tim...

Expand abstract

Actions


Authors


More by this author
Institution:
University of Oxford
Research group:
Automated Verification
Oxford college:
Trinity College
Department:
Mathematical,Physical & Life Sciences Division - Computer Science,Department of

Contributors

More from this funder
Funding agency for:
MD Marco Diciolla
Publication date:
2014
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
URN:
uuid:fee320e8-9d4f-4831-a999-f5a1febade36
Local pid:
ora:8833

Terms of use


Metrics



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

TO TOP