๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

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

โฌ‡  Acquire This Volume

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


Memory Controllers for Real-Time Embedde
โœ Benny Akesson, Kees Goossens (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› Springer-Verlag New York ๐ŸŒ English

<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

Memory Controllers for Real-Time Embedde
โœ Benny Akesson, Kees Goossens (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› Springer-Verlag New York ๐ŸŒ English

<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

Soft real-time systems: predictability v
โœ Giorgio C. Buttazzo ๐Ÿ“‚ Library ๐Ÿ“… 2005 ๐Ÿ› Springer ๐ŸŒ English

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 Systems 199
โœ H. Kopetz, M.G. Rodd ๐Ÿ“‚ Library ๐Ÿ“… 1992 ๐Ÿ› Pergamon Press ๐ŸŒ English

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.

Hard Real-Time Computing Systems: Predic
โœ Giorgio C. Buttazzo ๐Ÿ“‚ Library ๐Ÿ“… 1997 ๐Ÿ› Kluwer Academic Publishers ๐ŸŒ English

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