Cover Image

Real-time systems : scheduling, analysis, and verification /

Show other versions (2)

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 practit...

Full description

Bibliographic Details
Main Author: Cheng, Albert M. K.
Format: eBook
Language:English
Language Notes:English.
Published: Hoboken, NJ : Wiley-Interscience, 2002.
Subjects:
Real-time data processing.
Computer systems.
Computer Systems
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • REAL-TIME SYSTEMS CONTENTS PREFACE LIST OF FIGURES 1 INTRODUCTION 2 ANALYSIS AND VERIFICATION OF NON-REAL-TIME SYSTEMS 3 REAL-TIME SCHEDULING AND SCHEDULABILITY ANALYSIS.
  • 4 MODEL CHECKING OF FINITE-STATE SYSTEMS 5 VISUAL FORMALISM, STATECHARTS, AND STATEMATE 6 REAL-TIME LOGIC, GRAPH-THEORETIC ANALYSIS, AND MODECHART 7 VERIFICATION USING TIMED AUTOMATA 8 TIMED PETRI NETS.