Real-Time Systems

ISBN 10: 0134552970 ISBN 13: 9780134552972

Publisher: Prentice Hall, 1995

Synopsis

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.

About this title

From the Back Cover

This exciting new book provides a detailed account of real-time systems: program structures for real- time, timing analysis using scheduling theory and specifiation and verification in different frameworks. The presentation makes extensive 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, taken together, the book as a whole provides broad as well as detailed coverage of the present state-of- the-art. Small examples help reinforce the theory presented in the book.

Edition details

• Publisher: Prentice Hall
• Publication date: 1995
• ISBN 10: 0134552970
• ISBN 13: 9780134552972
• Binding: Textbook Binding
• Language: English
• Edition number: 1
• Number of pages: 296
• Editor: Joseph Mathai