The Community for Technology Leaders
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2007)
Santorini Island, Greece
May 7, 2007 to May 9, 2007
ISBN: 0-7695-2765-5
TABLE OF CONTENTS
Introduction

Committees (PDF)

pp. xiii-xiv
Session 1: Technology Trends

Periodic Finite-State Machines (Abstract)

H. Kopetz , Institut fur Technische Informatik, TU Wien, Austria
R. Obermaisser , Institut fur Technische Informatik, TU Wien, Austria
B. Huber , Institut fur Technische Informatik, TU Wien, Austria
C. El-Salloum , Institut fur Technische Informatik, TU Wien, Austria
pp. 10-20

Engineering Self-Coordinating Real-Time Systems (Abstract)

Franz J. Rammig , University of Paderborn, Germany
pp. 21-28

Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads (Abstract)

Juan A. Colmenares , University of California, Irvine, USA
K.H. Kim , University of California, Irvine, USA
Kee-Wook Rim , Sunmoon University, Korea
pp. 29-40
Session 2: Component-Based Software Development

A Unified Benchmarking Process for Components in Automotive Embedded Systems Software (Abstract)

Karl M. Goschka , Vienna University of Technology, Austria
Christof Kutschera , University of Applied Sciences Technikum Vienna, Austria
Wolfgang Forster , Vienna University of Technology, Austria
Dietmar Schreiner , Vienna University of Technology, Austria; University of Applied Sciences Technikum Vienna, Austria
pp. 41-45

A New Specification of Software Components for Embedded Systems (Abstract)

Takuya Azumi , Nagoya University, Japan
Nobuhisa Takagi , Kijineko Inc., Japan
Hiroaki Takada , Nagoya University, Japan
Hiroshi Oyama , OKUMA Corporation
Masanari Yamamoto , Nagoya University, Japan
Yasuo Kominami , TOPPERS Project Inc., Japan
pp. 46-50

A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols (Abstract)

Sara Tucci Piergiovanni , Universita di Roma La Sapienza, Italy
Jean-Michel Helary , University of Rennes, France
Roberto Baldoni , Universita di Roma La Sapienza, Italy
pp. 51-61

QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component Middleware (Abstract)

Aniruddha Gokhale , Vanderbilt University, Nashville, USA
Nishanth Shankaran , Vanderbilt University, Nashville, USA
Douglas C. Schmidt , Vanderbilt University, Nashville, USA
Krishnakumar Balasubramanian , Vanderbilt University, Nashville, USA
Amogh Kavimandan , Vanderbilt University, Nashville, USA
pp. 62-70
Session 3: Fundamental Issues in Distributed RT Computing

A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems (Abstract)

Ernesto Jimenez , Universidad Politecnica de Madrid, Spain
Gilles Tredan , IRISA, Universite de Rennes, France
Antonio Fernandez , Universidad Rey Juan Carlos, Spain
Michel Raynal , IRISA, Universite de Rennes, France
pp. 71-78

Detection of Fractal Breakdowns by the Novel Real-Time Pattern Detection Model (Enhanced-RTPD+Holder Exponent) for Web Applications (Abstract)

Wilfred W.K. Lin , Curtin University of Technology
Elizabeth Chang , Curtin University of Technology
Tharam S. Dillon , Curtin University of Technology
Allan K.Y. Wong , Hong Kong Polytechnic University, Hong Kong
pp. 79-86

Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache (Abstract)

Raimund Kirner , Technische Universitat Wien, Austria
Peter Puschner , Technische Universitat Wien, Austria
pp. 87-93
Session 4A: Real-Time Java

A Profile for Safety Critical Java (Abstract)

Anders P. Ravn , Aalborg University, Denmark
Bent Thomsen , Aalborg University, Denmark
Hans Sondergaard , Vitus Bering Denmark University College, Denmark
Martin Schoeberl , Vienna University of Technology, Austria
pp. 94-101

Predictable Serialization in Java (Abstract)

Miguel A. de Miguel , Universidad Politecnica de Madrid, Spain
Alejandro Alonso , Universidad Politecnica de Madrid, Spain
Daniel Tejera , Universidad Politecnica de Madrid, Spain
pp. 102-109

Allowing Cycles References among Scoped Memory Areas in the Real-Time Specification of Java (Abstract)

M.T. Higuera Toledano , Universidad Complutense de Madrid Ciudad Universitaria, Spain
pp. 110-114

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java (Abstract)

Andy Wellings , University of York, UK
Benjamin M. Brosgol , AdaCore, USA
Osmar Marchi dos Santos , University of York, UK
Alan Burns , University of York, UK
pp. 115-123
Session 4B: Software Design

Analyzing Behavior of Concurrent Software Designs for Embedded Systems (Abstract)

Robert G. Pettit IV , The Aerospace Corporation, USA
Hassan Gomaa , George Mason University, USA
pp. 124-132

Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded Computing (Abstract)

Raghu Ganti , University of Illinois at Urbana Champaign, USA
Qing Cao , University of Illinois at Urbana Champaign, USA
Jin Heo , University of Illinois at Urbana Champaign, USA
Yu-En Tsai , University of Illinois at Urbana Champaign, USA
Praveen Jayachandran , University of Illinois at Urbana Champaign, USA
Maifi Khan , University of Illinois at Urbana Champaign, USA
Dan Henriksson , University of Illinois at Urbana Champaign, USA
Hieu Khac Le , University of Illinois at Urbana Champaign, USA
Liqian Luo , University of Illinois at Urbana Champaign, USA
Chengdu Huang , University of Illinois at Urbana Champaign, USA
Tarek Abdelzaher , University of Illinois at Urbana Champaign, USA
pp. 133-140

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems (Abstract)

Alexander Romanovsky , Newcastle University, UK
Linas Laibinis , Aabo Akademi University, Finland
Elena Troubitsyna , Aabo Akademi University, Finland
Alexei Iliasov , Newcastle University, UK
Budi Arief , Newcastle University, UK
pp. 141-145

Design of Secure CAMIN Application System Based on Dependable and Secure TMO and RT-UCON (Abstract)

Bhavani Thuraisingham , University of Texas at Dallas, USA
Jungin Kim , University of Texas at Dallas, USA
pp. 146-155
Session 5A: Wireless and Mobile Networks

Efficient Data Transmission in a Lossy and Resource Limited Wireless Sensor-Actuator Network (Abstract)

Kenichi Watanabe , Tokyo Denki University, Japan
Kiyohiro Morita , Tokyo Denki University, Japan
Tomoya Enokido , Rissho University, Japan
Makoto Takizawa , Tokyo Denki University, Japan
Naohiro Hayashibara , Tokyo Denki University, Japan
pp. 156-163

Search-Oriented Deployment Strategies for Wireless Sensor Networks (Abstract)

Pi-Cheng Hsiu , National Taiwan University, Taiwan
Jiun-Jian Chang , National Taiwan University, Taiwan
Tei-Wei Kuo , National Taiwan University, Taiwan
pp. 164-171

Data Dissemination for Wireless Sensor Networks (Abstract)

Sunggu Lee , POSTECH, S.Korea
Min-Gu Lee , KT Corporation
pp. 172-180
Session 5B: Middleware

A Novel Synchronous Scheduling Service for CORBA-RT Applications (Abstract)

Isidro Calvo , Engineering School of Bilbao, Spain
Adrian Noguero , Engineering School of Bilbao, Spain
Luis Almeida , University of Aveiro, Portugal
pp. 181-188

Using Multi-Agent Principles for Implementing an Organic Real-Time Middleware (Abstract)

Uwe Brinkschulte , University of Karlsruhe, Germany
Manuel Nickschas , University of Karlsruhe, Germany
pp. 189-195
Session 6A: Component Execution Support

A Comparative Evaluation of EJB Implementation Methods (Abstract)

Andreas Stylianou , Amdocs Dev. Ltd., Cyprus
Paul Ezhilchelvan , Newcastle University, UK
Giovanna Ferrari , Newcastle University, UK
pp. 204-213

Real-Time Dynamic Guarantee in Component-Based Middleware (Abstract)

Romulo Silva de Oliveira , Universidade Federal de Santa Catarina, Brazil
Carlos Montez , Universidade Federal de Santa Catarina, Brazil
Cassia Yuri Tatibana , Universidade Federal de Santa Catarina, Brazil
pp. 214-221

Evaluating Real-Time Publish/Subscribe Service Integration Approaches in QoS-Enabled Component Middleware (Abstract)

Gan Deng , Vanderbilt University, USA
Ming Xiong , Vanderbilt University, USA
Aniruddha Gokhale , Vanderbilt University, USA
George Edwards , University of Southern California, Los Angeles, USA
pp. 222-227
Session 6B: Sensor Networks

TMO-NanoQ+: A Real-Time Kernel for Sensor Networks Supporting Time-Triggered and Message-Triggered Tasks (Abstract)

Shin Heu , Hanyang University, Korea
Hyun-Ju Kim , Hankuk University of Foreign Studies, Korea
Jung-Guk Kim , Hankuk University of Foreign Studies, Korea
Byuongkyu Choi , Hanyang University, Korea
Jae-An Yi , Hanyang University, Korea
Hanseok Sue , Hankuk University of Foreign Studies, Korea
pp. 228-235

Toward a Generic and Secure Software Platform for Sensor Network Nodes (Abstract)

Yukikazu Nakamoto , University of Hyogo, Japan
Narutaka Chiba , University of Hyogo, Japan
Michio Kaneko , University of Hyogo, Japan
Yoko Furuzumi , University of Hyogo, Japan
Shuhei Higashiyama , University of Hyogo, Japan
pp. 236-240
Session 7A: Distributed Systems

QoS Management of Real-Time Data Stream Queries in Distributed Environments (Abstract)

Yuan Wei , University of Virginia, Charlottesville, USA
Vibha Prasad , University of Virginia, Charlottesville, USA
Sang H. Son , University of Virginia, Charlottesville, USA
pp. 241-248

An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems (Abstract)

Pablo Basanta-Val , Univ. Carlos III de Madrid, Spain
Luis Almeida , Universidade de Aveiro, Portugal
Marisol Garcia-Valls , Univ. Carlos III de Madrid, Spain
Iria Estevez-Ayres , Univ. Carlos III de Madrid, Spain
pp. 249-256

An Approach to Automated Agent Deployment in Service-Based Systems (Abstract)

Haishan Gong , Arizona State University, USA
Dazhi Huang , Arizona State University, USA
Luping Zhu , Arizona State University, USA
Stephen S. Yau , Arizona State University, USA
pp. 257-265
Session 7B: Scheduling and Resource Management

System-Level Energy-Efficiency for Real-Time Tasks (Abstract)

Chuan-Yue Yang , National Taiwan University, Taiwan
Jian-Jia Chen , National Taiwan University, Taiwan
Tei-Wei Kuo , National Taiwan University, Taiwan
Chia-Mei Hung , National Taiwan University, Taiwan
pp. 266-273
Session 7B: Scheduling and Resource Management

Enterprise Job Scheduling for Clustered Environments (Abstract)

Stathes Hadjiefthymiades , Univ. of Athens, Panepistimiopolis, Greece
Vassileios Tsetsos , Univ. of Athens, Panepistimiopolis, Greece
Stratos Paulakis , Univ. of Athens, Panepistimiopolis, Greece
pp. 282-290
Session 8A: Model-Driven Development

Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded Systems (Abstract)

Douglas C. Schmidt , Vanderbilt University, USA
Chenyang Lu , Washington University, St. Louis, USA
Xenofon D. Koutsoukos , Vanderbilt University, USA
Yingming Chen , Washington University, St. Louis, USA
Nishanth Shankaran , Vanderbilt University, USA
pp. 291-298

Independent Model-Driven Software Performance Assessments of UML Designs (Abstract)

Robert G. Pettit , The Aerospace Corporation, USA
Julie A. Street , The Aerospace Corporation, USA
Hassan Gomaa , George Mason University, USA
pp. 299-306

Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems (Abstract)

Laurent Pautet , GET-Telecom Paris, France
Jerome Hugues , GET-Telecom Paris, France
Bechir Zalila , GET-Telecom Paris, France
pp. 307-312
Session 8B: Embedded Systems

LSynD: Localized Synopsis Diffusion (Abstract)

Andreea Berfield , University of Pittsburgh, USA
Daniel Mosse , University of Pittsburgh, USA
Panos K. Chrysanthis , University of Pittsburgh, USA
pp. 313-320

An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices (Abstract)

Jin Cui , Northeastern University, China
Weichen Liu , Hong Kong University of Science and Technology, China
Zonghua Gu , Hong Kong University of Science and Technology, China
Qingxu Deng , Northeastern University, China
pp. 321-328

Hardware-Near Programming in the Common Language Infrastructure (Abstract)

Andreas Rasche , University of Potsdam, Germany
Stefan Richter , University of Potsdam, Germany
Andreas Polze , University of Potsdam, Germany
pp. 329-336

Device Modeling for a Flexible Embedded Systems Development Process (Abstract)

Giannis V. Koumoutsos , University of Patras, Greece
George S. Doukas , University of Patras, Greece
Kleanthis C. Thamboulidis , Member, IEEE; University of Patras, Greece
pp. 337-343
Session 9A: Handling Time Faults

Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During Overload (Abstract)

Edgar Nett , Otto-von-Guericke Universitat Magdeburg, Germany
Crineu Tres , Federal University of Santa Catarina, Brazil
Leandro Buss Becker , Federal University of Santa Catarina, Brazil
pp. 354-358

A Wide Area Network Emulator for CORBA Applications (Abstract)

Mohammad Alsaeed , University of Newcastle upon Tyne, UK
Neil A. Speirs , University of Newcastle upon Tyne, UK
pp. 359-364
Session 9B: Execution Time Analysis and Program Verification

An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation (Abstract)

Sung Deok Cha , Korea Advanced Institute of Science and Technology, Korea
Tai Hyo Kim , Korea Advanced Institute of Science and Technology, Korea
Ho Jung Bang , Korea Advanced Institute of Science and Technology, Korea
pp. 365-372

Automated Formal Verification and Testing of C Programs for Embedded Systems (Abstract)

Peter Puschner , Technische Universitat Wien, Austria
Raimund Kirner , Technische Universitat Wien, Austria
Susanne Kandl , Technische Universitat Wien, Austria
pp. 373-381

Experiences from Applying WCET Analysis in Industrial Settings (Abstract)

Andreas Ermedahl , Malardalen University, Sweden
Jan Gustafsson , Malardalen University, Sweden
pp. 382-392
Session 10A: Execution Support for Distributed Systems

Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids (Abstract)

Fabio Favarim , Universidade Federal de Santa Catarina, Brazil
Joao Felipe Santos , Universidade Federal de Santa Catarina, Brazil
Joni da Silva Fraga , Universidade Federal de Santa Catarina, Brazil
Miguel Correia , Universidade de Lisboa, Portugal
Lau Cheuk Lung , Pontificia Universidade Catolica do Parana, Brazil
pp. 403-411
Session 10B: UML and Modeling

Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency (Abstract)

Abdelouahed Gherbi , Concordia University, Canada
Ferhat Khendek , Concordia University, Canada
pp. 412-419
Author Index

Author Index (PDF)

pp. 433-434
97 ms
(Ver )