Table of Contents

• Composition of Component ServicesHermann Kopetz. 3 [doi]
• Applying RT-CORBA in Nuclear Power Plant SimulatorsManuel Díaz, Daniel Garrido. 7-14 [doi]
• Project Golden Gate: Towards Real-Time Java in Space MissionsDaniel Dvorak, Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Brian Giovannoni, Mark Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz. 15-22 [doi]
• A Hard Look at Hard Real-Time Garbage CollectionDavid Detlefs. 23-32 [doi]
• The Impact of Realtime Garbage Collection on Realtime Java ProgrammingFridtjof Siebert. 33-40 [doi]
• A UML-Based Methodology for the System Design of a Wireless LAN PrototypeChristos Drosos, Dimitris Metafas, George D. Papadopoulos. 45-51 [doi]
• Performance Modeling and Validation of a Software System in a RT-UML-Based Simulative EnvironmentVittorio Cortellessa, Maurizio Gentile. 52-59 [doi]
• UML Based Design of Time Triggered SystemsIstván Majzik, Gergely Pintér, Péter Tamás Kovács. 60-63 [doi]
• A UML-Based Concept for High Concurrency: The Real-Time ObjectSébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry. 64-67 [doi]
• The Real-Time Specification for Java: Current Status and Future WorkPeter C. Dibble, Andy J. Wellings. 71-77 [doi]
• Cost Enforcement and Deadline Monitoring in the Real-Time Specification for JavaAndy J. Wellings, Gregory Bollella, Peter C. Dibble, David Holmes. 78-85 [doi]
• Dynamic Real-Time Reconfiguration on a Multithreaded Java-MicrocontrollerMatthias Pfeffer, Theo Ungerer. 86-92 [doi]
• Restrictions of Java for Embedded Real-Time SystemsMartin Schoeberl. 93-100 [doi]
• Real-Time Java Scoped Memory: Design Patterns and SemanticsFilip Pizlo, J. M. Fox, David Holmes, Jan Vitek. 101-110 [doi]
• Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?Tiziana Margaria. 113-120 [doi]
• Model-Based Design of Embedded SystemsTim Schattkowsky, Wolfgang Müller 0003. 121-128 [doi]
• Memory Models for the Formal Verification of Assembler Code Using Bounded Model CheckingWolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi. 129-135 [doi]
• Building Smart Appliance Integration Middleware on the OSGi FrameworkHiroo Ishikawa, Yuuki Ogata, Kazuto Adachi, Tatsuo Nakajima. 139-146 [doi]
• OSA+ Real-Time Middleware, Results and PerspectivesFlorentin Picioroaga, Aurelie Bechina, Uwe Brinkschulte, Etienne Schneider. 147-154 [doi]
• Etherware: Domainware for Wireless Control NetworksGirish Baliga, Scott Graham, Lui Sha, P. R. Kumar. 155-162 [doi]
• Techniques for Implementing Support Middleware for the PSTR Scheme for Real-Time Object ReplicationK. H. Kim, Juqiang Liu. 163-172 [doi]
• Modeling Distributed Embedded Applications on an Interface File SystemWilfried Elmenreich, Stefan Pitzek, Martin Schlager. 175-182 [doi]
• Time Sensitive Architectures: A Reflective ApproachDaniela Micucci, Sergio Ruocco, Francesco Tisato, Andrea Trentini. 183-192 [doi]
• Towards an Implementation Model for FB-Based Reconfigurable Distributed Control ApplicationsKleanthis Thramboulidis, G. Doukas, A. Frantzis. 193-200 [doi]
• Expressing Real-Time Requirements on Object-InteractionsMichael Mock. 201-208 [doi]
• Hybrid Concurrency Control Protocol for Multimedia ObjectsKeisuke Hasumi, Tomoya Enokido, Makoto Takizawa. 211-218 [doi]
• A Java Platform to Control Real-Time Transactions OverloadJean-Paul Etienne, Samia Saad-Bouzefrane. 219-226 [doi]
• Multi-Party Authentication for Web Services: Protocols, Implementation and EvaluationDacheng Zhang, Jie Xu. 227-234 [doi]
• Function Test Environment for Embedded Driver ComponentsStefan Pitzek, Peter P. Puschner. 237-244 [doi]
• High-Level Simulation of Embedded Systems: Experiences from the FIT ProjectPremek Brada, Petr Grillinger, Stanislav Racek. 245-248 [doi]
• Temporal Feasibility Verification of Specification PEARL DesignsRoman Gumzej, Matjaz Colnaric, Wolfgang A. Halang. 249-252 [doi]
• Verifying Compositional Designs for Scenario-Based Timing SpecificationsXuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng. 253-256 [doi]
• Autonomic Distributed Real-Time Systems: Challenges and SolutionsFranz J. Rammig. 259-261 [doi]
• Some Unresolved Problems in Real-Time DesignBran Selic. 262-263 [doi]
• Timeliness in Mesosynchronous Real-Time Distributed SystemsE. Douglas Jensen. 264-266 [doi]
• Fast Software Component Migration for Applications Survivability in Distributed Real-Time SystemsByung Kyu Choi, Sangig Rho, Riccardo Bettati. 269-276 [doi]
• On Utility Accrual Real-Time Channel Establishment in Multi-Hop NetworksKarthik Channakeshava, Binoy Ravindran. 277-284 [doi]
• A CORBA Based Architecture for Distributed Embedded Systems Using the RTLinux-GPL PlatformSergio Pérez, Joan Vila, Jose A. Alegre, Josep V. Sala. 285-288 [doi]
• An Evaluation of Aspect-Oriented Programming for Java-Based Real-Time Systems DevelopmentShiu Lun Tsang, Siobhán Clarke, Elisa L. A. Baniassad. 291-300 [doi]
• Separating Essentials from Incidentals: An Execution Architecture for Real-Time Control SystemsDaniel L. Dvorak, William K. Reinholtz. 301-304 [doi]
• Utility Accrual Scheduling under Joint Utility and Resource ConstraintsHaisang Wu, Binoy Ravindran, E. Douglas Jensen. 307-314 [doi]
• A Component-Based Scheduling Architecture for the Enterprise DomainVassileios Tsetsos, Odysseas Sekkas, Ioannis Priggouris, Stathes Hadjiefthymiades. 315-318 [doi]
• Illegal References in a Real-Time Java Concurrent EnvironmentM. Teresa Higuera-Toledano. 321-324 [doi]
• A Real-Time Isolate Specification for Ravenscar-JavaHao Cai, Andy J. Wellings. 325-328 [doi]