Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems

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.