Browsing Engineering (Faculty of) by Subject "Runtime Verification"
Now showing items 1-2 of 2
-
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 ...