7. ISORC 2004: Vienna, Austria

7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria. IEEE Computer Society 2004, ISBN 0-7695-2124-X

Keynote

Hermann Kopetz:
Composition of Component Services. 3

Industrial Track

Manuel Díaz, Daniel Garrido:
Applying RT-CORBA in Nuclear Power Plant Simulators. 7-14
Daniel L. Dvorak, Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Brian Giovannoni, Mark B. Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz:
Project Golden Gate: Towards Real-Time Java in Space Missions. 15-22
David Detlefs:
A Hard Look at Hard Real-Time Garbage Collection. 23-32
Fridtjof Siebert:
The Impact of Realtime Garbage Collection on Realtime Java Programming. 33-40

UML-Based Methods

Christos Drosos, Dimitris Metafas, George D. Papadopoulos:
A UML-Based Methodology for the System Design of a Wireless LAN Prototype. 45-51
Vittorio Cortellessa, Maurizio Gentile:
Performance Modeling and Validation of a Software System in a RT-UML-Based Simulative Environment. 52-59
István Majzik, Gergely Pintér, Péter Tamás Kovács:
UML Based Design of Time Triggered Systems. 60-63
Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry:
A UML-Based Concept for High Concurrency: The Real-Time Object. 64-67

Real-Time Java

Peter C. Dibble, Andy J. Wellings:
The Real-Time Specification for Java: Current Status and Future Work. 71-77
Andy J. Wellings, Gregory Bollella, Peter C. Dibble, David Holmes:
Cost Enforcement and Deadline Monitoring in the Real-Time Specification for Java. 78-85
Matthias Pfeffer, Theo Ungerer:
Dynamic Real-Time Reconfiguration on a Multithreaded Java-Microcontroller. 86-92
Martin Schoeberl:
Restrictions of Java for Embedded Real-Time Systems. 93-100
Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek:
Real-Time Java Scoped Memory: Design Patterns and Semantics. 101-110

Special Invited Presentations on Systems Modeling

Tiziana Margaria:
Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?. 113-120
Tim Schattkowsky, Wolfgang Müller:
Model-Based Design of Embedded Systems. 121-128
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi:
Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking. 129-135

Middleware

Hiroo Ishikawa, Yuuki Ogata, Kazuto Adachi, Tatsuo Nakajima:
Building Smart Appliance Integration Middleware on the OSGi Framework. 139-146
Florentin Picioroaga, Aurelie Bechina, Uwe Brinkschulte, Etienne Schneider:
OSA+ Real-Time Middleware, Results and Perspectives. 147-154
Girish Baliga, Scott R. Graham, Lui Sha, P. R. Kumar:
Etherware: Domainware for Wireless Control Networks. 155-162
K. H. Kim, Juqiang Liu:
Techniques for Implementing Support Middleware for the PSTR Scheme for Real-Time Object Replication. 163-172

Design Methods

Wilfried Elmenreich, Stefan Pitzek, Martin Schlager:
Modeling Distributed Embedded Applications on an Interface File System. 175-182
Daniela Micucci, Sergio Ruocco, Francesco Tisato, Andrea Trentini:
Time Sensitive Architectures: A Reflective Approach. 183-192
Kleanthis Thramboulidis, George S. Doukas, A. Frantzis:
Towards an Implementation Model for FB-Based Reconfigurable Distributed Control Applications. 193-200
Michael Mock:
Expressing Real-Time Requirements on Object-Interactions. 201-208

Distributed Database and Web Services

Keisuke Hasumi, Tomoya Enokido, Makoto Takizawa:
Hybrid Concurrency Control Protocol for Multimedia Objects. 211-218
Jean-Paul Etienne, Samia Saad-Bouzefrane:
A Java Platform to Control Real-Time Transactions Overload. 219-226
Dacheng Zhang, Jie Xu:
Multi-Party Authentication for Web Services: Protocols, Implementation and Evaluation. 227-234

Testing and Verification

Stefan Pitzek, Peter P. Puschner:
Function Test Environment for Embedded Driver Components. 237-244
Premysl Brada, Petr Grillinger, Stanislav Racek:
High-Level Simulation of Embedded Systems: Experiences from the FIT Project. 245-248
Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang:
Temporal Feasibility Verification of Specification PEARL Designs. 249-252
Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng:
Verifying Compositional Designs for Scenario-Based Timing Specifications. 253-256

Panel II

Franz J. Rammig:
Autonomic Distributed Real-Time Systems: Challenges and Solutions. 259-261
Bran Selic:
Some Unresolved Problems in Real-Time Design. 262-263
E. Douglas Jensen:
Timeliness in Mesosynchronous Real-Time Distributed Systems. 264-266

Distributed Real-Time Systems

Byung-Kyu Choi, Sangig Rho, Riccardo Bettati:
Fast Software Component Migration for Applications Survivability in Distributed Real-Time Systems. 269-276
Karthik Channakeshava, Binoy Ravindran:
On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks. 277-284
Sergio Pérez, Joan Vila, Jose A. Alegre, Josep V. Sala:
A CORBA Based Architecture for Distributed Embedded Systems Using the RTLinux-GPL Platform. 285-288

Separation of Concerns

Shiu Lun Tsang, Siobhán Clarke, Elisa L. A. Baniassad:
An Evaluation of Aspect-Oriented Programming for Java-Based Real-Time Systems Development. 291-300
Daniel L. Dvorak, William K. Reinholtz:
Separating Essentials from Incidentals: An Execution Architecture for Real-Time Control Systems. 301-304

Scheduling

Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
Utility Accrual Scheduling under Joint Utility and Resource Constraints. 307-314
Vassileios Tsetsos, Odysseas Sekkas, Ioannis Priggouris, Stathes Hadjiefthymiades:
A Component-Based Scheduling Architecture for the Enterprise Domain. 315-318

Memory Management

M. Teresa Higuera-Toledano:
Illegal References in a Real-Time Java Concurrent Environment. 321-324
Hao Cai, Andy J. Wellings:
A Real-Time Isolate Specification for Ravenscar-Java. 325-328

Last update Sun May 19 23:01:49 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page