safety-critical

file

Visible to the public Bringing the Multicore Revolution to Safety-Critical Cyber-Physical Systems

Abstract:

Shared hardware resources like caches and memory introduce timing unpredictability for real-time systems. Worst-case execution time (WCET) analysis with shared hardware resources is often so pessimistic that the extra processing capacity of multicore systems is negated. We propose techniques to improve performance and schedulability for multicore systems.

file

Visible to the public Detecting and Recovering from Faults in Programmed Molecular Systems

Abstract:

For reliable operation of programmed molecular systems, the capability to detect faults when they occur and to initiate recovery is essential. Since a faulty system cannot be depended upon to report its own failure, a monitoring device is needed. The work presented here describes the design of one such fault protection device, called a molecular watchdog timer.