1. Home
  2. Proceedings
  3. ISORC
  4. ISORC 2007
Default Cover Image

10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)

May 7 2007 to May 9 2007

Santorini Island

Table of Contents

10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Title pageFreely available from IEEE.
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Copyright noticeFreely available from IEEE.
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - TOCFreely available from IEEE.
Introduction
Message from the Symposium Co-ChairsFreely available from IEEE.pp. xi
Introduction
Message from the Program Co-ChairsFreely available from IEEE.pp. xii
Introduction
CommitteesFreely available from IEEE.pp. xiii-xiv
Session 1: Technology Trends
A Systematic Approach to Domain-Specific Language Design Using UMLFull-text access may be available. Sign in or learn about subscription options.pp. 2-9
by Bran Selic
Session 1: Technology Trends
Periodic Finite-State MachinesFull-text access may be available. Sign in or learn about subscription options.pp. 10-20
by H. Kopetz, C. El-Salloum, B. Huber, R. Obermaisser
Session 1: Technology Trends
Engineering Self-Coordinating Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 21-28
by Franz J. Rammig
Session 1: Technology Trends
Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time ThreadsFull-text access may be available. Sign in or learn about subscription options.pp. 29-40
by K.H. Kim, Juan A. Colmenares, Kee-Wook Rim
Session 2: Component-Based Software Development
A Unified Benchmarking Process for Components in Automotive Embedded Systems SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 41-45
by Wolfgang Forster, Christof Kutschera, Dietmar Schreiner, Karl M. Goschka
Session 2: Component-Based Software Development
A New Specification of Software Components for Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 46-50
by Takuya Azumi, Masanari Yamamoto, Yasuo Kominami, Nobuhisa Takagi, Hiroshi Oyama, Hiroaki Takada
Session 2: Component-Based Software Development
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 51-61
by Roberto Baldoni, Jean-Michel Helary, Sara Tucci Piergiovanni
Session 2: Component-Based Software Development
QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component MiddlewareFull-text access may be available. Sign in or learn about subscription options.pp. 62-70
by Amogh Kavimandan, Krishnakumar Balasubramanian, Nishanth Shankaran, Aniruddha Gokhale, Douglas C. Schmidt
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 SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 71-78
by Antonio Fernandez, Ernesto Jimenez, Michel Raynal, Gilles Tredan
Search-Oriented Deployment Strategies for Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 164-171
by Jiun-Jian Chang, Pi-Cheng Hsiu, Tei-Wei Kuo
Session 3: Fundamental Issues in Distributed RT Computing
Detection of Fractal Breakdowns by the Novel Real-Time Pattern Detection Model (Enhanced-RTPD+Holder Exponent) for Web ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 79-86
by Wilfred W.K. Lin, Allan K.Y. Wong, Tharam S. Dillon, Elizabeth Chang
Session 3: Fundamental Issues in Distributed RT Computing
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction CacheFull-text access may be available. Sign in or learn about subscription options.pp. 87-93
by Raimund Kirner, Peter Puschner
Session 4A: Real-Time Java
A Profile for Safety Critical JavaFull-text access may be available. Sign in or learn about subscription options.pp. 94-101
by Martin Schoeberl, Hans Sondergaard, Bent Thomsen, Anders P. Ravn
Session 4A: Real-Time Java
Predictable Serialization in JavaFull-text access may be available. Sign in or learn about subscription options.pp. 102-109
by Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel
Session 4A: Real-Time Java
Allowing Cycles References among Scoped Memory Areas in the Real-Time Specification of JavaFull-text access may be available. Sign in or learn about subscription options.pp. 110-114
by M.T. Higuera Toledano
Session 4A: Real-Time Java
Integrating Priority Inheritance Algorithms in the Real-Time Specification for JavaFull-text access may be available. Sign in or learn about subscription options.pp. 115-123
by Andy Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol
Session 4B: Software Design
Analyzing Behavior of Concurrent Software Designs for Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 124-132
by Robert G. Pettit IV, Hassan Gomaa
Session 4B: Software Design
Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded ComputingFull-text access may be available. Sign in or learn about subscription options.pp. 133-140
by Tarek Abdelzaher, Qing Cao, Raghu Ganti, Dan Henriksson, Maifi Khan, Jin Heo, Chengdu Huang, Praveen Jayachandran, Hieu Khac Le, Liqian Luo, Yu-En Tsai
Session 4B: Software Design
On Rigorous Design and Implementation of Fault Tolerant Ambient SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 141-145
by Alexei Iliasov, Alexander Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna
Toward a Generic and Secure Software Platform for Sensor Network NodesFull-text access may be available. Sign in or learn about subscription options.pp. 236-240
by Yukikazu Nakamoto, Shuhei Higashiyama, Narutaka Chiba, Michio Kaneko, Yoko Furuzumi
Session 4B: Software Design
Design of Secure CAMIN Application System Based on Dependable and Secure TMO and RT-UCONFull-text access may be available. Sign in or learn about subscription options.pp. 146-155
by Jungin Kim, Bhavani Thuraisingham
Session 5A: Wireless and Mobile Networks
Efficient Data Transmission in a Lossy and Resource Limited Wireless Sensor-Actuator NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 156-163
by Kiyohiro Morita, Kenichi Watanabe, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa
An Architecture to Support Dynamic Service Composition in Distributed Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 249-256
by Iria Estevez-Ayres, Luis Almeida, Marisol Garcia-Valls, Pablo Basanta-Val
Session 5A: Wireless and Mobile Networks
Data Dissemination for Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 172-180
by Min-Gu Lee, Sunggu Lee
Session 5B: Middleware
A Novel Synchronous Scheduling Service for CORBA-RT ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 181-188
by Isidro Calvo, Luis Almeida, Adrian Noguero
Session 5B: Middleware
Using Multi-Agent Principles for Implementing an Organic Real-Time MiddlewareFull-text access may be available. Sign in or learn about subscription options.pp. 189-195
by Manuel Nickschas, Uwe Brinkschulte
Session 5B: Middleware
Security Analysis of the Utilization of Corba Object References as Authorization TokensFull-text access may be available. Sign in or learn about subscription options.pp. 196-203
by Christoph Becker, Sebastian Staamann, Ralf Salomon
Session 6A: Component Execution Support
A Comparative Evaluation of EJB Implementation MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 204-213
by Andreas Stylianou, Giovanna Ferrari, Paul Ezhilchelvan
Session 6A: Component Execution Support
Real-Time Dynamic Guarantee in Component-Based MiddlewareFull-text access may be available. Sign in or learn about subscription options.pp. 214-221
by Cassia Yuri Tatibana, Carlos Montez, Romulo Silva de Oliveira
Session 6A: Component Execution Support
Evaluating Real-Time Publish/Subscribe Service Integration Approaches in QoS-Enabled Component MiddlewareFull-text access may be available. Sign in or learn about subscription options.pp. 222-227
by Gan Deng, Ming Xiong, Aniruddha Gokhale, George Edwards
Session 6B: Sensor Networks
TMO-NanoQ+: A Real-Time Kernel for Sensor Networks Supporting Time-Triggered and Message-Triggered TasksFull-text access may be available. Sign in or learn about subscription options.pp. 228-235
by Jae-An Yi, Shin Heu, Byuongkyu Choi, Hyun-Ju Kim, Hanseok Sue, Jung-Guk Kim
Hardware-Near Programming in the Common Language InfrastructureFull-text access may be available. Sign in or learn about subscription options.pp. 329-336
by Stefan Richter, Andreas Rasche, Andreas Polze
Session 7A: Distributed Systems
QoS Management of Real-Time Data Stream Queries in Distributed EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 241-248
by Yuan Wei, Vibha Prasad, Sang H. Son
Session 7A: Distributed Systems
An Approach to Automated Agent Deployment in Service-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 257-265
by Stephen S. Yau, Luping Zhu, Dazhi Huang, Haishan Gong
Session 7B: Scheduling and Resource Management
System-Level Energy-Efficiency for Real-Time TasksFull-text access may be available. Sign in or learn about subscription options.pp. 266-273
by Chuan-Yue Yang, Jian-Jia Chen, Chia-Mei Hung, Tei-Wei Kuo
Session 7B: Scheduling and Resource Management
Compositional Schedulability Analysis of Hierarchical Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 274-281
by Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky
Session 7B: Scheduling and Resource Management
Enterprise Job Scheduling for Clustered EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 282-290
by Stratos Paulakis, Vassileios Tsetsos, Stathes Hadjiefthymiades
Session 8A: Model-Driven Development
Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 291-298
by Nishanth Shankaran, Douglas C. Schmidt, Xenofon D. Koutsoukos, Yingming Chen, Chenyang Lu
Session 8A: Model-Driven Development
Independent Model-Driven Software Performance Assessments of UML DesignsFull-text access may be available. Sign in or learn about subscription options.pp. 299-306
by Julie A. Street, Robert G. Pettit, Hassan Gomaa
Session 8A: Model-Driven Development
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 307-312
by Jerome Hugues, Bechir Zalila, Laurent Pautet
Session 8B: Embedded Systems
LSynD: Localized Synopsis DiffusionFull-text access may be available. Sign in or learn about subscription options.pp. 313-320
by Andreea Berfield, Panos K. Chrysanthis, Daniel Mosse
Session 8B: Embedded Systems
An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 321-328
by Jin Cui, Zonghua Gu, Weichen Liu, Qingxu Deng
Session 8B: Embedded Systems
Device Modeling for a Flexible Embedded Systems Development ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 337-343
by Kleanthis C. Thamboulidis, George S. Doukas, Giannis V. Koumoutsos
Session 9A: Handling Time Faults
On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 344-353
by Binoy Ravindran, Edward Curley, Jonathan S. Anderson, E. Douglas Jensen
Session 9A: Handling Time Faults
Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During OverloadFull-text access may be available. Sign in or learn about subscription options.pp. 354-358
by Crineu Tres, Leandro Buss Becker, Edgar Nett
Session 9A: Handling Time Faults
A Wide Area Network Emulator for CORBA ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 359-364
by Mohammad Alsaeed, Neil A. Speirs
Session 9B: Execution Time Analysis and Program Verification
An Iterative Refinement Framework for Tighter Worst-Case Execution Time CalculationFull-text access may be available. Sign in or learn about subscription options.pp. 365-372
by Ho Jung Bang, Tai Hyo Kim, Sung Deok Cha
Session 9B: Execution Time Analysis and Program Verification
Automated Formal Verification and Testing of C Programs for Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 373-381
by Susanne Kandl, Raimund Kirner, Peter Puschner
Session 9B: Execution Time Analysis and Program Verification
Experiences from Applying WCET Analysis in Industrial SettingsFull-text access may be available. Sign in or learn about subscription options.pp. 382-392
by Jan Gustafsson, Andreas Ermedahl
Session 10A: Execution Support for Distributed Systems
XtreemOS: A Grid Operating System Making your Computer Ready for Participating in Virtual OrganizationsFull-text access may be available. Sign in or learn about subscription options.pp. 393-402
by Christine Morin
Session 10A: Execution Support for Distributed Systems
Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational GridsFull-text access may be available. Sign in or learn about subscription options.pp. 403-411
by Fabio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia, Joao Felipe Santos
Session 10B: UML and Modeling
Timed-Automata Semantics and Analysis of UML/SPT Models with ConcurrencyFull-text access may be available. Sign in or learn about subscription options.pp. 412-419
by Abdelouahed Gherbi, Ferhat Khendek
Session 10B: UML and Modeling
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 420-427
by Fabrice Kordon
Session 10B: UML and Modeling
An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 428-432
by Marco A. Wehrmeister, Edison P. Freitas, Carlos E. Pereira, Flavio R. Wagner
Author Index
Author IndexFreely available from IEEE.pp. 433-434
Showing 61 out of 61