13. ISORC 2010: Carmona, Sevilla, Spain

Distributed Real-Time Systems

• Joseph P. Loyall, Matthew Gillen, Aaron Paulos, James R. Edmondson, Pooja Varshneya, Douglas C. Schmidt, Larry Bunch, Marco M. Carvalho, Andrew Martignoni:
  Dynamic Policy-Driven Quality of Service in Service-Oriented Systems. 1-9
  
• James H. Hill, Hunt Sutherland, Paul Stodinger, Thomas Silveria, Douglas C. Schmidt, John M. Slaby, Nikita Visnevski:
  OASIS: A Service-Oriented Architecture for Dynamic Instrumentation of Enterprise Distributed Real-Time and Embedded Systems. 10-17
  
• K. H. Kim, Jing Qian, Zhen Zhang, Qian Zhou, Kyung-Deok Moon, Jun Hee Park, Kwang-Roh Park, Doo-Hyun Kim:
  A Scheme for Reliable Real-Time Messaging with Bounded Delays. 18-27
  

Time-Triggered Systems

• Hermann Kopetz:
  Energy-Saving Mechanisms in the Time-Triggered Architecture. 28-33
  
• Fabian Scheler, Wolfgang Schröder-Preikschat:
  The RTSC: Leveraging the Migration from Event-Triggered to Time-Triggered Systems. 34-41
  
• Jon Perez, Antonio Perez, Roman Obermaisser:
  Executable Time-Triggered Model (E-TTM) for Real-Time Control Systems. 42-49
  

Model-Based Development

• Olivier Gilles, Jérôme Hugues:
  A MDE-Based Optimisation Process for Real-Time Systems. 50-57
  
• Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel:
  Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. 58-65
  
• David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim:
  Model-Based Programming of Modular Robots. 66-74
  
• Asma Charfi, Chokri Mraidha, Sébastien Gérard, François Terrier, Pierre Boulet:
  Does Code Generation Promote or Prevent Optimizations? 75-79
  

Dependable and Secure Computing

• Min-Jae Kim, Jin-Young Lee, Hyeyoung Chang, Seongje Cho, Yongsu Park, Minkyu Park, Philip A. Wilsey:
  Design and Performance Evaluation of Binary Code Packing for Protecting Embedded Software against Reverse Engineering. 80-86
  
• Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon:
  Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. 87-91
  
• Juan Pedro Silva Gallino, Miguel A. de Miguel, Javier Fernández Briones, Alejandro Alonso:
  Model-Driven Development of a Web Service-Oriented Architecture and Security Policies. 92-96
  
• Christian Esposito, Domenico Cotroneo, Stefano Russo:
  Reliable Event Dissemination over Wide-Area Networks without Severe Performance Fluctuations. 97-101
  
• Mohsen Bashiri, Seyed Ghassem Miremadi:
  Investigating the Effects of Schedulability Conditions on the Power Efficiency of Task Scheduling in an Embedded System. 102-106
  

Timing Analysis

• Sascha Plazar, Paul Lokuciejewski, Peter Marwedel:
  WCET-Driven Cache-Aware Memory Content Selection. 107-114
  
• Paul Lokuciejewski, Sascha Plazar, Heiko Falk, Peter Marwedel, Lothar Thiele:
  Multi-objective Exploration of Compiler Optimizations for Real-Time Systems. 115-122
  
• Albrecht Kadlec, Raimund Kirner, Peter P. Puschner:
  Avoiding Timing Anomalies Using Code Transformations. 123-132
  

Component-Based Architectures

• Juan A. Colmenares, K. H. Kim, Zhen Zhang, Chae-Deok Lim, Kee-Wook Rim:
  Real-Time-Component Based Software Architecture for QoS-adaptive Networked Multimedia Applications. 133-142
  
• Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan:
  A Real-Time Component Framework: Experience with CCM and ARINC-653. 143-150
  
• Takuya Azumi, Hiroaki Takada, Takayuki Ukai, Hiroshi Oyama:
  Wheeled Inverted Pendulum with Embedded Component System: A Case Study. 151-155
  

Configuration and Adaptation

• Nan Li, Hong Li, Jian Wu, Xiaofeng Zhong, Zheng Sun, Wei Bao:
  AUTOSAR Based Automatic GUI Generation. 156-162
  
• Alexander von Renteln, Uwe Brinkschulte:
  Implementing and Evaluating the AHS Organic Middleware - A First Approach. 163-169
  
• Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama:
  Non-regular Adaptation of Services Using Model Checking. 170-174
  
• Bernhard Wolf, Ingo Behrens:
  On-the-Fly Adaptation of Data Stream Queries. 175-179
  
• Kaigui Wu, Changze Wu, Lu Liu, Jie Xu:
  State-Based Search Strategy in Unstructured P2P. 180-184
  

Multi-core Platforms

• Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup:
  Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs. 185-192
  
• Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer:
  RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor. 193-201
  
• Hiromasa Shimada, Alexandre Courbot, Yuki Kinebuchi, Tatsuo Nakajima:
  A Lightweight Monitoring Service for Multi-core Embedded Systems. 202-209
  
• Armin Wasicek, Christian El Salloum, Hermann Kopetz:
  A System-on-a-Chip Platform for Mixed-Criticality Applications. 210-216
  

RTSJ

• Thomas Richardson, Andy J. Wellings:
  An Admission Control Protocol for Real-Time OSGi. 217-224
  
• Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres:
  Towards Propagation of Non-functional Information in Distributed Real-Time Java. 225-232
  
• J. A. Dianes, M. Díaz, B. Rubio:
  ServiceDDS: A Framework for Real-Time P2P Systems Integration. 233-237
  

Validation and Verification

• Hector Posadas, Eugenio Villar, Dominique Ragot, Marcos Martínez:
  Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment. 238-244
  
• Simone Meixler, Uwe Brinkschulte:
  Test Case Generation for Non-functional and Functional Testing of Services. 245-249
  
• Sehun Jeong, Junbeom Yoo, Sung Deok Cha:
  VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. 250-254
  

Last update Fri May 25 08:24:15 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page