8. ISORC 2005: Seattle, WA, USA

• Message from the Program Co-Chairs.
  
• Committees.
  

Session 1: National Level Software Technology Movement

• Philipp Peti, Roman Obermaisser, Fulvio Tagliabo, A. Marino, S. Cerchio:
  An Integrated Architecture for Future Car Generations. 2-13
  

Session 2: Technology Trends I

• Bran Selic:
  On Software Platforms, Their Modeling with UML 2, and Platform-Independent Design. 15-21
  
• Hermann Kopetz, Astrit Ademaj, Petr Grillinger, Klaus Steinhammer:
  The Time-Triggered Ethernet (TTE) Design. 22-33
  
• K. H. (Kane) Kim, Yuqing Li, Sheng Liu, Moon-hae Kim, Doo-Hyun Kim:
  RMMC Programming Model and Support Execution Engine in the TMO Programming Scheme. 34-43
  

Session 3: Technology Trends II

• Gregory Bollella, Bertrand Delsart, Romain Guider, Christophe Lizzi, Frédéric Parain:
  Mackinac: Making HotSpot^TM Real-Time. 45-54
  
• Binoy Ravindran, E. Douglas Jensen, Peng Li:
  On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management. 55-60
  

Session 4A: Industrial Advances I

• Mark Schulte:
  Model-Based Integration of Reusable Component-Based Avionics Systems - A Case Study. 62-71
  
• Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
  Revisiting COTS middleware for DRE systems. 72-79
  
• Johannes Helander, Stefan B. Sigurdsson:
  Self-Tuning Planned Actions Time to Make Real-Time SOAP Real. 80-89
  
• Phillip Schmidt, Jaime Milstein, Sergio Alvarado:
  Architectural Assessment of Embedded Systems Using Aspect-Oriented Programming Principles. 90-93
  

Session 4B: Software Design

• Toshiaki Aoki, Takuya Katayama:
  Formalization and Analysis of Dataflow in Object-Oriented Design Models. 95-105
  
• Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul:
  An Approach for Designing Highly Adaptable Process-Control Systems. 106-113
  
• Azam Ghafoor, Samir M. Iqbal, Rashid Bashir:
  A System Architecture for Real-Time Imaging of Nano-Scale Viruses using Remote AFM. 114-120
  
• Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi:
  On the adequacy of UML-RT for performance validation of an SDH telecommunication system. 121-124
  
• Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira:
  An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems. 125-128
  

Session 5A: Industrial Advances II

• Johannes Helander, Yong Xiong:
  Secure Web Services for Low-Cost Devices. 130-139
  
• Hideaki Saiki, Yoshiharu Konaka, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa:
  Real-Time GC in JeRTy^TmVM Using the Return-Barrier Method. 140-148
  
• Casey K. Fung, Patrick C. K. Hung:
  System Recovery through Dynamic Regeneration of Workflow Specification. 149-157
  

Session 5B: System Design

• Bhavani M. Thuraisingham, Latifur Khan, Chris Clifton, John A. Maurer, Marion G. Ceruti:
  Dependable Real-Time Data Mining. 158-165
  
• Madhukar Anand, Jesung Kim, Insup Lee:
  Code Generation from Hybrid Systems Models for Distributed Embedded Systems. 166-173
  
• Uwe Brinkschulte, Etienne Schneider, Florentin Picioroaga:
  Dynamic Real-time Reconfiguration in Distributed Systems: Timing Issues and Solutions. 174-181
  
• Jung-Guk Kim, Moon-hae Kim, Kwang Kim, Shin Heu:
  TMO-eCos: An eCos-based Real-time Micro Operating System Supporting Execution of a TMO Structured Program. 182-189
  
• Raimund Kirner, Peter P. Puschner:
  Classification of WCET Analysis Techniques. 190-199
  

Panel: Autonomic Computing

• Hartmut Schmeck:
  Organic Computing - A New Vision for Distributed Embedded Systems. 201-203
  
• Yuan-Shun Dai:
  Autonomic Computing and Reliability Improvement. 204-206
  

Session 6A: Scheduling and Resource Management

• Majed Abdouli, Bruno Sadeg, Laurent Amanton:
  Scheduling Distributed Real-Time Nested Transactions. 208-215
  
• Peng Li, Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
  Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances. 216-223
  
• Keqiu Li, Hong Shen, Francis Y. L. Chin:
  Placement Solutions for Multiple Versions of A Multimedia Object. 224-231
  

Session 6B: Communication

• Fang Chen, Vana Kalogeraki:
  Adaptive Real-Time Update Dissemination in Distributed Virtual Simulation Environments. 233-236
  
• Wajahat Mateen, Saqib Raza, Zartash Afzal Uzmi, Shahab Baqai:
  Adaptive Multi-path On-Demand Routing in Mobile Ad Hoc Networks. 237-244
  
• Kenichi Watanabe, Tomoya Enokido, Makoto Takizawa, K. H. (Kane) Kim:
  Acquaintance-based Protocol for Detecting Multimedia Objects in Peer-to-Peer Overlay Networks. 245-252
  
• Xiuli Ren, Haibin Yu:
  Multipath Disjoint Routing Algorithm for Ad Hoc Wireless Sensor Networks. 253-256
  

Session 7A: Fault Tolerance and Security

• Paul Townend, Paul T. Groth, Jie Xu:
  A Provenance-Aware Weighted Fault Tolerance Scheme for Service-Based Applications. 258-266
  
• Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal:
  Building Responsive TMR-Based Servers in Presence of Timing Constraints. 267-274
  
• André Luiz de Freitas Francisco, Franz J. Rammig:
  Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded Systems. 275-283
  
• Basit Shafiq, Arjmand Samuel, Halima Ghafoor:
  A GTRBAC Based System for Dynamic Workflow Composition and Management. 284-290
  

Session 7B: Web Services

• Hai Huang, Wei-Tek Tsai, Raymond A. Paul:
  Proof Slicing with Application to Model Checking Web Services. 292-299
  
• Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen:
  Automated Model Checking and Testing for Composite Web Services. 300-307
  
• Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao:
  Adaptable Situation-Aware Secure Service-Based (AS³) Systems. 308-315
  
• Mi Zhang, Jianjun Xu, Zunping Cheng, Yinsheng Li, Binyu Zang:
  A Web Service-Based Framework for Supply Chain Management. 316-319
  

Session 8A: Data Management

• Yunmook Nah, Joonwoo Lee, Seungyong Park, Ho Lee, Sangwoo Kim, Moon-hae Kim, Ki-Joon Han:
  TMO-Structured Distributed Location Information System Prototype. 321-328
  
• Marcello Cinque, Fabio Cornevilli, Domenico Cotroneo, Stefano Russo:
  An Automated Distributed Infrastructure for Collecting Bluetooth Field Failure Data. 329-336
  
• Emna Bouazizi, Claude Duvallet, Bruno Sadeg:
  Management of QoS and Data Freshness in RTDBSs using Feedback Control Scheduling and Data Versions. 337-340
  

Session 8B: Middleware

• Shruti Gorappa, Juan A. Colmenares, Hojjat Jafarpour, Raymond Klefstad:
  Tool-Based Configuration of Real-Time CORBA Middleware for Embedded Systems. 342-349
  
• Stephen F. Jenks, K. H. (Kane) Kim, Emmanuel Henrich, Yuqing Li, Liangchen Zheng, Moon-hae Kim, Hee Yong Youn, Kyung-Hee Lee, Dong-Myung Seol:
  A Linux-Based Implementation of a Middleware Model Supporting Time-Triggered Message-Triggered Objects. 350-358
  
• Gurdip Singh, Sanghamitra Das:
  Customizing Event Ordering Middleware for Component-Based Systems. 359-362
  

Session 9A: Real-Time Java

• Hao Cai, Andy J. Wellings:
  Temporal Isolation in Ravenscar-Java. 364-371
  
• Anders Nilsson, Sven Gestegard Robertz:
  On Real-Time Performance of Ahead-of-Time Compiled Java. 372-381
  
• Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres:
  Towards the Integration of Scoped Memory in Distributed Real-Time Java. 382-389
  
• Daniel Tejera, Ruth Tolosa, Miguel A. de Miguel, Alejandro Alonso:
  Two Alternative RMI Models for Real-Time Distributed Applications. 390-397
  
• Jameela Al-Jaroodi, Nader Mohamed:
  Object-Reuse for More Predictable Real-Time Java Behavior. 398-401
  

Session 9B: Component-Based Development

• Hiroo Ishikawa, Tatsuo Nakajima:
  EarlGray: A Component-Based Java Virtual Machine for Embedded Systems. 403-409
  
• Zonghua Gu, Kang G. Shin:
  Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. 410-417
  
• Andreas Rasche, Marco Puhlmann, Andreas Polze:
  Heterogeneous Adaptive Component-Based Applications with Adaptive.Net. 418-425
  
• Jia Zhou, Kendra Cooper, I-Ling Yen, Raymond A. Paul:
  Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration. 426-433
  
• François Lagarde, Ansgar Radermacher, Sylvain Robert, Sébastien Gérard, David Servat:
  Issues in mapping CORBA Component Model to OSEK. 434-437
  

Last update Sat May 18 19:08:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page