The Community for Technology Leaders
Parallel and Distributed Real-Time Systems, Workshop (1997)
Geneva, SWITZERLAND
Apr. 1, 1997 to Apr. 3, 1997
ISBN: 0-8186-8096-2
TABLE OF CONTENTS
Keynote Speech

Coming Attractions in Software Architecture (Abstract)

Paul Clements , Carnegie Mellon University
pp. 2
Invited Session: Software Architecture and Architecture Description Languages for Distributed and Parallel Systems

MetaH Support for Real-Time Multi-Processor Avionics (Abstract)

Steve Vestal , Honeywell Technology Center
pp. 11

Large-Grain, ynamic Control System Architectures (Abstract)

Lonnie R. Welch , The University of Texas at Arlington
pp. 22

Multi-Paradigm Programming in Large Control Systems (Abstract)

Edwin de Jong , Hollandse Signaalapparaten B.V.
pp. 27
Session I: Architectures

Toward a Scalable Design for Command and Control Systems (Abstract)

Joseph A. Caruso , Computer Sciences Corporation, Dahlgren, VA
pp. 43

Distributing Time Sensitive Data in a COTS Shared Media Environment (Abstract)

Philip M. Irey Iv , Naval Surface Warfare Center, Dahlgren Division
David T. Marlow , Naval Surface Warfare Center, Dahlgren Division
Robert D. Harrison , Naval Surface Warfare Center, Dahlgren Division
pp. 53
Session II: Distributed Real-Time Systems

Integrated Scheduling of Tasks and Messages in Distributed Real-Time Systems (Abstract)

Gerald Kristen , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
C. Siva Ram Murthy , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
G. Manimaran , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
M. Shashidhar , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
pp. 64

Prioritized Token-Based Mutual Exclusion for Distributed Systems (Abstract)

Frank Mueller , Humboldt-Universit?t zu Berlin, Institut f?r Informatik,
pp. 72

Multiple node-disjoint path protocol for virtual paths in ATM networks (Abstract)

K. Ishida , Fac. of Inf. Sci., Hiroshima City Univ., Japan
pp. 91

Implementation of the Hartstone Distributed Benchmark for Hard Real-Time Distributed Systems: Results and Conclusions (Abstract)

Nick I. Kamenoff , Department of Software Engineering Monmouth University
Brian G. Ujvary , Department of Software Engineering Monmouth University
pp. 98
Parallel Track I: Special Session on Distributed Real-Time Problem Solutions

Report on the case-study session (Abstract)

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

DREAD: distributed real-time air defense system (Abstract)

G. Manimaran , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
A. Manikutty , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
S. Merugu , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
C.S.R. Murthy , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
pp. 108
Session III: Real-Time Databases

TARTOS - Tool Box for Active Real-Time Object-oriented database System models (Abstract)

Sang H. Son , University of Virginia
Juha Taina , University of Helsinki
pp. 131

Comparing two-phase locking and optimistic concurrency control protocols in multiprocessor real-time databases (Abstract)

A. Chiu , Dept. of Comput. Sci., Hong Kong Univ., Pokfulam, Hong Kong
Ben Kao , Dept. of Comput. Sci., Hong Kong Univ., Pokfulam, Hong Kong
Kam-yiu Lam , Dept. of Comput. Sci., Hong Kong Univ., Pokfulam, Hong Kong
pp. 141

A Transaction-Based Temporal Data Model for Real-Time Databases (Abstract)

P.D.V~.v.d. ~Stok , Technical University Eindhoven
M.P. Bodlaender , Technical University Eindhoven
S.H. ~Son , University of Virginia
pp. 149
Session IV: Multi-Processor Real-Time Systems

Properties of hard real-time tasks for on-line scheduling on multiprocessors (Abstract)

B.N. Jain , Ergo Software Syst. Ltd., Noida, India
M. Dominic , Ergo Software Syst. Ltd., Noida, India
pp. 168

Design of a Real-Time Parallel Kernel Using LOTOS (Abstract)

Celio Estevan Moron , Universidade Federal de Sao Carlos
Clever Ricardo Guareis de Farias , Wanderley Lopes de Souza
pp. 177
Session V: Formal Methods

Platform-Independent Verification of Real-Time Programs (Abstract)

Jozef Hooman , Eindhoven University of Technology
Onno Van Roosmalen , Eindhoven University of Technology
pp. 183
Parallel Track II: Invited Session on Modeling of Hybrid Real-Time Systems

Specification of hybrid systems in cTLA+ (Abstract)

P. Herrmann , Fachbereich Inf., Dortmund Univ., Germany
H. Krumm , Fachbereich Inf., Dortmund Univ., Germany
pp. 212

A Mathematical Approach to Describing a Class of Hybrid Systems (Abstract)

Rainer Drath , TU Ilmenau Fakultaet fuer Informatik und Automatisierung
pp. 228
Invited Session: Modeling of Hybrid Real-Time Systems

Modeling and Analysis of Hybrid Systems: A New Approach Integrating Petri Nets and Differential Equations (Abstract)

Gero Nenninger , Institut fuer Regelungs- und Steuerungssysteme Universitaet Karlsruhe (T.H.)
Volker Krebs , Institut fuer Regelungs- und Steuerungssysteme Universitaet Karlsruhe (T.H.)
pp. 234

Simulation-based Performance Analysis of Distributed Systems (Abstract)

Ulrich Donath , Fraunhofer-Institute for Integrated Circuits
Peter Schwarz , Fraunhofer-Institute for Integrated Circuits
pp. 244
Invited Session: Object-Oriented Real-Time Systems

On the Design of a Dynamic Distributed Real-Time Environment (Abstract)

M. Gergeleit , German National Research Center for Information Technology (GMD)
H. Streich , German National Research Center for Information Technology (GMD)
pp. 251

Composing multiple-client-multiple-server synchronizations (Abstract)

L. Bergmans , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
M. Aksit , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 269
Invited Session: Parallel and Distributed Real-Time Systems Applications
Session VI: Multi-Media and Object-Oriented Real-Time Systems

Real-Time Multimedia Data Processing using VLIW Hardware Stack Processor (Abstract)

Tadashi Ae , Faculty of Engineering Hiroshima University
Keiichi Sakai , Faculty of Engineering Hiroshima University
Kiyoshige Nakamura , Faculty of Engineering Hiroshima University
pp. 296

Real-Time Scheduling in Video Systems (Abstract)

E.H.L. Aarts , Philips Research
E.A. de Kock , Philips Research
G. Essink , Philips Research
pp. 309

A Real-Time Java Server for Real-Time Mach (Abstract)

Hideyuki Tokuda , Keio University Faculty of Environmental Information
Akihiko Miyoshi , Research staff at Keio Research Institute at SFC
pp. 319

Author Index (PDF)

pp. 327
307 ms
(Ver 3.1 (10032016))