Reset-based recovery for real-time cyber-physical systems with temporal safety constraints
In traditional computing systems, software problems are often resolved by platform restarts.
This approach, however, cannot be naïvely used in cyber-physical systems (CPS). In fact, in …
This approach, however, cannot be naïvely used in cyber-physical systems (CPS). In fact, in …
Protocol transformation for transiently powered wireless sensor networks
Transiently powered wireless sensor networks (TPWSNs) introduce intermittent computing
problems that are not faced by traditional wireless sensor networks (WSNs). Nodes in a …
problems that are not faced by traditional wireless sensor networks (WSNs). Nodes in a …
Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions
We focus on the problem of adding fault-tolerance to an existing concurrent protocol in the
presence of unchangeable environment actions. Such unchangeable actions occur in cases …
presence of unchangeable environment actions. Such unchangeable actions occur in cases …