Distributed real-time systems : monitoring, visualization, debugging, and analysis
著者
書誌事項
Distributed real-time systems : monitoring, visualization, debugging, and analysis
John Wiley & Sons, c1996
大学図書館所蔵 件 / 全16件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"A Wiley-Interscience publication."
Includes bibliographical references (p. 279-314) and index
内容説明・目次
内容説明
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.
目次
- BASIC CONCEPTS.
- Distributed Real--Time Systems.
- Monitoring Systems.
- Software Monitoring Systems.
- Hardware Monitoring.
- Hybrid Monitoring.
- Debugging Distributed Real--Time Systems.
- Specification Techniques.
- THEORY AND PRACTICE.
- A Noninterference Monitoring Approach.
- A Graph-- Based Timing Analysis.
- Visualization and Debugging.
- A Petri Nets Based Timing Analysis.
- Bibliography.
- Index.
「Nielsen BookData」 より
