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–Blackwell, 1996

Synopsis

Distributed Real Time Systems (DRTSs) are used in a diverse range of applications, including command and control systems, flight control systems, space shuttle landing control systems, patient monitoring systems, robotics, and more. This book reviews various systematic approaches to the testing and debugging of DRTSs tasks that typically absorb more than half of a new system′s development costs. It covers both theoretical and practical issues and reviews many relevant professional papers and current research work.

About this title

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.

From the Back Cover

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.

Edition details

• Publisher: Wiley–Blackwell
• Publication date: 1996
• ISBN 10: 0471160075
• ISBN 13: 9780471160076
• Binding: Hardcover
• Language: English
• Number of pages: 336