Real-time systems : specification, verification, and analysis
Author(s)
Bibliographic Information
Real-time systems : specification, verification, and analysis
(Prentice-Hall International series in computer science)
Prentice Hall, 1996
- :pbk
Available at / 9 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
:pbkC||Real-597068070
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.
Table of Contents
- Fixed priority scheduling - simple programs
- fixed priority scheduling with communicating tasks
- dynamic priority scheduling
- specification and verification using an assertional method
- specification and verification in the duration calculus
- specification and verification in timed CSP
- real-time systems and fault-tolerance.
by "Nielsen BookData"