Inhaltsangabe
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 700f 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 wor
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
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
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.
Von der hinteren Coverseite
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.