Real-time Systems Specificatio

                        RTSbookReal-time  Systems  Specification,  Verification  and  AnalysisEdited  by  Mathai  JosephTata  Research  Development  &  Design  CentreRevised  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).ContentsPreface  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……