Debugging for timing-constraint violations
Jeffrey J. P. Tsai, Yaodong Bi, Stephen J.H. Yang · IEEE Software · 1996
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.