Real-Time Systems: Scheduling, Analysis, And Verification at Meripustak

Real-Time Systems: Scheduling, Analysis, And Verification

Books from same Author: Albert M.K. Cheng

Books from same Publisher: WILEY INDIA

Related Category: Author List / Publisher List

  • Price: ₹ 729.00/- [ 10.00% off ]

    Seller Price: ₹ 656.00

Sold By: Store4Doctors      Click for Bulk Order

Offer 1: Get 10.00 % + Flat ₹ 75 discount on shopping of ₹ 500 [Use Code: MPSTK75]

Offer 2: Get 10.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 10.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available

Click for International Orders
  • Provide Fastest Delivery

  • 100% Original Guaranteed
  • General Information  
    Author(s)Albert M.K. Cheng
    PublisherWILEY INDIA
    Publish YearJanuary 2010


    WILEY INDIA Real-Time Systems: Scheduling, Analysis, And Verification by Albert M.K. Cheng

    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. TABLE OF CONTENTS Preface. List of Figures · Introduction. · Analysis and Verification of Non-Real-Time Systems. · Real-Time Scheduling and Schedulability Analysis. · Model Checking of Finite-State Systems. · Visual Formalism, Statecharts, and Statemate. · Real-Time Logic, Graph-Theoretic Analysis, and Modechart. · Verification Using Timed Automata. · Timed Petri Nets. · Process Algebra. · Design and Analysis of Propositional-Logic Rule-Based Systems. · Timing Analysis of Predicate-Logic Rule-Based Systems. · Optimization of Rule-Based Systems. Bibliography. Index.