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

Descripción completa

Detalles Bibliográficos
Publicado en:Computer (00189162) Vol. 54; no. 1; pp. 49 - 61
Autores principales: Weiss, Alexander, Gautham, Smitha, Jayakumar, Athira Varma, Elks, Carl R., Kuhn, D. Richard, Kacker, Raghu N., Preusser, Thomas B.
Formato: Artículo
Publicado: IEEE Jan2021
Materias:
Acceso en línea:Ver este registro en EBSCOhost