The Community for Technology Leaders
Third IEEE Real-Time Technology and Applications Symposium (RTAS'97) (1997)
Montreal, CANADA
June 9, 1997 to June 11, 1997
ISSN: 1080-1812
ISBN: 0-8186-8016-4
TABLE OF CONTENTS

Modelling, evaluation, and adaptive control of an instrumentation system (PDF)

A. Waheed , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
pp. 100-110

An approach to automatic detection of software failures in real-time systems (PDF)

T. Savor , Bell Canada Software Reliability Lab., Waterloo Univ., Ont., Canada
pp. 136-146

Reviewers (PDF)

pp. xi
Section I

Performance-Based Design Of Distributed Real-Time Systems (Abstract)

Dong-In Kang , University of Maryland
Richard Gerber , University of Maryland
Manas Saksena , Concordia University
pp. 2

On Laying Out Virtual Paths for Real-Time Message Streams in ATM Networks (Abstract)

Yi Ye , The Ohio State University
Chao-Ju Hou , The Ohio State University
pp. 14

An efficient semaphore implementation scheme for small-memory embedded systems (Abstract)

Khawar M. Zuberi , The University of Michigan
Kang G. Shin , The University of Michigan
pp. 25
Session II: Data Management and Analysis

Broadcast on Demand: Efficient and Timely Dissemination of Data in Mobile Environments (Abstract)

Ping Xuan , University of Massachusetts
Subhabrata Sen , University of Massachusetts
Oscar Gonzalez , University of Massachusetts
Jesus Fernandez , University of Massachusetts
Krithi Ramamritham , University of Massachusetts
pp. 38

Active Transactions Integrated with Real-Time Transactions According to Data Freshness (Abstract)

Hiromitsu Shimakawa , Industrial Electronics and Systems Lab.,Mitstubishi Electric Corp.
George Ido , Industrial Electronics and Systems Lab.,Mitstubishi Electric Corp.
Hideyuki Takada , Industrial Electronics and Systems Lab.,Mitstubishi Electric Corp.
Yoshitomo Asano , Industrial Electronics and Systems Lab.,Mitstubishi Electric Corp.
Morikazu Takegaki , Industrial Electronics and Systems Lab.,Mitstubishi Electric Corp.
pp. 49

SEW: A Toolset For Design and Analysis of Distributed Real-Time Systems (Abstract)

Saurav Chatterjee , Carnegie Mellon University
Kevin Bradley , Carnegie Mellon University
Jose Madriz , Carnegie Mellon University
James A. Colquist , Carnegie Mellon University
Jay Strosnider , Carnegie Mellon University
pp. 72
Session III: Controls and Instrumentation

Streamlining real-time controller design: From performance specifications to end-to-end timing constraints (Abstract)

Minsoo Ryu , Dept. of Electr. Eng., Seoul Nat. Univ., South Korea
Seongsoo Hong , Dept. of Electr. Eng., Seoul Nat. Univ., South Korea
M. Saksena , Dept. of Electr. Eng., Seoul Nat. Univ., South Korea
pp. 91
Session IV: Monitoring and Testing

Automatic Test Generation for the Analysis of a Real-Time System: Case Study (Abstract)

Duncan Clarke , University of Kentucky
Insup Lee , University of Pennsylvania
pp. 112

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications (Abstract)

Monica Brockmeyer , University of Michigan
Farnam Jahanian , University of Michigan
Constance Heitmeyer , Naval Research Laboratory
Bruce Labaw , Naval Research Laboratory
pp. 125

Victor Fay Wolfe, Lisa Cingiser DiPippo, Roman Ginis, Michael (Abstract)

Squadrito , University of Rhode Island
Steven Wohlever , University of Rhode Island
Igor Zykh , University of Rhode Island
Russell Johnston , NCCOSC RDT&E DIV
pp. 136
Tutorial II: Real-Time CORBA: Issues and Approach

Real-time CORBA (Abstract)

V.F. Wolfe , Dept. of Comput. Sci., Rhode Island Univ., Kingston, RI, USA
L.C. DiPippo , Dept. of Comput. Sci., Rhode Island Univ., Kingston, RI, USA
R. Ginis , Dept. of Comput. Sci., Rhode Island Univ., Kingston, RI, USA
M. Squadrito , Dept. of Comput. Sci., Rhode Island Univ., Kingston, RI, USA
S. Wohlever , Dept. of Comput. Sci., Rhode Island Univ., Kingston, RI, USA
I. Zykh , Dept. of Comput. Sci., Rhode Island Univ., Kingston, RI, USA
R. Johnston , Dept. of Comput. Sci., Rhode Island Univ., Kingston, RI, USA
pp. 148
Session V: Work-In-Progress Reports

Scheduling multimedia applications under overload and non-deterministic conditions (Abstract)

Teik Guan Tan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Wynne Hsu , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 178

Exploiting Redundancy for Timeliness in TCP Boston (Abstract)

Azer Bestavros , Boston University
Gitae Kim , Boston University
pp. 184
Session VI: Caches and Hardware Support I

Timing Analysis for Data Caches and Set-Associative Caches (Abstract)

Randall T. White , Florida State University
Christopher A. Healy , Florida State University
David B. Whalley , Florida State University
Frank Mueller , Humboldt-Universitat zu Berlin
Marion G. Harmon , Florida A&M University
pp. 192

Scalable Hardware Priority Queue Architectures for High-Speed Packet Switches (Abstract)

Sung-Whan Moon , The University of Michigan
Kang G. Shin , The University of Michigan
Jennifer Rexford , Networking and Distributed Systems AT&T Labs Research
pp. 203

OS-Controlled Cache Predictability for Real-Time Systems (Abstract)

Jochen Liedtke , IBM T. J. Watson Research Center
Hermann Haertig , TU Dresden
Michael Hohmuth , TU Dresden
pp. 213
Session VII: Real-Time System Services

QoS Negotiation in Real-Time Systems and Its Application to Automated Flight Control (Abstract)

Tarek F. Abdelzaher , The University of Michigan
Ella M. Atkins , The University of Michigan
Kang G. Shin , The University of Michigan
pp. 228

RT-CRM: Real-Time Channel-based Reflective Memory (Abstract)

Chia Shen , MERL - A Mitsubishi Electric Reseach Lab.
Ichiro Mizunuma , Mitsubishi Electric Corp.
pp. 239

Author Index (PDF)

pp. 263
82 ms
(Ver 3.3 (11022016))