<p><p>Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composabil
Constructing Predictable Real Time Systems
โ Scribed by Wolfgang A. Halang, Alexander D. Stoyenko (auth.)
- Publisher
- Springer US
- Year
- 1991
- Tongue
- English
- Leaves
- 334
- Series
- The Springer International Series in Engineering and Computer Science 146
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
` I ... therefore highly highly recommend this book for industrial and academic use. '
Media Reviews, February 1993
โฆ Table of Contents
Front Matter....Pages i-xxxi
Introduction....Pages 1-18
Real Time Features of High Level Languages....Pages 19-95
Language-Independent Schedulability Analysis of Real Time Programs....Pages 97-138
A Real Time Hardware Architecture....Pages 139-196
An Operating System Kernel and its Dedicated Processor....Pages 197-240
Implementation....Pages 241-257
Evaluation....Pages 259-275
Outlook....Pages 277-285
Back Matter....Pages 287-311
โฆ Subjects
Special Purpose and Application-Based Systems; Programming Languages, Compilers, Interpreters; Processor Architectures; Operating Systems
๐ SIMILAR VOLUMES
<p><p>Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composabil
Preface 1: Introduction 1.1 Basic terminology 1.2 From hard to soft real-time systems 1.3 Providing support for soft real-time systems 2: Overload Management 2.1 Introduction 2.2 Load definitions 2.3 Admission control methods 2.4 Performance degradation methods 2.5 Service adaptation 2.6 J
Distributed computer control is at the intersection between control engineering and computer science. Containing 22 papers, this book provides an up-to-date reference source of important issues in the design and implementation of distributed real-time computer systems.
Real-time systems play a crucial role in our society, supporting several important application areas, such as nuclear and chemical plant control, flight control systems, traffic control in airports, harbors, and train stations, telecommunication systems, industrial automation, robotics, defensiv