CSDL - Proceedings E

PDF

General Organization (PDF)

pp. x

PDF

Real-Time Systems

Asynchronous Data Sharing in Multiprocessor Real-Time Systems Using Process Concensus (Abstract)

J. Chen

A. Burns

pp. 2

PDF

CyPhone - Experimenting Mobile Real-Time Telepresence (Abstract)

pp. 10

PDF

Integration of Task Scheduling and File Services in the Safety-Critical System MELODY (Abstract)

H. Wedde

J. Lind

pp. 18

PDF

Scheduling I

EGPS: A Class of Real-Time Scheduling Algorithms Based on Processor Sharing (Abstract)

T. Kuo

W. Yang

K. Lin

pp. 27

PDF

Best-Case Analysis for Improving the Worst-Case Schedulability Test for Distributed Hard Real-Time Systems (Abstract)

pp. 35

PDF

Scheduling Algorithm for Hard Real-Time Communication in Demand Priority Network (Abstract)

T. Kim

H. Shin

N. Chang

pp. 45

PDF

Using Exact Feasibility Tests for Allocating Real-Time Tasks in Multiprocessor Systems (Abstract)

S. Sáez

J. Vila

A. Crespo

pp. 53

PDF

Distributed System Applications

Efficiency Evaluation of a Time-Triggered Architecture for Vehicle Body-Electronics (Abstract)

C. Ebner

pp. 62

PDF

Deterministic Multihop Radio on the Top of 802.11 MAC (Abstract)

J. Leskelä

pp. 71

PDF

Guaranteeing Real-Time Message Deadlines in PROFIBUS Networks (Abstract)

E. Tovar

F. Vasques

pp. 79

PDF

Specification and Verification

XTG - An Engineering Approach to Modelling and Analysis of Real-Time Systems (Abstract)

pp. 88

PDF

Hidden Time Model for Specification and Verification of Embedded Systems (Abstract)

P. Roop

A. Sowmya

pp. 98

PDF

Distributed System Analysis

Investigation of the Pessimism in Distributed Systems Timing Analysis (Abstract)

I. Bate

A. Burns

pp. 107

PDF

Routing and Admission Control of Real-Time Channels (Abstract)

R. Yerraballi

R. Mukkamala

pp. 115

PDF

On the Scheduling of Real-Time Multihop Packet-Switching Networks (Abstract)

pp. 123

PDF

Verification and Analysis

A Tool for High-Level Language Analysis of Worst-Case Execution Times (Abstract)

P. Puschner

pp. 130

PDF

Feasibility Analysis of Recurring Branching Tasks (Abstract)

S. Baruah

pp. 138

PDF

Facilitating Worst-Case Execution Times Analysis for Optimized Code (Abstract)

pp. 146

PDF

A Non-Temporized Approach for Temporized Analysis (Abstract)

F. Calzolari

M. Pezzè

pp. 154

PDF

Scheduling II

Guaranteeing End-to-End Deadlines in Distributed Client-Server Applications (Abstract)

M. Di Natale

A. Meschi

pp. 163

PDF

Schedulability Analysis for Mode Changes in Flexible Real-Time Systems (Abstract)

P. Pedro

A. Burns

pp. 172

PDF

On-Line Schedulers for Pinwheel Tasks using the Time-Driven Approach (Abstract)

C. Hsueh

K. Lin

pp. 180

PDF

Comparison of Global and Partitioning Schemes for Scheduling Rate Monotonic Tasks on a Multiprocessor (Abstract)

pp. 188

PDF

Real-Time Data Organization

A Transaction-Based Temporal Data Model that Supports Prediction in Real-Time Databases (Abstract)

M. Bodlaender

P. van der Stok

pp. 197

PDF

Dynamic Disk Bandwidth Managment and Metadata Pre-Fetching in a Real-Time Filesystem (Abstract)

pp. 204

PDF

Transaction Processing in Wireless Distributed Real-Time Databases (Abstract)

V. Lee

K. Lam

W. Tsang

pp. 214

PDF

Design

Tool-Supported Hierarchical Design of Distributed Real-Time Systems (Abstract)

H. Dierks

J. Tapken

pp. 222

PDF

DOOR - An Approach for Reusing and Retrieving Domain-Oriented Components (Abstract)

A. Al-Yasiri

C. Bamford

pp. 230

PDF

ETHNOS - A Real-Time Programming Environment for Robotic Systems (Abstract)

M. Piaggio

pp. 238

PDF

Automatic Detection of Software Failures: Issues and Experience (Abstract)

T. Savor

R. Seviora

pp. 245

PDF

Invited Presentation

Formal Methods in Real-Time Systems (Abstract)

E. Olderog

pp. 254

PDF

Index of Authors (PDF)

pp. 265