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...
| Publicado en: | Computer (00189162) Vol. 54; no. 1; pp. 49 - 61 |
|---|---|
| Autores principales: | , , , , , , |
| Formato: | Artículo |
| Publicado: |
IEEE
Jan2021
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=148208491&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 148208491 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Jan2021 vid: 54 iid: 1 pid: 13605 pub: IEEE artinfo: ui: 148208491 10.1109/MC.2020.3029975 ppf: 49 ppct: 12 formats: tig: atl: Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems. aug: au: Weiss, Alexander Gautham, Smitha Jayakumar, Athira Varma Elks, Carl R. Kuhn, D. Richard Kacker, Raghu N. Preusser, Thomas B. affil: Accemic Technologies, Dresden, Germany Electrical and Computer Engineering, Virginia Commonwealth University, Richmond, Virginia United States Electrical and Computer Engineering, Virginia Commonwealth University, Richond, Virginia United States Computer Security, National Institute of Standards & Technology, Gaithersburg, Maryland United States Applied and Computational Mathematics, National Institute of Standards and Technology, Gaithersburg, Maryland United States su: Debugging Cyber physical systems Comprehension sug: subj: Debugging Cyber physical systems Comprehension keyword: Cyber-physical systems Embedded systems Runtime Terminology ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2021 holdings: @attributes: islocal: N |
|---|