ENGLISH

Real-time systems: specification, verification, and analysis

By Mathai Joseph

Book information

Publisher
Prentice Hall
Year
1996
ISBN
9780134552972, 0134552970
LCC
QA76.54 .R4298 1996
Open Library ID
OL806147M
Language
english
Format
PDF
Filesize
2 MB (1887782 bytes)
Series
Prentice Hall International series in computer science
Edition
1st
Pages
290\290
Time added
2010-02-18 13:16:04

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.

Similar books