1. Home
  2. Proceedings
  3. WORDS
  4. WORDS 2003
Default Cover Image

Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03F)

Oct. 1 2003 to Oct. 3 2003

Anacapri (Capri Island), Italy

ISBN: 0-1795-2054-5

Table of Contents

Introduction
Message from the General Co-ChairsFreely available from IEEE.pp. ix
Introduction
Message from the Program Co-ChairsFreely available from IEEE.pp. x
On the limits of the precise specification of component interfacesFull-text access may be available. Sign in or learn about subscription options.pp. 26-26
by H. Kopetz, Neeraj Suri
Introduction
Conference CommitteeFreely available from IEEE.pp. xi
Invited Address
Edsger DijkstraFull-text access may be available. Sign in or learn about subscription options.pp. 3
by Brian Randell
Special Invited paper
Dependable Infrastructures and Data Managers for Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 11
by Bhavani Thuraisingham
Session 1: Infrastructures for Real-Time Systems and Control Systems
Application QoS-Based Time-Critical Automated Resource Management in Battle Management SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 19
by E. Douglas Jensen
Session 1: Infrastructures for Real-Time Systems and Control Systems
On the Limits of the Precise Specification of Component InterfacesFull-text access may be available. Sign in or learn about subscription options.pp. 26
by Hermann Kopetz, Neeraj Suri
Session 1: Infrastructures for Real-Time Systems and Control Systems
Modeling of Dynamically Modifiable Embedded Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 28
by Franz Rammig, Carsten Rust
Session 1: Infrastructures for Real-Time Systems and Control Systems
Automated Control Systems for the Safety Integrity Levels 3 and 4Full-text access may be available. Sign in or learn about subscription options.pp. 35
by Wolfgang A. Halang
Session 2: Real-Time Systems
Scalable Online Feasibility Tests for Admission Control in a Java Real-Time SystemFull-text access may be available. Sign in or learn about subscription options.pp. 45
by Uwe Brinkschulte
Session 2: Real-Time Systems
Input-Dependency Analysis for Hard Real-Time SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 53
by Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter Puschner
Session 2: Real-Time Systems
Achieving Reliable and Timely Task Execution in Mobile Embedded ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 61
by Stefan Schemmer, Edgar Nett
Session 2: Real-Time Systems
Enhancing Dependability of the Battlefield Single Integrated Picture through Metrics for Modeling and Simulation of Time-Critical ScenariosFull-text access may be available. Sign in or learn about subscription options.pp. 69
by Marion G. Ceruti, Joan L. Kaina
Session 3: Multimedia and Basic Service
Towards the Delay and Synchronization Control for Networked Real-Time Multi-Object Multimedia ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 79
by Haining Liu, Magda El Zarki
Session 3: Multimedia and Basic Service
Provision of Multimedia Services in a Mobile Ad Hoc NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 87
by Waseem Sheikh, Basit Shafiq, Raymond A. Paul, Arif Ghafoor
Session 3: Multimedia and Basic Service
Providing Digital Time Stamping Services to Mobile DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 94
by D. Cotroneo, C. di Flora, A. Mazzeo, L. Romano, S. Russo, G. P. Saggese
Session 3: Multimedia and Basic Service
Global Time-Based Synchronization of Real-Time Multimedia StreamingFull-text access may be available. Sign in or learn about subscription options.pp. 101
by Moon Hae Kim, Eun Hwan Jo, Doo-Hyun Kim
Session 4: Security, Safety, and other Works in Progress
Analysis of Safety Related ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 111
by Andrea Coccoli, Andrea Bondavalli
Session 4: Security, Safety, and other Works in Progress
An Architecture and a General Optimization Framework for Resource Management in Dynamic, Distributed Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 118
by Frank Drews, Lonnie Welch
Session 4: Security, Safety, and other Works in Progress
An Approach to Configuration Management and Co-Simulation in Distributed Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 125
by Roman Gumzej, Wolfgang A. Halang
Session 4: Security, Safety, and other Works in Progress
A Fault-Tolerant Real-Time Multicast Protocol RFRM/XFull-text access may be available. Sign in or learn about subscription options.pp. 131
by Y. S. Hong, J. H. No
Session 4: Security, Safety, and other Works in Progress
Tolerance to Access-Point Failures in Dependable Wireless Local-Area NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 136
by Rajeev Gandhi
Session 4: Security, Safety, and other Works in Progress
Redundant Optical Path Design Based on Multiagents and Its Experimental EvaluationFull-text access may be available. Sign in or learn about subscription options.pp. 144
by Yoshiaki Kakuda, Kanako Suezawa, Shinji Inoue, Hidenori Nakazato
Session 5: Fault-Tolerance and Software Engineering
Decentralized Resource Management and Fault-Tolerance for Distributed CORBA ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 155
by Carlos F. Reverte, Priya Narasimhan
Session 5: Fault-Tolerance and Software Engineering
Assessing the Dependability of SOAP RPC-Based Web Services by Fault InjectionFull-text access may be available. Sign in or learn about subscription options.pp. 163
by Nik Looker, Jie Xu
Session 5: Fault-Tolerance and Software Engineering
Automated Veri.cation of the Dependability of Object-Oriented Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 171
by Hui Ding, Can Zheng, Gul Agha, Lui Sha
Session 5: Fault-Tolerance and Software Engineering
An Adaptive Fault-Tolerant Component ModelFull-text access may be available. Sign in or learn about subscription options.pp. 179
by Joni Fraga, Frank Siqueira, F?bio Favarim
Session 5: Fault-Tolerance and Software Engineering
A Guided Tour on Total Order SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 187
by Stefano Cimmino, Carlo Marchetti, Roberto Baldoni
Session 5: Fault-Tolerance and Software Engineering
Middleware Design and Human FactorFull-text access may be available. Sign in or learn about subscription options.pp. 195
by Tatsuo Nakajima
Session 6: Distributed Systems and Mobile Environments
Super Distributed Objects: An Execution Environment for I-Centric ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 201
by Stefan Arbanowski, Stephan Steglich, Ilja Radusch, Radu Popescu-Zeletin
Session 6: Distributed Systems and Mobile Environments
A Presence Service Architecture for Supporting Spontaneous InteractionFull-text access may be available. Sign in or learn about subscription options.pp. 209
by Tatsuo Nakajima
Session 6: Distributed Systems and Mobile Environments
A Resource and QoS Management Framework for a Real-Time Event System in Mobile Ad Hoc EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 217
by Hector A. Duran-Limon, Gordon S. Blair, Adrian Friday, Thirunavukkarasu Sivaharan, George Samartzidis
Modelling Predictable Component-Based Distributed Control ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 339-339
by Schmidt, Peake, Jue Xie, Thomas, Kramer, Fay, Bort
Session 6: Distributed Systems and Mobile Environments
A Cluster-Based TMO-Structured Scalable Approach for Location Information SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 225
by Yunmook Nah, K.H. (Kane) Kim, Taehyung Wang, Moon Hae Kim, Jonghoon Lee, Young Kyu Yang
Session 6: Distributed Systems and Mobile Environments
A Proactive Management and Rerouting Framework for QoS Critical Distributed Applications Using Active TechnologyFull-text access may be available. Sign in or learn about subscription options.pp. 234
by Reinaldo de B. Correia, Luiz F. Rust Carmo, Edmundo L. Cecilio, Luiz F. H. Bacellar, Luci Pirmez
Session 7: Component-Based Software Architecture and Engineering
Architectural Challenges for "Ambient Dependability"Full-text access may be available. Sign in or learn about subscription options.pp. 245
by Luca Simoncini
Session 7: Component-Based Software Architecture and Engineering
Practical Aspects of IP Take-Over MechanismsFull-text access may be available. Sign in or learn about subscription options.pp. 250
by Christof Fetzer, Neeraj Suri
Session 7: Component-Based Software Architecture and Engineering
Meta Model Driven Framework for the Integration and Extension of Application ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 255
by Alex Talevski, Elizabeth Chang, Tharam S. Dillon
Session 7: Component-Based Software Architecture and Engineering
Improving the Reliability of Concurrent Object-Oriented Software DesignsFull-text access may be available. Sign in or learn about subscription options.pp. 262
by Robert G. Pettit IV, Hassan Gomaa
Session 7: Component-Based Software Architecture and Engineering
RT-POD: A Framework for Real-Time Systems Participation in Own DefenseFull-text access may be available. Sign in or learn about subscription options.pp. 270
by Christopher D. Gill
Session 8: Embedded Computing Systems
Mobile Middleware Solutions for the Adaptive Management of Multimedia QoS to Wireless Portable DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 283
by Paolo Bellavista, Antonio Corradi
Session 8: Embedded Computing Systems
Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model TransformationFull-text access may be available. Sign in or learn about subscription options.pp. 292
by Jiyong Park, Saehwa Kim, Seongsoo Hong
Session 8: Embedded Computing Systems
Foucault?s Pendulum in the Distributed Control LabFull-text access may be available. Sign in or learn about subscription options.pp. 299
by Andreas Rasche, Peter Tröger, Michael Dirska, Andreas Polze
Session 8: Embedded Computing Systems
Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 307
by K. H. (Kane) Kim
Session 9: Dependability: Research Trends and Field Experiences
Using the Multi-Threaded Computation Model as a Unifying Framework for Hardware-Software Co-Design and ImplementationFull-text access may be available. Sign in or learn about subscription options.pp. 317
by Douglas Niehaus, David Andrews
Session 9: Dependability: Research Trends and Field Experiences
Extending UML towards a Useful OO-Language for Modeling Dependability FeaturesFull-text access may be available. Sign in or learn about subscription options.pp. 325
by M. Dal Cin
Session 9: Dependability: Research Trends and Field Experiences
Security Vulnerabilities — From Data Analysis to Protection MechanismsFull-text access may be available. Sign in or learn about subscription options.pp. 331
by Ravishankar K. Iyer, Shuo Chen, Jun Xu, Zbigniew Kalbarczyk
Session 9: Dependability: Research Trends and Field Experiences
Modelling Predictable Component-Based Distributed Control ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 339
by Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort
Session 9: Dependability: Research Trends and Field Experiences
Multiple Failure Correction in the Time-Triggered ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 347
by Wilfried Steiner, Michael Paulitsch, Hermann Kopetz
Session 9: Dependability: Research Trends and Field Experiences
Lessons Learned in Designing and Evaluating Railway Control SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 355
by A. M. Amendola, R. Di Maio, M. L. Iacobuzio, F. Poli, F. Scalabrini
Author Index
Author IndexFreely available from IEEE.pp. 359
Showing 52 out of 52