CSDL - Proceedings W

Message from the Program Co-Chairs (PDF)

pp. x

Conference Committee (PDF)

pp. xi

Invited Address

Edsger Dijkstra (Abstract)

Brian Randell, University of Newcastle upon Tyne

pp. 3

PDF

Special Invited paper

Dependable Infrastructures and Data Managers for Sensor Networks (Abstract)

Bhavani Thuraisingham, The MITRE Corporation

pp. 11

PDF

Session 1: Infrastructures for Real-Time Systems and Control Systems

Application QoS-Based Time-Critical Automated Resource Management in Battle Management Systems (Abstract)

E. Douglas Jensen, The MITRE Corporation

pp. 19

PDF

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

Hermann Kopetz, Technical University Vienna

Neeraj Suri, Technical University Darmstadt

pp. 26

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

Franz Rammig, University of Paderborn

Carsten Rust, University of Paderborn

pp. 28

PDF

Automated Control Systems for the Safety Integrity Levels 3 and 4 (Abstract)

Wolfgang A. Halang, Fern Universität

pp. 35

PDF

Session 2: Real-Time Systems

Scalable Online Feasibility Tests for Admission Control in a Java Real-Time System (Abstract)

Uwe Brinkschulte, University of Karlsruhe

pp. 45

PDF

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

Jan Gustafsson, Mälardalen University

Björn Lisper, Mälardalen University

Raimund Kirner, Technische Universität Wien

Peter Puschner, Technische Universität Wien

pp. 53

PDF

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

Stefan Schemmer, University of Magdeburg

Edgar Nett, University of Magdeburg

pp. 61

PDF

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

PDF

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

PDF

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

Waseem Sheikh, Purdue University

Basit Shafiq, Purdue University

Raymond A. Paul, Department of Defense

Arif Ghafoor, Purdue University

pp. 87

PDF

Providing Digital Time Stamping Services to Mobile Devices (Abstract)

D. Cotroneo, 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

L. Romano, Universitá degli Studi di Napoli Federico II

S. Russo, Universitá degli Studi di Napoli Federico II

G. P. Saggese, Universitá degli Studi di Napoli Federico II

pp. 94

PDF

Global Time-Based Synchronization of Real-Time Multimedia Streaming (Abstract)

Moon Hae Kim, Konkuk University

Eun Hwan Jo, Konkuk University

Doo-Hyun Kim, ETRI

pp. 101

PDF

Session 4: Security, Safety, and other Works in Progress

Analysis of Safety Related Architectures (Abstract)

Andrea Coccoli, ISTI-CNR Pisa- Italy

Andrea Bondavalli, University of Florence

pp. 111

PDF

An Architecture and a General Optimization Framework for Resource Management in Dynamic, Distributed Real-Time Systems (Abstract)

Frank Drews, Ohio University

Lonnie Welch, Ohio University

pp. 118

PDF

An Approach to Configuration Management and Co-Simulation in Distributed Embedded Systems (Abstract)

Roman Gumzej, University of Maribor

Wolfgang A. Halang, Fernuniversität

pp. 125

PDF

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

Y. S. Hong, Dongguk University

J. H. No, Dongguk University

pp. 131

PDF

Tolerance to Access-Point Failures in Dependable Wireless Local-Area Networks (Abstract)

Rajeev Gandhi, Carnegie Mellon University

pp. 136

PDF

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

Yoshiaki Kakuda, Hiroshima City University

Kanako Suezawa, Hiroshima City University

Shinji Inoue, Hiroshima City University

Hidenori Nakazato, Waseda University

pp. 144

PDF

Session 5: Fault-Tolerance and Software Engineering

Decentralized Resource Management and Fault-Tolerance for Distributed CORBA Applications (Abstract)

Carlos F. Reverte, Carnegie Mellon University

Priya Narasimhan, Carnegie Mellon University

pp. 155

PDF

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

Nik Looker, University of Durham

Jie Xu, University of Durham

pp. 163

PDF

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

Hui Ding, University of Illinois at Urbana-Champaign

Can Zheng, University of Illinois at Urbana-Champaign

Gul Agha, University of Illinois at Urbana-Champaign

Lui Sha, University of Illinois at Urbana-Champaign

pp. 171

PDF

An Adaptive Fault-Tolerant Component Model (Abstract)

Joni Fraga, Federal University of Santa Catarina

Frank Siqueira, Federal University of Santa Catarina

F?bio Favarim, Federal University of Santa Catarina

pp. 179

PDF

A Guided Tour on Total Order Specifications (Abstract)

Stefano Cimmino, Università di Roma "La Sapienza"

Carlo Marchetti, Università di Roma "La Sapienza"

Roberto Baldoni, Università di Roma "La Sapienza"

pp. 187

PDF

Middleware Design and Human Factor (Abstract)

Tatsuo Nakajima, Waseda University

pp. 195

PDF

Session 6: Distributed Systems and Mobile Environments

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

Stefan Arbanowski, Fraunhofer FOKUS

Stephan Steglich, Fraunhofer FOKUS

Ilja Radusch, Fraunhofer FOKUS

Radu Popescu-Zeletin, Fraunhofer FOKUS

pp. 201

PDF

A Presence Service Architecture for Supporting Spontaneous Interaction (Abstract)

Tatsuo Nakajima, Waseda University

pp. 209

PDF

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

Hector A. Duran-Limon, Lancaster University

Gordon S. Blair, Lancaster University

Adrian Friday, Lancaster University

Thirunavukkarasu Sivaharan, Lancaster University

George Samartzidis, Lancaster University

pp. 217

PDF

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

Yunmook Nah, Dankook University

K.H. (Kane) Kim, University of California at Irvine

Taehyung Wang, California State University at Northridge

Moon Hae Kim, Konkuk University

Jonghoon Lee, ETRI

Young Kyu Yang, Kyungwon University

pp. 225

PDF

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

Reinaldo de B. Correia, Universidade Federal do Rio de Janeiro

Luiz F. Rust Carmo, Universidade Federal do Rio de Janeiro and United Technologies Research Center

Edmundo L. Cecilio, Universidade Federal do Rio de Janeiro

Luiz F. H. Bacellar, United Technologies Research Center

Luci Pirmez, Universidade Federal do Rio de Janeiro

pp. 234

PDF

Session 7: Component-Based Software Architecture and Engineering

Architectural Challenges for "Ambient Dependability" (Abstract)

Luca Simoncini, University of Pisa

pp. 245

PDF

Practical Aspects of IP Take-Over Mechanisms (Abstract)

Christof Fetzer, AT&T Labs — Research

Neeraj Suri, Technical University of Darmstadt

pp. 250

PDF

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

Alex Talevski, La Trobe University

Elizabeth Chang, Curtin University

Tharam S. Dillon, University of Technology, Broadway

pp. 255

PDF

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

Robert G. Pettit IV, The Aerospace Corporation

Hassan Gomaa, George Mason University

pp. 262

PDF

RT-POD: A Framework for Real-Time Systems Participation in Own Defense (Abstract)

Christopher D. Gill, Washington University at St. Louis

pp. 270

PDF

Panel

Session 8: Embedded Computing Systems

Mobile Middleware Solutions for the Adaptive Management of Multimedia QoS to Wireless Portable Devices (Abstract)

Paolo Bellavista, Universit? di Bologna

Antonio Corradi, Universit? di Bologna

pp. 283

PDF

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

Jiyong Park, Seoul National University

Saehwa Kim, Seoul National University

Seongsoo Hong, Seoul National University

pp. 292

PDF

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

Andreas Rasche, University of Potsdam

Peter Tröger, University of Potsdam

Michael Dirska, University of Potsdam

Andreas Polze, University of Potsdam

pp. 299

PDF

Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems (Abstract)

K. H. (Kane) Kim, University of California at Irvine

pp. 307

PDF

Using the Multi-Threaded Computation Model as a Unifying Framework for Hardware-Software Co-Design and Implementation (Abstract)

Session 9: Dependability: Research Trends and Field Experiences

Douglas Niehaus, University of Kansas

David Andrews, University of Kansas

pp. 317

PDF

Extending UML towards a Useful OO-Language for Modeling Dependability Features (Abstract)

M. Dal Cin, University of Erlangen-Nürnberg

pp. 325

PDF

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

Ravishankar K. Iyer, University of Illinois at Urbana-Champaign

Shuo Chen, University of Illinois at Urbana-Champaign

Jun Xu, University of Illinois at Urbana-Champaign

Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign

pp. 331

PDF

Modelling Predictable Component-Based Distributed Control Architectures (Abstract)

Heinz W. Schmidt, Monash University

Ian D. Peake, Monash University

Jue Xie, Monash University

Ian Thomas, Monash University

Bernd J. Krämer, FernUniversität in Hagen

Alexander Fay, ABB Corporate Research Center

Peter Bort, ABB Corporate Research Center

pp. 339

PDF

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

Wilfried Steiner, Technische Universität Wien

Michael Paulitsch, Technische Universität Wien

Hermann Kopetz, Technische Universität Wien

pp. 347

PDF

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

A. M. Amendola, Ansaldo Segnalamento Ferroviario

R. Di Maio, Ansaldo Segnalamento Ferroviario

M. L. Iacobuzio, Ansaldo Segnalamento Ferroviario

F. Poli, Ansaldo Segnalamento Ferroviario

F. Scalabrini, Ansaldo Segnalamento Ferroviario

pp. 355

PDF

Author Index

Author Index (PDF)

pp. 359