CSDL - Proceedings I

Message from the Program Co-Chairs (PDF)

pp. x

Committees (PDF)

pp. xi-xii

Secondary Reviewers (PDF)

pp. xiii

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

PDF

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

Daniel Dvorak, California Institute of Technology

Greg Bollella, Sun Microsystems, Inc.

Tim Canham, California Institute of Technology

Vanessa Carson, California Institute of Technology

Virgil Champlin, Carnegie Mellon University

Brian Giovannoni, Carnegie Mellon University

Mark Indictor, California Institute of Technology

Kenny Meyer, California Institute of Technology

Alex Murray, California Institute of Technology

Kirk Reinholtz, California Institute of Technology

pp. 15-22

PDF

A Hard Look at Hard Real-Time Garbage Collection (Abstract)

David Detlefs, Sun Microsystems

pp. 23-32

PDF

The Impact of Realtime Garbage Collection on Realtime Java Programming (Abstract)

Fridtjof Siebert, aicas GmbH

pp. 33-40

PDF

Session 3: Panel I

Challenges to Software Developers in Times of the Fast Growth of Cheap Software Labor Markets

Session 4A: UML-Based Methods

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

C. Drosos, Intracom S.A.

D. Metafas, Intracom S.A.

G. Papadopoulos, University of Patras

pp. 45-51

PDF

Performance Modeling and Validation of a Software System in a RT-UML-Based Simulative Environment (Abstract)

Vittorio Cortellessa, Universita? dell?Aquila

Maurizio Gentile, Universita? dell?Aquila

pp. 52-59

PDF

UML Based Design of Time Triggered Systems (Abstract)

István Majzik, Budapest University of Technology and Economics

Gergely Pintér, Budapest University of Technology and Economics

Péter Tamás Kovács, Budapest University of Technology and Economics

pp. 60-63

PDF

A UML-Based Concept for High Concurrency: The Real-Time Object (Abstract)

S?bastien G?rard, CEA-LIST

Chokri Mraidha, CEA-LIST

Fran?ois Terrier, CEA-LIST

Beno? Baudry, CEA-LIST

pp. 64-67

PDF

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

PDF

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

Andy Wellings, University of York

Greg Bollella, Sun MicroSystems

Peter Dibble, TimeSys Corporation

David Holmes, DLTeCH Pty Ltd

pp. 78-85

PDF

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

Matthias Pfeffer, University of Augsburg

Theo Ungerer, University of Augsburg

pp. 86-92

PDF

Restrictions of Java for Embedded Real-Time Systems (Abstract)

Martin Schoeberl, JOP.design

pp. 93-100

PDF

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

F. Pizlo, Purdue University

J. M. Fox, Purdue University

D. Holmes, DLTeCH

J. Vitek, Purdue University

pp. 101-110

PDF

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

PDF

Model-Based Design of Embedded Systems (Abstract)

Tim Schattkowsky, Paderborn University

Wolfgang M?, Paderborn University

pp. 121-128

PDF

Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking (Abstract)

Wolfgang Ecker, Infineon

Volkan Esen, Koessler

Thomas Steininger, GMX

Martin Zambaldi, Infineon

pp. 129-135

PDF

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

PDF

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

F. Picioroaga, University of Karlsruhe

A. Bechina, University of Karlsruhe

U. Brinkschulte, University of Karlsruhe

E. Schneider, University of Karlsruhe

pp. 147-154

PDF

Etherware: Domainware for Wireless Control Networks (Abstract)

Girish Bagliga, University of Illinois at Urbana-Champaign

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

pp. 155-162

PDF

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

K. H. (Kane) Kim, University of California at Irvine

Jeff J.Q. Liu, San Diego State University

pp. 163-172

PDF

Session 6B: Design Methods

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

Wilfried Elmenreich, Vienna University of Technology

Stefan Pitzek, Vienna University of Technology

Martin Schlager, Vienna University of Technology

pp. 175-182

PDF

Time Sensitive Architectures: A Reflective Approach (Abstract)

Daniela Micucci, Università Milano-Bicocca

Sergio Ruocco, Università Milano-Bicocca

Francesco Tisato, Università Milano-Bicocca

Andrea Trentini, Università Studi Milano

pp. 183-192

PDF

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

K. Thramboulidis, University of Patras

G. Doukas, University of Patras

A. Frantzis, University of Patras

pp. 193-200

PDF

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

Michael Mock, Fraunhofer Institute for Autonomous Intelligent Systems

pp. 201-208

PDF

Session 7: Distributed Database and Web Services

Hybrid Concurrency Control Protocol for Multimedia Objects (Abstract)

Keisuke Hasumi, Tokyo Denki University

Tomoya Enokido, Tokyo Denki University

Makoto Takizawa, Tokyo Denki University

pp. 211-218

PDF

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

Jean-Paul Etienne, Conservatoire National des Arts et M?tiers

Samia Saad-Bouzefrane, Conservatoire National des Arts et M?tiers

pp. 219-226

PDF

Multi-Party Authentication for Web Services: Protocols, Implementation and Evaluation (Abstract)

Dacheng Zhang, University of Leeds

Jie Xu, University of Leeds

pp. 227-234

PDF

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

PDF

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

Přemysl Brada, University of West Bohemia

Petr Grillinger, University of West Bohemia

Stanislav Racek, University of West Bohemia

pp. 245-248

PDF

Temporal Feasibility Verification of Specification PEARL Designs (Abstract)

Roman Gumzej, University of Maribor

Matjaž Colnarič, University of Maribor

Wolfgang A. Halang, Fernuniversit?t in Hagen

pp. 249-252

PDF

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

Li Xuandong, Nanjing University

Zhao Jianhua, Nanjing University

Gong Jiayu, Nanjing University

Shi Yaoxin, Nanjing University

Zheng Guoliang, Nanjing University

pp. 253-256

PDF

Session 9: Panel II

Major Push Needed in Real-Time Distributed Computing Research

Autonomic Distributed Real-Time Systems: Challenges and Solutions (PDF)

Franz J. Rammig, Paderborn University

pp. 259-261

Some Unresolved Problems in Real-Time Design (PDF)

Bran Selic, IBM Rational Software

pp. 262-263

Timeliness in Mesosynchronous Real-Time Distributed Systems (PDF)

E. Douglas Jensen, The MITRE Corporation

pp. 264-266

Session 10: Distributed Real-Time Systems

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

Byung Kyu Choi, Michigan Technological University

Sangig Rho, Texas A—M University

Riccardo Bettati, Texas A—M University

pp. 269-276

PDF

On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks (PDF)

Karthik Channakeshava, Virginia Tech

Binoy Ravindran, Virginia Tech

pp. 277-284

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

Sergio Pérez, Politechnical University of Valencia

Joan Vila, Politechnical University of Valencia

Jose A. Alegre, Politechnical University of Valencia

Josep V. Sala, Politechnical University of Valencia

pp. 285-288

PDF

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

PDF

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

PDF

Session 12: Scheduling

Utility Accrual Scheduling under Joint Utility and Resource Constraints (PDF)

Haisang Wu, Virginia Tech

Binoy Ravindran, Virginia Tech

E. Douglas Jensen, The MITRE Corporation

pp. 307-314

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

Vassileios Tsetsos, University of Athens

Odysseas Sekkas, University of Athens

Ioannis Priggouris, University of Athens

Stathes Hadjiefthymiades, University of Athens

pp. 315-318

PDF

Session 13: Memory Management

Illegal References in a Real-Time Java Concurrent Environment (Abstract)

M. Teresa Higuera-Toledano, Universidad Complutense de Madrid

pp. 321-324

PDF

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

Hao Cai, University of York

Andy Wellings, University of York

pp. 325-328

PDF

Author Index

Author Index (PDF)

pp. 329-330