Distributed Real-Time Systems covers both the theoretical and practical issues involved in monitoring, visualization, and analysis methodology for verifying and debugging DRTSs. It describes in detail how to overcome timing verification difficulties and improve system performance and reliability. Complete with many carefully worked-out examples, as well as dozens of illustrations, this timely and accessible work

Explains real-world debugging approaches?proposed or tested?using static analysis or dynamic analysis with or without monitoring

• Features step-by-step instructions for design implementation in hardware and software, detecting timing errors and their causes, graphical debugging methods, and more
• Covers numerous analytical techniques, including timed Petri nets, temporal logic, timed state transition systems, timed process algebra, and synchronous programming languages
• Makes distributed systems analysis accessible through examples such as a distributed telephone switching system and a fault-tolerant distributed system
• Reviews many relevant professional papers and current research work