13. ISORC 2010: Carmona, Sevilla, Spain
13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010, Carmona, Sevilla, Spain, 5-6 May 2010. IEEE Computer Society 2010
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

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

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

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

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



