Debugging for timing-constraint violations

Abstract

Analysts debug real-time distributed systems by viewing timing behavior in the context of four possible faults. Animations and graphs of execution history make it easy to see process interactions. By applying a method to determine which fault caused the violation, analysts can go beyond timing analysis to efficiently correct the program.