Real-Time Systems Scheduling, Analysis, and Verification [Hardcover]

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.

PREFACE.

LIST OF FIGURES.

1 INTRODUCTION.

1.1 What Is Time?

1.2 Simulation.

1.3 Testing.

1.4 Verification.

1.5 Run-Time Monitoring.

1.6 Useful Resources.

2 ANALYSIS AND VERIFICATION OF NON-REAL-TIME SYSTEMS.

2.1 Symbolic Logic.

2.2 Automata and Languages.

2.3 Historical Perspective and Related Work.

2.4 Summary.

Exercises.

3 REAL-TIME SCHEDULING AND SCHEDULABILITY ANALYSIS.

3.1 Determining Computation Time.

3.2 Uniprocessor Scheduling.

3.3 Multiprocessor Scheduling.

3.4 Available Scheduling Tools.

3.5 Available Real-Time Operating Systems.

3.6 Historical Perspective and Related Work.

3.7 Summary.

Exercises.

4 MODEL CHECKING OF FINITE-STATE SYSTEMS.

4.1 System Specification.

4.2 Clarke-Emerson-Sistla Model Checker.

4.3 Extensions to CTL.

4.4 Applications.

4.5 Complete CTL Model Checker in C.

4.6 Symbolic Model Checking.

4.7 Real-Time CTL.

4.8 Available Tools.

4.9 Historical Perspective and Related Work.