Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems.

Embedded systems are becoming ubiquitous companions in all our lives. This article reviews the terminology and modern understanding of complex anomalies and state-of-the-art debugging. It details sophisticated omniscient debugging and runtime verification and describes a novel technique to combine t...

Full description

Bibliographic Details
Published in:Computer (00189162) Vol. 54; no. 1; pp. 49 - 61
Main Authors: Weiss, Alexander, Gautham, Smitha, Jayakumar, Athira Varma, Elks, Carl R., Kuhn, D. Richard, Kacker, Raghu N., Preusser, Thomas B.
Format: Article
Published: IEEE Jan2021
Subjects:
Online Access:View this record in EBSCOhost