The Community for Technology Leaders
2013 IEEE 34th Real-Time Systems Symposium (1996)
Washington D.C.
Dec. 4, 1996 to Dec. 6, 1996
ISSN: 1052-8725
ISBN: 0-8186-7689-2
TABLE OF CONTENTS

Foreword (PDF)

pp. viii

Committees (PDF)

pp. ix

Reviewers (PDF)

pp. x
Session 1: Scheduling I

Bounding completion times of jobs with arbitrary release times and variable execution times (Abstract)

J. Sun , Geoworks Inc., Berkeley, CA, USA
J.W.S. Liu , Geoworks Inc., Berkeley, CA, USA
pp. 2

On task schedulability in real-time control systems (Abstract)

D. Seto , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
J.P. Lehoczky , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
L. Sha , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
K.G. Shin , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 13

A multiframe model for real-time tasks (Abstract)

D. Chen , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
A.K. Mok , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 22
Session 2: Experimental Systems and Applications

Analysing APEX applications (Abstract)

N. Audsley , Dept. of Comput. Sci., York Univ., UK
A. Wellings , Dept. of Comput. Sci., York Univ., UK
pp. 39

Operating system extensions for dynamic real-time applications (Abstract)

J. Potter , Dept. of Comput., Macquarie Univ., North Ryde, NSW, Australia
S. Sommer , Dept. of Comput., Macquarie Univ., North Ryde, NSW, Australia
pp. 45
Session 3: Formal Methods

Approximate reachability analysis of timed automata (Abstract)

F. Balarin , Cadence Berkeley Lab., CA, USA
pp. 52

Correctness of vehicle control systems-a case study (Abstract)

N. Lynch , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
H.B. Weinberg , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 62

Reducing the number of clock variables of timed automata (Abstract)

C. Daws , VERIMAG, Montbonnot St. Martin, Franc
S. Yovine , VERIMAG, Montbonnot St. Martin, Franc
pp. 73

Predictability of real-time systems: a process-algebraic approach (Abstract)

V. Natarajan , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
R. Cleaveland , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 82
Session 4: Synchronization

A framework for implementing objects and scheduling tasks in lock-free real-time systems (Abstract)

S. Ramamurthy , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
J.H. Anderson , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 94

Optimizing a FIFO, scalable spin lock using consistent memory (Abstract)

I. Rhee , Dept. of Math. & Comput. Sci., Emory Univ., Atlanta, GA, USA
pp. 106
Session 6: Model and Tools

The MSP.RTL real-time scheduler synthesis tool (Abstract)

R.C.M. de Rooij , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Duu-Chung Tsou , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
A.K. Mok , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 118

Tool support for the construction of statically analysable hard real-time Ada systems (Abstract)

T. Vardanega , Div. of Spacecraft Control & Data Syst., Eur. Space Res. & Technol. Centre, Noordwijk, Netherlands
pp. 129

High availability in the real-time publisher/subscriber inter-process communication model (Abstract)

R. Rajkumar , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
M. Gagliardi , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 136
Session 7: Communications

Structuring communication software for quality-of-service guarantees (Abstract)

A. Indiresan , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
Ashish Mehra , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 144

Multirate scheduling for guaranteed and predictive services in ATM networks (Abstract)

S. Mukherjee , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
D. Saha , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
S.K. Tripathi , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 155

Message transmission with timing constraints in ring networks (Abstract)

K.G. Shin , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
Ching-Chih Han , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
pp. 165

On supporting time-constrained communications in WDMA-based star-coupled optical networks (Abstract)

Ching-Chih Han , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
Chao-Ju Hou , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
Hung-Ying Tyan , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
Bin Wang , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
pp. 175
Session 8: Scheduling II

An optimal pinwheel scheduler using the single-number reduction technique (Abstract)

Kwei-Jay Lin , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Chih-Wen Hsueh , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 196

Integrated scheduling of multimedia and hard real-time tasks (Abstract)

S. Sen , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
J.A. Stankovic , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
H. Kaneko , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
K. Ramamritham , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 206
Session 9: Databases

Commit processing in distributed real-time database systems (Abstract)

J. Haritsa , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
R. Gupta , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
S. Seshadri , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
K. Ramamritham , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
pp. 220

Value-cognizant admission control for RTDB systems (Abstract)

A. Bestavros , Dept. of Comput. Sci., Boston Univ., MA, US
S. Nagy , Dept. of Comput. Sci., Boston Univ., MA, US
pp. 230

Scheduling transactions with temporal constraints: exploiting data semantics (Abstract)

J.A. Stankovic , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
D. Towsley , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
R. Sivasankaran , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
Ming Xiong , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
K. Ramamritham , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 240
Session 10: Timing Analysis

Cache modeling for real-time software: beyond direct mapped instruction caches (Abstract)

Y.-T. S. Li , Dept. of Electr. Eng., Princeton Univ., NJ, USA
S. Malik , Dept. of Electr. Eng., Princeton Univ., NJ, USA
A. Wolfe , Dept. of Electr. Eng., Princeton Univ., NJ, USA
pp. 254

Analysis of cache-related preemption delay in fixed-priority preemptive scheduling (Abstract)

Chang Yun Park , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Minsuk Lee , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chong Sang Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
J. Hahn , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Seongsoo Hong , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Sang Lyul Min , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
R. Ha , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chang-Gun Lee , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 264
Session 11: Resource Allocation and System Implementation

A proportional share resource allocation algorithm for real-time, time-shared systems (Abstract)

S.K. Baruah , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
J.E. Gehrke , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
K. Jeffay , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
I. Stoica , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
C.G. Plaxton , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
H. Abdel-Wahab , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
pp. 288

Visual assessment of a real-time system design: a case study on a CNC controller (Abstract)

M. Saksena , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Heonshik Shin , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Namyun Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Seongsoo Hong , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Minsoo Ryu , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chong-Ho Choi , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 300

Author Index (PDF)

pp. 321
103 ms
(Ver 3.1 (10032016))