Real-Time Systems, Volume 1

Volume 1, Number 1, 1989

Theodore P. Baker, Alan C. Shaw: The Cyclic Executive Model and Ada. 7-25
Brinkley Sprunt, Lui Sha, John P. Lehoczky: Aperiodic Task Scheduling for Hard Real-Time Systems. 27-60
R. J. Lauber: Forecasting Real-Time Behavior During Software Design using a CASE Environment. 61-76
Richard K. J. Henn: Feasible Processor Allocation in a Hard-Real-Time Environment. 77-93

Bogdan Lent, Hans Kurmann: The OR Dataflow Architecture for a Machine Embedded Control System. 107-132
Jay K. Strosnider, Thomas E. Marchok: Responsive, Deterministic IEEE 802.5 Token Ring Scheduling. 133-158
Peter P. Puschner, Christian Koza: Calculating the Maximum Execution Time of Real-Time Programs. 159-176
Shojiro Nishio, Shinichi Taniguchi, Toshihide Ibaraki: On the Efficiency of Cautious Schedulers for Database Concurrency Control - Why Insist on Two-Phase Locking? 177-195

Herbert Schweinzer: Fast Sensor Corrections of Robot Motion Paths Processed in Real-Time by Control Algorithms Running in Parallel. 207-220
Helmut Rzehak, Abd E. Elnakhal, Rudolf Jaeger: Analysis of Real-Time Properties and Rules for Setting Protocol Parameters of MAP Networks. 221-241
Lui Sha, Ragunathan Rajkumar, John P. Lehoczky, Krithi Ramamritham: Mode Change Protocols for Priority-Driven Preemptive Scheduling. 243-264
Kwang Soo Hong, Joseph Y.-T. Leung: Preemptive Scheduling with Release Times and Deadlines. 265-281

Tomohiro Murata, Norihisa Komoda: Real-Time Control Software for Transaction Processing Based on Colored Safe Petri Net Model. 299-312
Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai: An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. 313-331
Masaru Takesue: Dataflow Computer Extension Towards Real-Time Processing. 333-350
Tadashi Ae, Reiji Aibara: Programmable Real-Time Scheduler Using a Neurocomputer. 351-363