English

Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems

Software Engineering 2021-02-09 v1
Authors: Alexander Weiss , Smitha Gautham , Athira Varma Jayakumar , Carl Elks , D. Richard Kuhn , Raghu N. Kacker , Thomas B. Preusser
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems, craves for more powerful tools, which are now becoming available to engineers.

Keywords

flaky test detection bug localization formal verification

Cite

@article{arxiv.2102.03420,
  title  = {Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems},
  author = {Alexander Weiss and Smitha Gautham and Athira Varma Jayakumar and Carl Elks and D. Richard Kuhn and Raghu N. Kacker and Thomas B. Preusser},
  journal= {arXiv preprint arXiv:2102.03420},
  year   = {2021}
}

Related papers

View all related →
Systems and Control · Electrical Eng. & Systems
Dependability in Embedded Systems: A Survey of Fault Tolerance Methods and Software-Based Mitigation Techniques
Mohammadreza Amel Solouki, Shaahin Angizi, Massimo Violante
2024-04-17
Logic in Computer Science · Computer Science
Automated Verification and Synthesis of Embedded Systems using Machine Learning
Lucas Cordeiro
2017-03-01
Cryptography and Security · Computer Science
Fault Attacks on Secure Embedded Software: Threats, Design and Evaluation
Bilgiday Yuce, Patrick Schaumont, Marc Witteman
2020-03-25
Software Engineering · Computer Science
Automatic Failure Explanation in CPS Models
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis +1
2020-10-14
Software Engineering · Computer Science
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann +7
2020-06-23
Software Engineering · Computer Science
Program Spectra Analysis in Embedded Software: A Case Study
Rui Abreu, Peter Zoeteweij, Arjan JC van Gemund
2007-05-23
Software Engineering · Computer Science
Semantic Support for Log Analysis of Safety-Critical Embedded Systems
Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque, Massimo Ficco
2014-05-14
Hardware Architecture · Computer Science
New categories of Safe Faults in a processor-based Embedded System
C. C. Gursoy, M. Jenihhin, A. S. Oyeniran, D. Piumatti +3
2020-09-25
Software Engineering · Computer Science
A Survey on Formal Verification Approaches for Dependable Systems
Fayhaa Hameedi Khlaif, Shawkat Sabah Khairullah
2022-04-28
Software Engineering · Computer Science
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva
2009-11-20
Software Engineering · Computer Science
An Exploratory Study of Field Failures
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezz`e
2017-09-01
Quantum Physics · Physics
On the need for effective tools for debugging quantum programs
Olivia Di Matteo
2024-02-16
Software Engineering · Computer Science
Fault Localization Models in Debugging
Safeeullah Soomro, Mohammad Riyaz Belgaum, Zainab Alansari, Mahdi H. Miraz
2018-03-13
Systems and Control · Computer Science
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2018-07-30
Hardware Architecture · Computer Science
A Micro Architectural Events Aware Real-Time Embedded System Fault Injector
Enrico Magliano, Alessio Carpegna, Alessadro Savino, Stefano Di Carlo
2024-12-23
Quantum Physics · Physics
A Framework for Debugging Quantum Programs
Damian Rovara, Lukas Burgholzer, Robert Wille
2024-12-18
Computational Engineering, Finance, and Science · Computer Science
I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations
Ester Comellas, Jean-Paul Pelteret, Wolfgang Bangerth
2022-11-04
Systems and Control · Computer Science
Detection of Cyber-Physical Faults and Intrusions from Physical Correlations
Andrey Y. Lokhov, Nathan Lemons, Thomas C. McAndrew, Aric Hagberg +1
2016-07-04
Software Engineering · Computer Science
Automated System-Level Software Testing of Industrial Networked Embedded Systems
Per Erik Strandberg
2021-11-17
Other Computer Science · Computer Science
A Survey: Embedded Systems Supporting By Different Operating Systems
Qamar Jabeen, Fazlullah Khan, Muhammad Nouman Hayat, Haroon Khan +2
2016-10-26
Software Engineering · Computer Science
Field Testing of Software Applications
Luca Gazzola
2017-05-23
Software Engineering · Computer Science
Robotics and Integrated Formal Methods: Necessity meets Opportunity
Marie Farrell, Matt Luckcuck, Michael Fisher
2018-09-05
Cryptography and Security · Computer Science
Detecting Fault Injection Attacks with Runtime Verification
Ali Kassem, Yliès Falcone
2019-09-23
Distributed, Parallel, and Cluster Computing · Computer Science
Towards formally analyzed Cyber-Physical Systems
Richárd Szabó, András Vörös
2021-08-31
Cryptography and Security · Computer Science
SoK: A Beginner-Friendly Introduction to Fault Injection Attacks
Christopher Simon Liu, Fan Wang, Patrick Gould, Carter Yagemann
2025-09-24
R2 v1 2026-06-23T22:53:23.791Z