Table of Contents

• Committees [doi]
• Message from the Program Co-Chairs [doi]
• An Integrated Architecture for Future Car GenerationsPhilipp Peti, Roman Obermaisser, Fulvio Tagliabo, A. Marino, S. Cerchio. 2-13 [doi]
• On Software Platforms, Their Modeling with UML 2, and Platform-Independent DesignBran Selic. 15-21 [doi]
• The Time-Triggered Ethernet (TTE) DesignHermann Kopetz, Astrit Ademaj, Petr Grillinger, Klaus Steinhammer. 22-33 [doi]
• RMMC Programming Model and Support Execution Engine in the TMO Programming SchemeK. H. (Kane) Kim, Yuqing Li, Sheng Liu, Moon-hae Kim, Doo-Hyun Kim. 34-43 [doi]
• Mackinac: Making HotSpot:::TM::: Real-TimeGregory Bollella, Bertrand Delsart, Romain Guider, Christophe Lizzi, Frédéric Parain. 45-54 [doi]
• On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource ManagementBinoy Ravindran, E. Douglas Jensen, Peng Li. 55-60 [doi]
• Model-Based Integration of Reusable Component-Based Avionics Systems - A Case StudyMark Schulte. 62-71 [doi]
• Revisiting COTS middleware for DRE systemsJérôme Hugues, Laurent Pautet, Fabrice Kordon. 72-79 [doi]
• Self-Tuning Planned Actions Time to Make Real-Time SOAP RealJohannes Helander, Stefan B. Sigurdsson. 80-89 [doi]
• Architectural Assessment of Embedded Systems Using Aspect-Oriented Programming PrinciplesPhillip Schmidt, Jaime Milstein, Sergio Alvarado. 90-93 [doi]
• Formalization and Analysis of Dataflow in Object-Oriented Design ModelsToshiaki Aoki, Takuya Katayama. 95-105 [doi]
• An Approach for Designing Highly Adaptable Process-Control SystemsDongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul. 106-113 [doi]
• A System Architecture for Real-Time Imaging of Nano-Scale Viruses using Remote AFMAzam Ghafoor, Samir M. Iqbal, Rashid Bashir. 114-120 [doi]
• On the adequacy of UML-RT for performance validation of an SDH telecommunication systemVittorio Cortellessa, Pierluigi Pierini, Daniele Rossi 0002. 121-124 [doi]
• An Object-Oriented Platform-based Design Process for Embedded Real-Time SystemsMarco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira. 125-128 [doi]
• Secure Web Services for Low-Cost DevicesJohannes Helander, Yong Xiong. 130-139 [doi]
• Real-Time GC in JeRTy:::Tm:::VM Using the Return-Barrier MethodHideaki Saiki, Yoshiharu Konaka, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa. 140-148 [doi]
• System Recovery through Dynamic Regeneration of Workflow SpecificationCasey K. Fung, Patrick C. K. Hung. 149-157 [doi]
• Dependable Real-Time Data MiningBhavani M. Thuraisingham, Latifur Khan, Chris Clifton, John A. Maurer, Marion G. Ceruti. 158-165 [doi]
• Code Generation from Hybrid Systems Models for Distributed Embedded SystemsMadhukar Anand, Jesung Kim, Insup Lee. 166-173 [doi]
• Dynamic Real-time Reconfiguration in Distributed Systems: Timing Issues and SolutionsUwe Brinkschulte, Etienne Schneider, Florentin Picioroaga. 174-181 [doi]
• TMO-eCos: An eCos-based Real-time Micro Operating System Supporting Execution of a TMO Structured ProgramJung-Guk Kim, Moon-hae Kim, Kwang Kim, Shin Heu. 182-189 [doi]
• Classification of WCET Analysis TechniquesRaimund Kirner, Peter P. Puschner. 190-199 [doi]
• Organic Computing - A New Vision for Distributed Embedded SystemsHartmut Schmeck. 201-203 [doi]
• Autonomic Computing and Reliability ImprovementYuan-Shun Dai. 204-206 [doi]
• Scheduling Distributed Real-Time Nested TransactionsMajed Abdouli, Bruno Sadeg, Laurent Amanton. 208-215 [doi]
• Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness AssurancesPeng Li, Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen. 216-223 [doi]
• Placement Solutions for Multiple Versions of A Multimedia ObjectKeqiu Li, Hong Shen, Francis Y. L. Chin. 224-231 [doi]
• Adaptive Real-Time Update Dissemination in Distributed Virtual Simulation EnvironmentsFang Chen, Vana Kalogeraki. 233-236 [doi]
• Adaptive Multi-path On-Demand Routing in Mobile Ad Hoc NetworksWajahat Mateen, Saqib Raza, Zartash Afzal Uzmi, Shahab Baqai. 237-244 [doi]
• Acquaintance-based Protocol for Detecting Multimedia Objects in Peer-to-Peer Overlay NetworksKenichi Watanabe, Tomoya Enokido, Makoto Takizawa, K. H. (Kane) Kim. 245-252 [doi]
• Multipath Disjoint Routing Algorithm for Ad Hoc Wireless Sensor NetworksXiuli Ren, Haibin Yu. 253-256 [doi]
• A Provenance-Aware Weighted Fault Tolerance Scheme for Service-Based ApplicationsPaul Townend, Paul T. Groth, Jie Xu. 258-266 [doi]
• Building Responsive TMR-Based Servers in Presence of Timing ConstraintsPaul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal. 267-274 [doi]
• Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded SystemsAndré Luiz de Freitas Francisco, Franz J. Rammig. 275-283 [doi]
• A GTRBAC Based System for Dynamic Workflow Composition and ManagementBasit Shafiq, Arjmand Samuel, Halima Ghafoor. 284-290 [doi]
• Proof Slicing with Application to Model Checking Web ServicesHai Huang, Wei-Tek Tsai, Raymond A. Paul. 292-299 [doi]
• Automated Model Checking and Testing for Composite Web ServicesHai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen. 300-307 [doi]
• Adaptable Situation-Aware Secure Service-Based (AS:::3:::) SystemsStephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao. 308-315 [doi]
• A Web Service-Based Framework for Supply Chain ManagementMi Zhang, Jianjun Xu, Zunping Cheng, Yinsheng Li, Binyu Zang. 316-319 [doi]
• TMO-Structured Distributed Location Information System PrototypeYunmook Nah, Joonwoo Lee, Seungyong Park, Ho Lee, Sangwoo Kim, Moon-hae Kim, Ki-Joon Han. 321-328 [doi]
• An Automated Distributed Infrastructure for Collecting Bluetooth Field Failure DataMarcello Cinque, Fabio Cornevilli, Domenico Cotroneo, Stefano Russo. 329-336 [doi]
• Management of QoS and Data Freshness in RTDBSs using Feedback Control Scheduling and Data VersionsEmna Bouazizi, Claude Duvallet, Bruno Sadeg. 337-340 [doi]
• Tool-Based Configuration of Real-Time CORBA Middleware for Embedded SystemsShruti Gorappa, Juan A. Colmenares, Hojjat Jafarpour, Raymond Klefstad. 342-349 [doi]
• A Linux-Based Implementation of a Middleware Model Supporting Time-Triggered Message-Triggered ObjectsStephen F. Jenks, K. H. (Kane) Kim, Emmanuel Henrich, Yuqing Li, Liangchen Zheng, Moon-hae Kim, Hee Yong Youn, Kyung-Hee Lee, Dong-Myung Seol. 350-358 [doi]
• Customizing Event Ordering Middleware for Component-Based SystemsGurdip Singh, Sanghamitra Das. 359-362 [doi]
• Temporal Isolation in Ravenscar-JavaHao Cai, Andy J. Wellings. 364-371 [doi]
• On Real-Time Performance of Ahead-of-Time Compiled JavaAnders Nilsson, Sven Gestegard Robertz. 372-381 [doi]
• Towards the Integration of Scoped Memory in Distributed Real-Time JavaPablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres. 382-389 [doi]
• Two Alternative RMI Models for Real-Time Distributed ApplicationsDaniel Tejera, Ruth Tolosa, Miguel A. de Miguel, Alejandro Alonso. 390-397 [doi]
• Object-Reuse for More Predictable Real-Time Java BehaviorJameela Al-Jaroodi, Nader Mohamed. 398-401 [doi]
• EarlGray: A Component-Based Java Virtual Machine for Embedded SystemsHiroo Ishikawa, Tatsuo Nakajima. 403-409 [doi]
• Model-Checking of Component-Based Event-Driven Real-Time Embedded SoftwareZonghua Gu, Kang G. Shin. 410-417 [doi]
• Heterogeneous Adaptive Component-Based Applications with Adaptive.NetAndreas Rasche, Marco Puhlmann, Andreas Polze. 418-425 [doi]
• Rule-Base Technique for Component Adaptation to Support QoS-based ReconfigurationJia Zhou, Kendra Cooper, I-Ling Yen, Raymond A. Paul. 426-433 [doi]
• Issues in mapping CORBA Component Model to OSEKFrançois Lagarde, Ansgar Radermacher, Sylvain Robert, Sébastien Gérard, David Servat. 434-437 [doi]