Real-Time Systems: Scheduling, Analysis, and Verification

Copyright © 2002 John Wiley & Sons, Inc.

Real-Time Systems: Scheduling, Analysis, and Verification

Author(s): Albert M. K. Cheng

Published Online: 13 MAR 2003

Print ISBN: 9780471184065

Online ISBN: 9780471224624

DOI: 10.1002/0471224626

About this Book

Product Information

About The Product

The first book to provide a comprehensive overview of the subject rather than a collection of papers.

  • The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences.
  • A handy reference for practitioners in the field.

Table of contents

    1. You have free access to this content
      Frontmatter (pages i–xxiv)

    2. Chapter 1

      Introduction (pages 1–9)

    3. Chapter 2

      Analysis and Verification of Non-Real-Time Systems (pages 10–40)

    4. Chapter 3

      Real-Time Scheduling and Schedulability Analysis (pages 41–85)

    5. Chapter 4

      Model Checking of Finite-State Systems (pages 86–133)

    6. Chapter 5

      Visual Formalism, Statecharts, and Statemate (pages 134–147)

    7. Chapter 6

      Real-Time Logic, Graph-Theoretic Analysis, and Modechart (pages 148–186)

    8. Chapter 7

      Verification Using Timed Automata (pages 187–211)

    9. Chapter 8

      Timed Petri Nets (pages 212–236)

    10. Chapter 9

      Process Algebra (pages 237–258)

    11. Chapter 10

      Design and Analysis of Propositional-Logic Rule-Based Systems (pages 259–366)

    12. Chapter 11

      Timing Analysis of Predicate-Logic Rule-Based Systems (pages 367–435)

    13. Chapter 12

      Optimization of Rule-Based Systems (pages 436–465)

    14. You have free access to this content
      Bibliography (pages 467–503)

    15. You have free access to this content
      Index (pages 505–524)

SEARCH