文件名称：Real-time Systems Specification, Verification and Analysis
文件大小：2.94MB
文件格式：PDF
更新时间：2010-08-29 10:30:48
Real-time Specification
Real-time Systems Specification, Verification and
Analysis
Edited by Mathai Joseph
This book provides a detailed account of three major aspects of real-time systems:
programstructures for real-time, timing analysis using scheduling theory and specification
and verification in different frameworks. Each chapter focuses on a particular technique:
taken together, they give a fairly comprehensive account of the formal study of
real-time systems and demonstrate the effectiveness and applicability of mathematically
based methods for real-time system design. The book should be of interest to computer
scientists, engineers and practical systemdesigners as it demonstrates also howthese new
methods can be used to solve real problems.