ISBN 9788126527854,Real-Time Systems: Scheduling, Analysis, And Verification

Real-Time Systems: Scheduling, Analysis, And Verification



Wiley India Pvt Ltd

Publication Year 2010

ISBN 9788126527854

ISBN-10 8126527854


Number of Pages 552 Pages
Language (English)

Computer Engineering

This Book Provides The Most Detailed Coverage Available Of A Key Aspect Of Real-Time Systems, Namely The Verification And Validation Process. Performance Validation Results In Specifications Which A Commercial Manufacturer Can Guarantee To A User, And In The Case Of Real Time Systems, This Information Is Crucial. The Book Is Intended For Professionals And Students In The Subject, And Will Take An Overview Of Several Approaches To The Problem, Then Describe In Detail The Advantages And Disadvantages To Each Approach. This Book Should Be A Handy Reference For Practitioners In The Field Also, As This Type Of Discussion Exists Nowhere Else In The Current Literature. Albert Cheng Is Known As An Authority In This Field, As Evidenced By His Extremely Active Involvement In The Ieee And Acm. He Also Has A Reputation As A Good Teacher, Both At The University Of Houston And In The Tutorial Presentations On This Subject, Which He Has Given Numerous Times For The Ieee Computer Society.