Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis - Hardcover

Tsai, Jeffrey J. P.; Bi, Yaodong; Yang, Steve J. H.; Smith, Ross A. W.

Hardcover

ISBN 10: 0471160075 ISBN 13: 9780471160076

Publisher: Wiley-Interscience, 1996

Synopsis

Distributed real-time systems (DRTSs) are used in a wide range of applications, including command and control systems, flight control systems, robotics, patient monitoring systems, and many others. This volume provides an overview of various systematic approaches to the testing and debugging of DRTSs—tasks that typically consume 50% to 70% of a new system's development costs.

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

The joint product of four leaders in the field, Distributed Real-Time Systems is an important text and reference for electrical and software engineers, graduate students, and anyone involved in computer and data processing technology.

About this title

From the Publisher

Used in such critical applications as flight control systems, space shuttle landing systems and patient monitoring systems, Distributed Real Time Systems (DRTS's) must operate continuously with near-impeccable reliability. This book is an overview of various systematic approaches--both theoretical and practical--to monitoring, visualizing, and debugging DRTS's to ensure that these systems are performing consistently at the maximum possible level. Includes detailed worked-out examples the reader can follow.

About the Author

JEFFREY J. P. TSAI is Associate Professor in the Department of Electrical Engineering and Computer Science at the University of Illinois.

YAODONG BI is Assistant Professor in the Department of Computing Sciences at the University of Scranton.

STEVE J. H. YANG is Associate Professor in the Department of Computer Science and Information Engineering at National Central University in Taiwan.

ROSS A. W. SMITH is a consultant with Configured Energy Systems and former assistant professor at the University of Illinois.

Edition details

• Publisher: Wiley-Interscience
• Publication date: 1996
• ISBN 10: 0471160075
• ISBN 13: 9780471160076
• Binding: Hardcover
• Language: English
• Edition number: 1
• Number of pages: 336