The Community for Technology Leaders
Parallel and Distributed Real-Time Systems, Workshop (1995)
Santa Barbara, California
Apr. 25, 1995 to Apr. 25, 1995
ISBN: 0-8186-7099-1
TABLE OF CONTENTS

Reviewers (PDF)

pp. x
Position Papers:

Model-based system development (PDF)

M. Boasson , Hollandse Signaalapparaten BV, Hengelo, Netherlands
pp. 2

On the modeling of distributed real-time systems (PDF)

D.K. Hammer , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 4

Distributed real-time computing (PDF)

J.A. Stankovic , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 6

Real-time computing cornerstones: a system engineer's view (PDF)

M.W. Masters , Naval Surface Warfare Center, Dahlgren, VA, USA
pp. 8

Ada 95 eliminates race conditions (PDF)

J.G.P. Barnes , John Barnes Inf., Caversham, UK
pp. 10
Session 1: Methodology

On building distributed soft real-time systems (Abstract)

B. Kao , Dept. of Comput. Sci., Stanford Univ., CA, USA
B. Adelberg , Dept. of Comput. Sci., Stanford Univ., CA, USA
H. Garcia-Molina , Dept. of Comput. Sci., Stanford Univ., CA, USA
pp. 13

The peer tasking design method (Abstract)

A. Goforth , Inst. for Defense Anal., Alexandria, VA, USA
N.R. Howes , Inst. for Defense Anal., Alexandria, VA, USA
J.D. Wood , Inst. for Defense Anal., Alexandria, VA, USA
pp. 20
Panel Discussion 1: "Automatic versus Manual Methods"

Partitioning Ada programs for distributed platforms (PDF)

B. Ravindran , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 33
Session 2: Real-Time/Distributed Ada

Towards distributed objects for real-time systems (Abstract)

A. Gargaro , Comput. Sci. Corp., USA
pp. 36

On the use of Ada tasking in the building of satellite control software (Abstract)

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

Distributed and parallel execution in Ada 83 (Abstract)

R.A. Volz , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
G. Smith , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
R. Theriault , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
R. Waldrop , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 52

Object-oriented programming with protected types in Ada 95 (Abstract)

S. Mitchell , Dept. of Comput. Sci., York Univ., UK
A.J. Wellings , Dept. of Comput. Sci., York Univ., UK
A. Burns , Dept. of Comput. Sci., York Univ., UK
pp. 62
Round-Table Discussion 1: "How Well Does Ada Support Real-Time Distributed Systems?"

Testing Ada Annex E-distributed systems (PDF)

R.D. Powers , Texas Instrum. Inc., McKinney, TX, USA
pp. 72
Session 3: Networks

Real-time networking over HIPPI (Abstract)

A. Nica , The Tenet Group, California Univ., Berkeley, CA, USA
R. Bettati , The Tenet Group, California Univ., Berkeley, CA, USA
pp. 76

Real-time multimedia network system using VLIW hardware stack processor (Abstract)

K. Nakamura , Dept. of Electr. Eng., Hiroshima Univ., Japan
K. Nishimura , Dept. of Electr. Eng., Hiroshima Univ., Japan
R. Aibara , Dept. of Electr. Eng., Hiroshima Univ., Japan
T. Ae , Dept. of Electr. Eng., Hiroshima Univ., Japan
K. Sakai , Dept. of Electr. Eng., Hiroshima Univ., Japan
pp. 84
Session 4: Timing and Scheduling

Bounding the end-to-end response time in multiprocessor real-time systems (Abstract)

Jun Sun , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
J.W.S. Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 91

Fault-tolerant scheduling algorithm for distributed real-time systems (Abstract)

T. Tsuchiya , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
T. Kikuno , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
Y. Kakuda , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
pp. 99

Predictability of program execution times on superscalar pipelined architectures (Abstract)

U. Chandra , Dept. of Comput. & Inf. Syst., Florida A&M Univ., Tallahassee, FL, USA
M.G. Harmon , Dept. of Comput. & Inf. Syst., Florida A&M Univ., Tallahassee, FL, USA
pp. 104

Drawing execution graphs by parsing (Abstract)

O.S. van Roosmalen , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
G.A.M. de Bruyn , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 113
Session 5: Priority Assignment

Optimized priority assignment for tasks and messages in distributed hard real-time systems (Abstract)

M.G. Harbour , Dept. de Electron., Cantabria Univ., Santander, Spain
J.J.G. Garcia , Dept. de Electron., Cantabria Univ., Santander, Spain
pp. 124
Round-Table Discussion 2: "Solved and Open Problems in Real-Time distributed Systems"

SATURNE: a reactive-anytime programming model for intelligent embedded real-time systems (PDF)

S. de Givry , Dept. d'Inf., CERT-ONERA, Toulouse, France
M. Adelantado , Dept. d'Inf., CERT-ONERA, Toulouse, France
F. Boniol , Dept. d'Inf., CERT-ONERA, Toulouse, France
pp. 134
Session 6: Applications

Roo: a framework for real-time threads (Abstract)

C. Zimmermann , Dept. of Comput. Sci., Trinity Coll., Dublin, Ireland
V. Cahill , Dept. of Comput. Sci., Trinity Coll., Dublin, Ireland
pp. 137

Design of a communication scheme for a distributed controller architecture using stochastic Petri nets (Abstract)

J. Henz , Inst. fur Tech. Inf., Tech. Univ. Berlin, Germany
C. Kelling , Inst. fur Tech. Inf., Tech. Univ. Berlin, Germany
G. Hommel , Inst. fur Tech. Inf., Tech. Univ. Berlin, Germany
pp. 147
Panel Discussion 3: "Real-time Application Requirements"

The challenge of the increased use of COTS: a developer's perspective (Abstract)

J.A. Caruso , Computer Sci. Corp., King George, VA, USA
pp. 155

Overview of databases requirements for intelligent networks (PDF)

L.J.M. Nieuwenhuis , KPN, PTT Research, Groningen, Netherlands
W. Jonker , KPN, PTT Research, Groningen, Netherlands
pp. 160
Session 7: Formal Methods

A specification language for parallel real-time systems (Abstract)

A. Choudhary , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
B. Narahari , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
M. Benincasa , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
V. Gehlot , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
R. Metzger , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
pp. 165

Atomic broadcast: a case study in locative temporal logic (Abstract)

M.J. Wieczorek , Dept. of Math. & Comput. Sci., Nijmegen Univ., Netherlands
pp. 175
Session 8: Work in Progress

Timing insensitive binary-to-binary migration across multiprocessor architectures (PDF)

Z. Segall , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
B.H. Cogswell , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 193

Scheduling tasks in real-time systems using evolutionary strategies (PDF)

C. Lang , Dept. of Electr. & Comput. Eng., Western Michigan Univ., Kalamazoo, MI, USA
S. Hurley , Dept. of Electr. & Comput. Eng., Western Michigan Univ., Kalamazoo, MI, USA
G.W. Greenwood , Dept. of Electr. & Comput. Eng., Western Michigan Univ., Kalamazoo, MI, USA
pp. 195

Avoiding deadline decay under transient overloads (Abstract)

M. Tayli , Coll. of Comput. & Inf. Sci., King Saud Univ., Riyadh, Saudi Arabia
B.R. Swim , Coll. of Comput. & Inf. Sci., King Saud Univ., Riyadh, Saudi Arabia
M. Benmaiza , Coll. of Comput. & Inf. Sci., King Saud Univ., Riyadh, Saudi Arabia
M.C. Woodward , Coll. of Comput. & Inf. Sci., King Saud Univ., Riyadh, Saudi Arabia
pp. 198

Author Index (PDF)

pp. 204
100 ms
(Ver )