Distributed real-time systems : monitoring, visualization, debugging, and analysis

著者

• Tsai, Jeffrey J.-P

書誌事項

Distributed real-time systems : monitoring, visualization, debugging, and analysis

Jeffrey J.P. Tsai ... [et al.]

John Wiley & Sons, c1996

注記

"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」 より

• NII書誌ID(NCID): BA29507416
• ISBN:
  • 0471160075
• LCCN: 96015274
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: xviii, 317 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.D5
  • DC20 : 005.2
• 件名:
  • LCSH : Electronic data processing -- Distributed processing
  • LCSH : Real-time data processing