The Community for Technology Leaders
Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on (2003)
Anacapri (Capri Island), Italy
Oct. 1, 2003 to Oct. 3, 2003
ISBN: 0-1795-2054-5
Invited Address

Edsger Dijkstra (Abstract)

Brian Randell , University of Newcastle upon Tyne
pp. 3
Special Invited paper
Session 1: Infrastructures for Real-Time Systems and Control Systems

On the Limits of the Precise Specification of Component Interfaces (PDF)

Neeraj Suri , Technical University Darmstadt
Hermann Kopetz , Technical University Vienna
pp. 26

Modeling of Dynamically Modifiable Embedded Real-Time Systems (Abstract)

Franz Rammig , University of Paderborn
Carsten Rust , University of Paderborn
pp. 28
Session 2: Real-Time Systems

Input-Dependency Analysis for Hard Real-Time Software (Abstract)

Jan Gustafsson , Mälardalen University
Raimund Kirner , Technische Universität Wien
Peter Puschner , Technische Universität Wien
Björn Lisper , Mälardalen University
pp. 53

Achieving Reliable and Timely Task Execution in Mobile Embedded Applications (Abstract)

Stefan Schemmer , University of Magdeburg
Edgar Nett , University of Magdeburg
pp. 61

Enhancing Dependability of the Battlefield Single Integrated Picture through Metrics for Modeling and Simulation of Time-Critical Scenarios (Abstract)

Marion G. Ceruti , Space and Naval Warfare Systems Center, San Diego
Joan L. Kaina , Space and Naval Warfare Systems Center, San Diego
pp. 69
Session 3: Multimedia and Basic Service

Towards the Delay and Synchronization Control for Networked Real-Time Multi-Object Multimedia Applications (Abstract)

Haining Liu , University of California at Irvine
Magda El Zarki , University of California at Irvine
pp. 79

Provision of Multimedia Services in a Mobile Ad Hoc Network (Abstract)

Arif Ghafoor , Purdue University
Raymond A. Paul , Department of Defense
Waseem Sheikh , Purdue University
Basit Shafiq , Purdue University
pp. 87

Providing Digital Time Stamping Services to Mobile Devices (Abstract)

D. Cotroneo , Universitá degli Studi di Napoli Federico II
S. Russo , Universitá degli Studi di Napoli Federico II
L. Romano , Universitá degli Studi di Napoli Federico II
C. di Flora , Universitá degli Studi di Napoli Federico II
A. Mazzeo , Universitá degli Studi di Napoli Federico II
G. P. Saggese , Universitá degli Studi di Napoli Federico II
pp. 94
Session 4: Security, Safety, and other Works in Progress

Analysis of Safety Related Architectures (Abstract)

Andrea Bondavalli , University of Florence
Andrea Coccoli , ISTI-CNR Pisa- Italy
pp. 111

A Fault-Tolerant Real-Time Multicast Protocol RFRM/X (Abstract)

J. H. No , Dongguk University
Y. S. Hong , Dongguk University
pp. 131

Redundant Optical Path Design Based on Multiagents and Its Experimental Evaluation (Abstract)

Kanako Suezawa , Hiroshima City University
Yoshiaki Kakuda , Hiroshima City University
Shinji Inoue , Hiroshima City University
Hidenori Nakazato , Waseda University
pp. 144
Session 5: Fault-Tolerance and Software Engineering

Assessing the Dependability of SOAP RPC-Based Web Services by Fault Injection (Abstract)

Jie Xu , University of Durham
Nik Looker , University of Durham
pp. 163

Automated Veri.cation of the Dependability of Object-Oriented Real-Time Systems (Abstract)

Gul Agha , University of Illinois at Urbana-Champaign
Hui Ding , University of Illinois at Urbana-Champaign
Can Zheng , University of Illinois at Urbana-Champaign
Lui Sha , University of Illinois at Urbana-Champaign
pp. 171

An Adaptive Fault-Tolerant Component Model (Abstract)

Frank Siqueira , Federal University of Santa Catarina
F?bio Favarim , Federal University of Santa Catarina
Joni Fraga , Federal University of Santa Catarina
pp. 179

A Guided Tour on Total Order Specifications (Abstract)

Roberto Baldoni , Università di Roma "La Sapienza"
Carlo Marchetti , Università di Roma "La Sapienza"
Stefano Cimmino , Università di Roma "La Sapienza"
pp. 187

Middleware Design and Human Factor (Abstract)

Tatsuo Nakajima , Waseda University
pp. 195
Session 6: Distributed Systems and Mobile Environments

Super Distributed Objects: An Execution Environment for I-Centric Services (Abstract)

Stephan Steglich , Fraunhofer FOKUS
Radu Popescu-Zeletin , Fraunhofer FOKUS
Stefan Arbanowski , Fraunhofer FOKUS
Ilja Radusch , Fraunhofer FOKUS
pp. 201

A Resource and QoS Management Framework for a Real-Time Event System in Mobile Ad Hoc Environments (Abstract)

Gordon S. Blair , Lancaster University
Hector A. Duran-Limon , Lancaster University
Thirunavukkarasu Sivaharan , Lancaster University
Adrian Friday , Lancaster University
George Samartzidis , Lancaster University
pp. 217

A Cluster-Based TMO-Structured Scalable Approach for Location Information Systems (Abstract)

Young Kyu Yang , Kyungwon University
Moon Hae Kim , Konkuk University
Taehyung Wang , California State University at Northridge
Yunmook Nah , Dankook University
K.H. (Kane) Kim , University of California at Irvine
pp. 225

A Proactive Management and Rerouting Framework for QoS Critical Distributed Applications Using Active Technology (Abstract)

Luiz F. H. Bacellar , United Technologies Research Center
Reinaldo de B. Correia , Universidade Federal do Rio de Janeiro
Edmundo L. Cecilio , Universidade Federal do Rio de Janeiro
Luiz F. Rust Carmo , Universidade Federal do Rio de Janeiro and United Technologies Research Center
Luci Pirmez , Universidade Federal do Rio de Janeiro
pp. 234
Session 7: Component-Based Software Architecture and Engineering

Practical Aspects of IP Take-Over Mechanisms (Abstract)

Neeraj Suri , Technical University of Darmstadt
Christof Fetzer , AT&T Labs — Research
pp. 250

Meta Model Driven Framework for the Integration and Extension of Application Components (Abstract)

Elizabeth Chang , Curtin University
Tharam S. Dillon , University of Technology, Broadway
Alex Talevski , La Trobe University
pp. 255

Improving the Reliability of Concurrent Object-Oriented Software Designs (Abstract)

Robert G. Pettit IV , The Aerospace Corporation
Hassan Gomaa , George Mason University
pp. 262

Panel (PDF)

pp. null
Session 8: Embedded Computing Systems

Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation (Abstract)

Saehwa Kim , Seoul National University
Seongsoo Hong , Seoul National University
Jiyong Park , Seoul National University
pp. 292

Foucault?s Pendulum in the Distributed Control Lab (Abstract)

Peter Tröger , University of Potsdam
Michael Dirska , University of Potsdam
Andreas Polze , University of Potsdam
Andreas Rasche , University of Potsdam
pp. 299
Session 9: Dependability: Research Trends and Field Experiences

Security Vulnerabilities — From Data Analysis to Protection Mechanisms (Abstract)

Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
Jun Xu , University of Illinois at Urbana-Champaign
Shuo Chen , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
pp. 331

Modelling Predictable Component-Based Distributed Control Architectures (Abstract)

Jue Xie , Monash University
Ian Thomas , Monash University
Alexander Fay , ABB Corporate Research Center
Ian D. Peake , Monash University
Peter Bort , ABB Corporate Research Center
Bernd J. Krämer , FernUniversität in Hagen
Heinz W. Schmidt , Monash University
pp. 339

Multiple Failure Correction in the Time-Triggered Architecture (Abstract)

Hermann Kopetz , Technische Universität Wien
Wilfried Steiner , Technische Universität Wien
Michael Paulitsch , Technische Universität Wien
pp. 347

Lessons Learned in Designing and Evaluating Railway Control Systems (Abstract)

M. L. Iacobuzio , Ansaldo Segnalamento Ferroviario
A. M. Amendola , Ansaldo Segnalamento Ferroviario
R. Di Maio , Ansaldo Segnalamento Ferroviario
F. Scalabrini , Ansaldo Segnalamento Ferroviario
F. Poli , Ansaldo Segnalamento Ferroviario
pp. 355
Author Index

Author Index (PDF)

pp. 359
108 ms
(Ver 3.1 (10032016))