CSDL - Proceedings W

Message from the Technical Program Committee Co-Chairs (PDF)

pp. xii

Conference Organization (PDF)

pp. xiii

Advanced Techniques for Real-Time Systems

Meta-Programming Techniques for Distributed Real-time and Embedded Systems (Abstract)

Joseph K. Cross, Lockheed Martin Tactical Systems

Douglas C. Schmidt, University of California at Irvine

pp. 0003

PDF

Jini Meets Embedded Control Networking: A Case Study in Portability Failure (Abstract)

Meredith Beveridge, Schlumberger

Phil Koopman, Carnegie Mellon University

pp. 0011

PDF

GUI Approach to Programming of TMO Frames (Abstract)

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

Seok-Joong Kang, University of California at Irvine

Yuqing Li, University of California at Irvine

pp. 0019

PDF

Synthesis Aspects of the PARADISE Design Environment (Abstract)

Franz J. Rammig, Universit?t Paderborn

pp. 0027

PDF

RT and FT Techniques for CORBA

Handling FT-CORBA Compliant Interoperable Object Group References (Abstract)

Roberto Baldoni, Universit? di Roma "La Sapienza"

Carlo Marchetti, Universit? di Roma "La Sapienza"

Raffaella Panella, Universit? di Roma "La Sapienza"

Luigi Verde, Universit? di Roma "La Sapienza"

pp. 0037

PDF

Schedulability in Model-based Software Development for Distributed Real-Time Systems (Abstract)

Stephen S. Yau, Arizona State University

Xiaoyong Zhou, Arizona State University

pp. 0045

PDF

Role-Based Access Control for CORBA Distributed Object Systems (Abstract)

Rafael R. Obelheiro, Federal University of Santa Catarina

Joni S. Fraga, Federal University of Santa Catarina

pp. 0053

PDF

FTS: A High-Performance CORBA Fault-Tolerance Service (Abstract)

Roy Friedman, Technion

Erez Hadad, Technion

pp. 0061

PDF

Worst Case Execution Time (WCET)

Worst Case Execution Time Analysis of Object-Oriented Programs (Abstract)

Jan Gustafsson, M?lardalen University

pp. 0071

PDF

A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems (Abstract)

Erik Yu-Shing Hu, University of York

Guillem Bernat, University of York

Andy Wellings, University of York

pp. 0077

PDF

Writing Temporally Predictable Code (Abstract)

Peter Puschner, Technische Universit?t Wien

Alan Burns, University of York

pp. 0085

PDF

Fault-Tolerant Systems

Auction System Design Using Open Multithreaded Transactions (Abstract)

Jörg Kienzle, Swiss Federal Institute of Technology Lausanne

Alfred Strohmeier, Swiss Federal Institute of Technology Lausanne

Alexander Romanovsky, University of Newcastle

pp. 0095

PDF

Assessing Multi-Version Systems Through Fault Injection (Abstract)

Paul Townend, University of Durham

Jie Xu, University of Durham

pp. 0105

PDF

HIDOORS-A High Integrity Distributed Deterministic Java Environment (Abstract)

João Ventura, Skysoft Portugal

Fridtjof Siebert, aicas GmbH

Andy Walter, aicas GmbH

James Hunt, Forschungszentrum Informatik

pp. 0113

PDF

Performance Evaluation of a Probabilistic Replica Selection Algorithm (Abstract)

Sudha Krishnamurthy, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

Michel Cukier, University of Illinois at Urbana-Champaign

pp. 0119

PDF

Real-Time Object Models

Real Time Issues on Coordinating Cooperative Autonomous Objects (Abstract)

Carlos Mitidieri, UFRGS

Leandro Lisboa Penz, UFRGS

Carlos Eduardo Pereira, UFRGS and United Technologies Research Center-USA

pp. 0131

PDF

Timed Information Flow among Objects Based on Role Concept (Abstract)

Keiji Izaki, Tokyo Denki University

Katsuya Tanaka, Tokyo Denki University

Makoto Takizawa, Tokyo Denki University

pp. 0139

PDF

Scenario-Based Implementation Architecture for Real-Time Object-Oriented Models (Abstract)

Saehwa Kim, Seoul National University

Seongsoo Hong, Seoul National University

Naehyuck Chang, Seoul National University

pp. 0147

PDF

Implementation of a TMO-Based Real-Time Airplane Landing Simulator on a Distributed Computing Environment (Abstract)

Min-Gu Lee, POSTECH

Sunggu Lee, POSTECH

pp. 0153

PDF

Distributed and Ubiquitous Computing

Configurable Services for Mobile Users (Abstract)

Andreas Rasche, Humboldt University of Berlin

Andreas Polze, Humboldt University of Berlin

pp. 0163

PDF

Technology Challenges for Building Internet-Scale Ubiquitous Computing (Abstract)

Tatsuo Nakajima, Waseda University

Hiro Ishikawa, Waseda University

Eiji Tokunaga, Waseda University

Frank Stajano, Toshiba Corporate and University of Cambridge

pp. 0171

PDF

Asynchronous Leasing (Abstract)

Romain Boichat, Swiss Federal Institute of Technology

Partha Dutta, Swiss Federal Institute of Technology

Rachid Guerraoui, Swiss Federal Institute of Technology

pp. 0180

PDF

An Adaptive Distributed System Based on Conditional Dependencies (Abstract)

Luci Pirmez, Universidade Federal do Rio de Janeiro

Luiz F. Rust C. Carmo, Universidade Federal do Rio de Janeiro

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

Renata F. Corrêa, Universidade Federal do Rio de Janeiro

Roberta L. Gomes, Universidade Federal do Rio de Janeiro

Luiz F. Huet de Bacellar, United Technologies Research Center

pp. 0188

PDF

Operating Systems and Middleware

Operating System Performance in Support of Real-Time Middleware (Abstract)

Douglas C. Schmidt, University of California at Irvine

Mayur Deshpande, University of California at Irvine

Carlos O'Ryan, University of California at Irvine

pp. 0199

PDF

Service Differentiation of Communication-bound Processes in a Real-Time Operating System (Abstract)

pp. 0207

PDF

Distributed Object-Oriented Real-Time Simulation of the Multicast Protocol RFRM (Abstract)

Y. S. Hong

pp. 0215

PDF

Reconfiguration of Resources in Middleware (Abstract)

Hector A. Duran-Limon, Lancaster University

Gordon S. Blair, Lancaster University

pp. 0219

PDF

Programming Middle Boxes with Group Event Notification Protocol (Abstract)

Michael Smirnov, Fraunhofer Institute for Open Communication Systems

pp. 0227

PDF

Design and Testing

Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps (Abstract)

Masahide Nakamura, Osaka University

Pattara Leelaprute, Osaka University

Tohru Kikuno, Osaka University

pp. 0237

PDF

Object Testing in ITEE (Abstract)

S. Ohara, Hitachi Software Engineering Co., Ltd.

F. Tsunoda, Hitachi Software Engineering Co., Ltd.

H. Maezawa, Hitachi Software Engineering Co., Ltd.

M. Hui, University of California at Irvine

T. Wang, University of California at Irvine

P. C.-Y. Sheu, University of California at Irvine

Raymond Paul, Department of Defense

pp. 0245

PDF

Scenario-Based Modeling And Its Applications (Abstract)

Xiaoying Bai, Arizona State University

Wei-Tek Tsai, Arizona State University

Ke Feng, Arizona State University

Lian Yu, Arizona State University

Ray Paul, Department of Defense

pp. 0253

PDF

On Aspect-Orientation in Distributed Real-time Dependable Systems (Abstract)

Andreas Gal, University of California at Irvine

Olaf Spinczyk, University of Magdeburg

Wolfgang Schröder Preikschat, University of Magdeburg

pp. 0261

PDF

Object-Oriented Design-I

Evaluating UMl Extensions for Modeling Real-Time Systems (Abstract)

pp. 0271

PDF

An Extended Object Composition Model for Distributed Multimedia Services (Abstract)

Doo-Hyun Kim, ETRI

Kyung-Hee Lee, ETRI

pp. 0279

PDF

Short Presentations

A Modified Version of Rate-Monotonic Scheduling Algorithm and its Efficiency Assessment (Abstract)

Mahmoud Naghibzadeh, Ferdowsi University of Mashad

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

pp. 0289

PDF

Scalable Group Membership Service for Mobile Internet (Abstract)

Bumho Kim, Information and Communications University

Dongman Lee, Information and Communications University

Dukyun Nam, Information and Communications University

pp. 0295

PDF

Construction of CORBA Based Object Group Platform for Distributed Real-Time Services (Abstract)

Chang-Sun Shin, Won-Kwang University

Myung-Hee Kim, Won-Kwang University

Young-Sik Jeong, Won-Kwang University

Sung-Kook Han, Won-Kwang University

Su-Chong Joo, Won-Kwang University

pp. 0299

PDF

Invited Talk

Dependable Semantic Web (Abstract)

Bhavani Thuraisingham, The MITRE Corporation and The National Science Foundation

Eric Hughes, The MITRE Corporation

Dock Allen, The MITRE Corporation

pp. 0305

PDF

Scheduling

Middleware Scheduling Optimization Techniques for Distributed Real-Time and Embedded Systems (Abstract)

pp. 0311

PDF

Schedulability Analysis of an Event-Based Real-Time Protocol Framework (Abstract)

João Rodrigues, INETI

João Ventura, Skysoft Portugal

Luís Rodrigues, Universidade de Lisboa

pp. 0319

PDF

A Distributed Adaptive Scheduler for QoS Support in Compose|Q (Abstract)

Shivajit Mohapatra, University of California at Irvine

Nalini Venkatasubramanian, University of California at Irvine

pp. 0326

PDF

A Scheduling Technique Providing a Strict Isolation of Real-time Threads (Abstract)

U. Brinkschulte, University of Karlsruhe, Germany

J. Kreuzinger, University of Karlsruhe, Germany

M. Pfeffer, University of Augsburg, Germany

Th. Ungerer, University of Augsburg, Germany

pp. 0334

PDF

Object-Oriented Design-II

Application of Object-Oriented Design to Knowledge Amplification by Structured Expert Randomization (KASER) (Abstract)

Stuart H. Rubin, Space and Naval Warfare Systems Center at San Diego

Robert J. Rush Jr, Space and Naval Warfare Systems Center at San Diego

Marion G. Ceruti, Space and Naval Warfare Systems Center at San Diego

pp. 0343

PDF

Eliciting and Specifying Requirements with Use Cases for Embedded Systems (Abstract)

Eman Nasr, University of York

John McDermid, University of York

Guillem Bernat, University of York

pp. 0350

PDF

Panel

Open Research Issues in Building Dependable Middleware (PDF)

Priya Narasimhan, Carnegie-Mellon University

Keith Marzullo, University of California at San Diego

Michael Melliar-Smith, University of California at Santa Barbara

Andreas Polze, University of Potsdam

Douglas C. Schmid, Darpa and niversity of California at Irvine

pp. 0359

Author Index (PDF)

pp. 0361