Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer (Long Beach, Calif.) Calif.), 2021-01, Vol.54 (1), p.49-60
Hauptverfasser: Weiss, Alexander, Gautham, Smitha, Jayakumar, Athira Varma, Elks, Carl R., Kuhn, D. Richard, Kacker, Raghu N., Preusser, Thomas B.
Format: Artikel
Sprache:eng
Schlagworte:
Anomalies
Cyber-physical systems
Debugging
Embedded systems
Runtime
Terminology
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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 the benefits of those processes.
ISSN:0018-9162
1558-0814
DOI:10.1109/MC.2020.3029975