Real-time systems : by Albert M K Cheng, Scheduling, analysis and verification/

By: Cheng, Albert M K
Material type: TextTextPublisher: New Delhi : Pearson Education Private Limited, 2010cDescription: 524p. ill, graphs ; 24 cmISBN: 9788126527854 (pbk)Subject(s): Realtime Data processing | Computer ScienceDDC classification: 004.33
Contents:
Chapter 1: Introduction------------------------------------ Chapter 2: Analysis and Verification of Non-Real-Time Systems--------------------- Chapter 3: Real-Time Scheduling and Schedulability Analysis------------------------- Chapter 4: Model Checking for Finite state Systems----------------------------- Chapter 5: Visual Formalism, Statecharts and Statemate---------------------------- Chapter 6: Real-Time Logic, Graph Theoretic Analysis and Modechart--------------------------- Chapter 7: Verification Using Timed Automata------------------------- Chapter 8: Timed Petri Nets---------------------------------- Chapter 9: Process Algebra------------------------- Chapter 10: Design and Analysis of Propositional Logic Rule Based System-------------------------------------- Chapter 11: Timing Analysis of Predicate Logic Rule-Based Systems------------------------- Chapter 12: Optimization of Rule Based Systems------------------------------
Summary: Intended for senior/graduate-level courses in Real-Time Systems in Computer Science and Computer Engineering departments, this book covers the advances in real-time operating systems and
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science
004.33 CHE-R 2010 3307 (Browse shelf) Available 0003307
Books Books Namal Library
Computer Science
004.33 LIU-R 2012 433 (Browse shelf) Available 433
Books Books Namal Library
Computer Science
004.33 LIU-R 2012 2862 (Browse shelf) 2 Available 0002862
Total holds: 0

Include bibliography references and index

Chapter 1: Introduction------------------------------------
Chapter 2: Analysis and Verification of Non-Real-Time Systems---------------------
Chapter 3: Real-Time Scheduling and Schedulability Analysis-------------------------
Chapter 4: Model Checking for Finite state Systems-----------------------------
Chapter 5: Visual Formalism, Statecharts and Statemate----------------------------
Chapter 6: Real-Time Logic, Graph Theoretic Analysis and Modechart---------------------------
Chapter 7: Verification Using Timed Automata-------------------------
Chapter 8: Timed Petri Nets----------------------------------
Chapter 9: Process Algebra-------------------------
Chapter 10: Design and Analysis of Propositional Logic Rule Based System--------------------------------------
Chapter 11: Timing Analysis of Predicate Logic Rule-Based Systems-------------------------
Chapter 12: Optimization of Rule Based Systems------------------------------

Intended for senior/graduate-level courses in Real-Time Systems in Computer Science and Computer Engineering departments, this book covers the advances in real-time operating systems and

There are no comments for this item.

to post a comment.