Real-time systems :
Cheng, Albert M K.
Real-time systems : Scheduling, analysis and verification/ by Albert M K Cheng, - New Delhi : Pearson Education Private Limited, 2010c. - 524p. ill, graphs ; 24 cm.
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
9788126527854 (pbk)
Realtime Data processing
Computer Science
004.33 / CHE-R 2010 3307
Real-time systems : Scheduling, analysis and verification/ by Albert M K Cheng, - New Delhi : Pearson Education Private Limited, 2010c. - 524p. ill, graphs ; 24 cm.
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
9788126527854 (pbk)
Realtime Data processing
Computer Science
004.33 / CHE-R 2010 3307