7. ISORC 2004: Vienna, Austria

@proceedings{DBLP:conf/isorc/2004,
  title     = {7th IEEE International Symposium on Object-Oriented Real-Time
               Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria},
  booktitle = {ISORC},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2124-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 Dvorak, Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Brian Giovannoni, Mark 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 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, G. 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