The Community for Technology Leaders
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2004)
Vienna, Austria
May 12, 2004 to May 14, 2004
ISBN: 0-7695-2124-X
TABLE OF CONTENTS
Introduction

Committees (PDF)

pp. xi-xii
Session 1: Keynote

Composition of Component Services (PDF)

H. Kopetz , Technical University of Vienna
pp. 3
Session 2: Industrial Track

Applying RT-CORBA in Nuclear Power Plant Simulators (Abstract)

Manuel D?az , University of M?laga
Daniel Garrido , University of M?laga
pp. 7-14

Project Golden Gate: Towards Real-Time Java in Space Missions (Abstract)

Vanessa Carson , California Institute of Technology
Daniel Dvorak , California Institute of Technology
Virgil Champlin , Carnegie Mellon University
Tim Canham , California Institute of Technology
Mark Indictor , California Institute of Technology
Kenny Meyer , California Institute of Technology
Alex Murray , California Institute of Technology
Greg Bollella , Sun Microsystems, Inc.
Brian Giovannoni , Carnegie Mellon University
Kirk Reinholtz , California Institute of Technology
pp. 15-22
Session 3: Panel I
Session 4A: UML-Based Methods

A UML-Based Methodology for the System Design of a Wireless LAN Prototype (Abstract)

D. Metafas , Intracom S.A.
G. Papadopoulos , University of Patras
C. Drosos , Intracom S.A.
pp. 45-51

UML Based Design of Time Triggered Systems (Abstract)

Gergely Pintér , Budapest University of Technology and Economics
István Majzik , Budapest University of Technology and Economics
Péter Tamás Kovács , Budapest University of Technology and Economics
pp. 60-63
Session 4B: Real-Time Java

The Real-Time Specification for Java: Current Status and Future Work (Abstract)

Peter Dibble , TimeSys Corporation
Andy Wellings , University of York
pp. 71-77

Cost Enforcement and Deadline Monitoring in the Real-Time Specification for Java (Abstract)

Peter Dibble , TimeSys Corporation
Andy Wellings , University of York
Greg Bollella , Sun MicroSystems
David Holmes , DLTeCH Pty Ltd
pp. 78-85

Dynamic Real-Time Reconfiguration on a Multithreaded Java-Microcontroller (Abstract)

Matthias Pfeffer , University of Augsburg
Theo Ungerer , University of Augsburg
pp. 86-92

Real-Time Java Scoped Memory: Design Patterns and Semantics (Abstract)

J. Vitek , Purdue University
D. Holmes , DLTeCH
J. M. Fox , Purdue University
F. Pizlo , Purdue University
pp. 101-110
Session 5: Special Invited Presentations on Systems Modeling

Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not? (Abstract)

Tiziana Margaria , University of Göttingen and METAFrame Technologies GmbH
pp. 113-120

Model-Based Design of Embedded Systems (Abstract)

Tim Schattkowsky , Paderborn University
Wolfgang M? , Paderborn University
pp. 121-128
Session 6A: Middleware

Building Smart Appliance Integration Middleware on the OSGi Framework (Abstract)

Hiroo Ishikawa , Waseda University
Yuuki Ogata , Waseda University
Kazuto Adachi , Waseda University
Tatsuo Nakajima , Waseda University
pp. 139-146

OSA+ Real-Time Middleware, Results and Perspectives (Abstract)

U. Brinkschulte , University of Karlsruhe
A. Bechina , University of Karlsruhe
E. Schneider , University of Karlsruhe
F. Picioroaga , University of Karlsruhe
pp. 147-154

Etherware: Domainware for Wireless Control Networks (Abstract)

Scott Graham , University of Illinois at Urbana-Champaign
Lui Sha , University of Illinois at Urbana-Champaign
P. R. Kumar , University of Illinois at Urbana-Champaign
Girish Bagliga , University of Illinois at Urbana-Champaign
pp. 155-162

Techniques for Implementing Support Middleware for the PSTR Scheme for Real-Time Object Replication (Abstract)

Jeff J.Q. Liu , San Diego State University
K. H. (Kane) Kim , University of California at Irvine
pp. 163-172
Session 6B: Design Methods

Modeling Distributed Embedded Applications on an Interface File System (Abstract)

Martin Schlager , Vienna University of Technology
Wilfried Elmenreich , Vienna University of Technology
Stefan Pitzek , Vienna University of Technology
pp. 175-182

Time Sensitive Architectures: A Reflective Approach (Abstract)

Francesco Tisato , Università Milano-Bicocca
Andrea Trentini , Università Studi Milano
Daniela Micucci , Università Milano-Bicocca
Sergio Ruocco , Università Milano-Bicocca
pp. 183-192

Towards an Implementation Model for FB-Based Reconfigurable Distributed Control Applications (Abstract)

G. Doukas , University of Patras
A. Frantzis , University of Patras
K. Thramboulidis , University of Patras
pp. 193-200

Expressing Real-Time Requirements on Object-Interactions (Abstract)

Michael Mock , Fraunhofer Institute for Autonomous Intelligent Systems
pp. 201-208
Session 7: Distributed Database and Web Services

Hybrid Concurrency Control Protocol for Multimedia Objects (Abstract)

Keisuke Hasumi , Tokyo Denki University
Makoto Takizawa , Tokyo Denki University
Tomoya Enokido , Tokyo Denki University
pp. 211-218

A Java Platform to Control Real-Time Transactions Overload (Abstract)

Samia Saad-Bouzefrane , Conservatoire National des Arts et M?tiers
Jean-Paul Etienne , Conservatoire National des Arts et M?tiers
pp. 219-226
Session 8: Testing and Verification

Function Test Environment for Embedded Driver Components (Abstract)

Stefan Pitzek , Technische Universität Wien
Peter Puschner , Technische Universität Wien
pp. 237-244

High-Level Simulation of Embedded Systems: Experiences from the FIT Project (Abstract)

Petr Grillinger , University of West Bohemia
Přemysl Brada , University of West Bohemia
Stanislav Racek , University of West Bohemia
pp. 245-248

Temporal Feasibility Verification of Specification PEARL Designs (Abstract)

Matjaž Colnarič , University of Maribor
Roman Gumzej , University of Maribor
Wolfgang A. Halang , Fernuniversit?t in Hagen
pp. 249-252

Verifying Compositional Designs for Scenario-Based Timing Specifications (Abstract)

Gong Jiayu , Nanjing University
Shi Yaoxin , Nanjing University
Zheng Guoliang , Nanjing University
Zhao Jianhua , Nanjing University
Li Xuandong , Nanjing University
pp. 253-256
Session 9: Panel II

Some Unresolved Problems in Real-Time Design (PDF)

Bran Selic , IBM Rational Software
pp. 262-263
Session 10: Distributed Real-Time Systems

Fast Software Component Migration for Applications Survivability in Distributed Real-Time Systems (Abstract)

Sangig Rho , Texas A—M University
Byung Kyu Choi , Michigan Technological University
Riccardo Bettati , Texas A—M University
pp. 269-276

A CORBA Based Architecture for Distributed Embedded Systems Using the RTLinux-GPL Platform (Abstract)

Sergio Pérez , Politechnical University of Valencia
Josep V. Sala , Politechnical University of Valencia
Jose A. Alegre , Politechnical University of Valencia
Joan Vila , Politechnical University of Valencia
pp. 285-288
Session 11: Separation of Concerns

An Evaluation of Aspect-Oriented Programming for Java-Based Real-Time Systems Development (Abstract)

Shiu Lun Tsang , Trinity College Dublin
Siobh? Clarke , Trinity College Dublin
Elisa Baniassad , Trinity College Dublin
pp. 291-300

Separating Essentials from Incidentals: An Execution Architecture for Real-Time Control Systems (Abstract)

Daniel L. Dvorak , California Institute of Technology
William K. Reinholtz , California Institute of Technology
pp. 301-304
Session 12: Scheduling

A Component-Based Scheduling Architecture for the Enterprise Domain (Abstract)

Ioannis Priggouris , University of Athens
Stathes Hadjiefthymiades , University of Athens
Odysseas Sekkas , University of Athens
Vassileios Tsetsos , University of Athens
pp. 315-318
Session 13: Memory Management

A Real-Time Isolate Specification for Ravenscar-Java (Abstract)

Hao Cai , University of York
Andy Wellings , University of York
pp. 325-328
Author Index

Author Index (PDF)

pp. 329-330
210 ms
(Ver 3.3 (11022016))