Debugging for Timing-Constraint Violations

Authors:
Jeffrey J. P. Tsai;Yao-Dong Bi;Steve Jennhwa Yang
Affiliations:
-;-;-
Venue:
IEEE Software
Year:
1996

Citing 1
Cited 3

A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging

IEEE Transactions on Software Engineering

Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems

IEEE Transactions on Knowledge and Data Engineering
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets

COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Performance Prediction And Verification Environment For Super-Integrated Data-Driven Processors; Rescue

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Analysts debug real-time distributed systems by viewing timing behavior in the context of four possible faults. Graphs and animations 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.