Table of Contents

• Committees [doi]
• Secondary Reviewers [doi]
• Message from the Program Co-Chairs [doi]
• Message from the Symposium Co-Chairs [doi]
• Towards Developing a Secure Dependable System: Development, Issues, and Challenges [doi]
• Getting More Flexible Scheduling in the RTSJAlexandros Zerzelidis, Andy J. Wellings. 3-10 [doi]
• Automatic Memory Management in Utility Accrual Scheduling EnvironmentsShahrooz Feizabadi, Godmar Back. 11-19 [doi]
• A Hybrid Scheduling Scheme for Hard, Soft and Non-Real-time TasksPengliu Tan, Hai Jin, Minghu Zhang. 20-26 [doi]
• Scheduling Non-Preemptive Periodic Tasks in Soft Real-Time Systems Using Fuzzy InferenceMojtaba Sabeghi, Mahmoud Naghibzadeh, Toktam Taghavi. 27-32 [doi]
• Load Balancing Techniques for Distributed Stream Processing Applications in Overlay EnvironmentsYannis Drougas, Thomas Repantis, Vana Kalogeraki. 33-42 [doi]
• MDA-Based Development in the DECOS Integrated Architecture - Modeling the Hardware PlatforBernhard Huber, Roman Obermaisser, Philipp Peti. 43-52 [doi]
• Looking Ahead in Open Multithreaded TransactionsMaxime Monod, Jörg Kienzle, Alexander Romanovsky. 53-63 [doi]
• A Space-Efficient Caching Mechanism for Flash-Memory Address TranslationChin-Hsien Wu, Tei-Wei Kuo, Chia-Lin Yang. 64-71 [doi]
• Accounting System: A Fine-Grained CPU Resource Protection Mechanism for Embedded SystemMidori Sugaya, Shuichi Oikawa, Tatsuo Nakajima. 72-84 [doi]
• Java Framework for Distributed Real-Time Embedded SystemsElias Teodoro Silva Jr., Edison Pignaton de Freitas, Flávio Rech Wagner, Fabiano Costa Carvalho, Carlos Eduardo Pereira. 85-92 [doi]
• A Software Enhancement System for Embedded Software DevelopmentJia Zhou, Kendra Cooper, I-Ling Yen, John Linn, Raymond A. Paul. 93-100 [doi]
• Integrated Scheduling with Garbage Collection for Real-Time Embedded Applications in CLIOkehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott Rachlin. 101-108 [doi]
• Deductive Glue Code Synthesis for Embedded Software Systems Based on Code PatternsJian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau. 109-116 [doi]
• Embedded Sensor Networked Operating SystemSeungmin Park, Jin Won Kim, Kwangyong Lee, Kee-Young Shin, Daeyoung Kim. 117-124 [doi]
• Towards a Real-Time Implementation of the ECMA Common Language InfrastructureMartin von Löwis, Andreas Rasche. 125-132 [doi]
• Dependable and Secure TMO SchemeJungin Kim, Bhavani M. Thuraisingham. 133-140 [doi]
• RTSTREAM: Real-Time Query Processing for Data StreamsYuan Wei, Sang Hyuk Son, John A. Stankovic. 141-150 [doi]
• Dynamically Deploying Web Services on a Grid using DynasoarPaul Watson, Chris Fowler, Charles Kubicek, Arijit Mukherjee, John Colquhoun, Mark Hewitt, Savas Parastatidis. 151-158 [doi]
• Deterministic delta-Connected Overlay for Peer-to-Peer NetworksAjoy Kumar Datta, Maria Gradinariu, Antonino Virgillito. 159-168 [doi]
• A Flexible, High-Precise Time Synchronization for Multi-hop Sensor NetworksKee-Young Shin, Kwangyong Lee, Haeyong Kim, Pyeong-Soo Mah, Seungmin Park, Chaedeok Lim, Heung-Nam Kim. 169-173 [doi]
• A Novel Multipath Disjoint Routing to Support Ad Hoc Wireless Sensor NetworksXiuli Ren, Haibin Yu. 174-178 [doi]
• Individual Contour Extraction for Robust Wide Area Target Tracking in Visual Sensor NetworksXiaoling Wu, Hoon Heo, Riaz Ahmed Shaikh, Jinsung Cho, Oksam Chae, Sungyoung Lee. 179-185 [doi]
• A Fault-Tolerant Model ofWireless Sensor-Actor NetworkKeiji Ozaki, Kenichi Watanabe, Satoshi Itaya, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa. 186-193 [doi]
• QoS Support for Mobile Ad-Hoc Networks Based on a Reservation PoolMin-Gu Lee, Sunggu Lee. 194-205 [doi]
• A Real-time Media Framework for Asymmetric MPSoCJunggyu Park, Hyojung Song, Seungmo Cho, Najeong Han, Kyungjeon Kim, Jinman Park. 205-207 [doi]
• Lessons Learned Applying Performance Modeling and Analysis TechniquesJulie A. Street, Robert G. Pettit IV. 208-214 [doi]
• On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing AssurancesHyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Douglas Jensen. 215-223 [doi]
• A Framework for DRE middleware, an Application to DDSJérôme Hugues, Laurent Pautet, Fabrice Kordon. 224-231 [doi]
• JAAT: Java Alias Analysis Tool for Program Maintenance ActivitiesFumiaki Ohata, Katsuro Inoue. 232-244 [doi]
• Distributed Real-time Computing in Autonomous Robots using Time-Triggered and Message-Triggered Objects (TMOs)Jan O. Biermeyer, Vason P. Srini, Bernd Kleinjohann. 245-252 [doi]
• A QoS-Negotiable Middleware System for Reliably Multicasting Messages of Arbitrary SizeAntonio Di Ferdinando, Paul D. Ezhilchelvan, Michael Dales, Jon Crowcroft. 253-260 [doi]
• Design of A Hyperlink-based Software Architecture for Smart DevicesYukikazu Nakamoto, Mitsuko Sato. 261-268 [doi]
• Modeling of a Monitoring Scheme for TMO Model-based Real-Time SystemsYoon Seok Jeong, Tae Wan Kim, Chun-Hyon Chang. 269-278 [doi]
• A Fault-Tolerant Transactional Agent Model on Distributed ObjectsYouhei Tanaka, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa. 279-286 [doi]
• Incorporating Situation Awareness in Service SpecificationsStephen S. Yau, Junwei Liu. 287-294 [doi]
• Architecture Classification for SOA-Based ApplicationsWei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung. 295-302 [doi]
• Modeling Behavioral Patterns of Concurrent Objects Using Petri NetsRobert G. Pettit IV, Hassan Gomaa. 303-312 [doi]
• Model-Driven Development: Its Essence and OpportunitiesBran Selic. 313-319 [doi]
• Model Based Integration of Safety Analysis and DevelopmentMiguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso. 323-326 [doi]
• Modularizing Variability and Scalability Concerns in Distributed Real-Time and Embedded Systems with Modeling Tools and Component MiddlewareGan Deng, Douglas C. Schmidt, Aniruddha S. Gokhale, Andrey Nechypurenko. 327-334 [doi]
• Safe and Timely Scenario Switching in UML Real-Time ProjectsRoman Gumzej, Matjaz Colnaric, Wolfgang A. Halang. 335-342 [doi]
• From UML/SPT Models to Schedulability Analysis: a Metamodel-Based TransformationAbdelouahed Gherbi, Ferhat Khendek. 343-350 [doi]
• Interaction-Based Behavior Modeling of Embedded Software using UML 2.0Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae. 351-358 [doi]
• Predictability of Earliest Deadline Zero Laxity Algorithm for Multiprocessor Real-Time SystemsXuefeng Piao, Sangchul Han, Heeheon Kim, Minkyu Park, Yookun Cho, Seongje Cho. 359-364 [doi]
• Complexity Management for Composable Real-Time SystemsBernhard Rumpler. 365-373 [doi]
• Using the FOMDA Approach to Support Object-Oriented Real-Time Systems DevelopmentFabio Paulo Basso, Toacy Cavalcante de Oliveira, Leandro Buss Becker. 374-381 [doi]
• Real-time Operating Systems for Self-coordinating Embedded SystemsFranz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür. 382-392 [doi]
• Formal Modeling and Analysis of the AFDX Frame Management DesignMadhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee. 393-399 [doi]
• Towards an Organic Middleware for Real-Time ApplicationsMathias Pacher, Alexander von Renteln, Uwe Brinkschulte. 400-407 [doi]
• A Hybrid Approach in TADE for Derivation of Execution Time Bounds of Program-Segments in Distributed Real-Time Embedded ComputingChansik Im, K. H. (Kane) Kim. 408-418 [doi]
• Analyzing the Memory Management Semantic and Requirements of the Real-time Specification of Java JSR-0000001M. Teresa Higuera-Toledano. 419-423 [doi]
• Real-Time Garbage Collection for JavaMartin Schoeberl. 424-432 [doi]
• Java Virtual Machine Monitoring for Dependability BenchmarkingSalvatore Orlando 0002, Stefano Russo. 433-440 [doi]
• Design Patterns for Releasing Applications in C++ Implementations of JTRS Software Communications ArchitectureMichael Barth, Jonghun Yoo, Saehwa Kim, Seongsoo Hong. 441-450 [doi]
• Long-term Location Data Management for Distributed Moving Object DatabasesHo Lee, Jaeil Hwang, Joonwoo Lee, Seungyong Park, Chungwoo Lee, Yunmook Nah, Segil Jeon, Moon-hae Kim. 451-458 [doi]
• XML Descriptor Based Approach for Real Time Data MessagingPolly M. S. Poon, Tharam S. Dillon, Elizabeth Chang, Ling Feng. 459-468 [doi]
• An IEEE1394-Based Real-Time Distributed IPC System for Collaborating TMO sJae Gi Son, Sang-Hyun Park, Jung-Guk Kim, Moon-hae Kim. 469-475 [doi]
• Portable Data Exchange for Remote-Testing FrameworksRaimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder. 476-484 [doi]
• Dependability Driven Integration of Mixed Criticality SW ComponentsShariful Islam, Robert Lindstrom, Neeraj Suri. 485-495 [doi]
• A Lightweight Intrusion-Tolerant Overlay NetworkRafael R. Obelheiro, Joni da Silva Fraga. 496-503 [doi]
• An Infrastructure for Adaptive Fault Tolerance on FT-CORBALau Cheuk Lung, Fábio Favarim, Giuliana Teixeira Santos, Miguel Correia. 504-511 [doi]
• A Practical Approach to Secure Web ServicesJie Xu, Erica Y. Yang, Keith H. Bennett. 512-519 [doi]
• Automated Logging of Mobile Phones Failures DataPaolo Ascione, Marcello Cinque, Domenico Cotroneo. 520-530 [doi]
• Automatic Performance Visualization of Distributed Real-Time SystemsTrevor Harmon, Raymond Klefstad. 531-538 [doi]
• Diagnostic Framework for Integrated Time-Triggered ArchitecturesPhilipp Peti, Roman Obermaisser. 539-549 [doi]
• Evaluation of the Komodo Microcontroller and the OSA+ Middleware Using an Autonomous Guided VehicleUwe Brinkschulte, Mathias Pacher, Florentin Picioroaga, Stefan Gaa. 550-557 [doi]
• Tree-Based WCET Analysis on Instrumentation Point GraphsAdam Betts, Guillem Bernat. 558-565 [doi]
• FP/FIFO Feasibility Conditions with Kernel Overheads for Periodic Tasks on an Event Driven OSEK SystemFranck Bimbard, Laurent George. 566-574 [doi]