资料介绍
RTSbookReal-time Systems Specification, Verification and Analysis
Edited by Mathai Joseph
Tata Research Development & Design Centre
Revised version with corrections June 2001
Original edition published in 1996 by Prentice Hall International, London, under ISBN 0-13-455297-0 This version incorporates corrections to and changes from the original edition.
This version is made available for research, teaching and personal use only. Copies may be made for noncommercial use only. Enquiries for other uses to the Editor (mathai@pune.tcs.co.in).
Contents
Preface Contributors 1 Time and Real-time Mathai Joseph Introduction 1.1 Real-time computing 1.2 Requirements, specication and implementation 1.3 The mine pump 1.4 How to read the book 1.5 Historical background 1.6 Exercises 2 Fixed Priority Schedu