Browsing Theses by Subject "Runtime Verification"
Now showing items 1-3 of 3
-
Monitoring and Enforcement of Safety Hyperproperties
(University of Waterloo, 2015-10-30)Certain important security policies such as information flow characterize system-wide behaviors and are not properties of individual executions. It is known that such security policies cannot be expressed in trace-based ... -
Runtime Verification with Controllable Time Predictability and Memory Utilization
(University of Waterloo, 2013-09-27)The goal of runtime verifi cation is to inspect the well-being of a system by employing a monitor during its execution. Such monitoring imposes cost in terms of resource utilization. Memory usage and predictability of ... -
Time-triggered Runtime Verification of Real-time Embedded Systems
(University of Waterloo, 2014-01-22)In safety-critical real-time embedded systems, correctness is of primary concern, as even small transient errors may lead to catastrophic consequences. Due to the limitations of well-established methods such as verification ...