Browsing Theses by Subject "Embedded Systems"
Now showing items 1-3 of 3
-
Predictable Shared Memory Resources for Multi-Core Real-Time Systems
(University of Waterloo, 2017-04-18)A major challenge in multi-core real-time systems is the interference problem on the shared hardware components amongst cores. Examples of these shared components include buses, on-chip caches, and off-chip dynamic random ... -
Securing Vehicular Networks: A Rules-Based CAN Intrusion Detection System Using IoT Edge Architecture
(University of Waterloo, 2024-01-17)The increasing interconnectivity of modern safety-critical embedded systems has led to an ever-increasing attack surface. The automotive and maritime industries are but two industries that use safety-critical embedded ... -
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 ...