KEYNOTE PAPERS

Real-Time Software Architectures and Design Patterns: Fundamental Concepts and Their Consequences

J. Zalewski

Distributed, Object-Oriented, Active, Real-Time DBMSS: We Want It All-Do We Need Them (At) All?

A.P. Buchmann

C. Liebig

REQUIREMENTS ENGINEERING AND SOFTWARE ENGINEERING

Aspects of Flight Control Software-A Software Engineering Point of View

A. Robkopf

T. Tempelmeier

A Tool for Validating Timing Requirements of Industrial Applications Based on the Foundation Fieldbus Protocol

R. Wild

C.E. Pereira

Timing Constraints and Object-Oriented Design

M. Hermeling

O. van Roosmalen

B. Selic

An Object-Oriented Approach to Task-Graph Representation

A. Silberman

K. Sundaram

A. Stoyen

Concepts from Deadline Non-Intrusive Monitoring

M. Harelick

A. Stoyen

Building Re-Usable Components Using Formal Specifications for Complex Evolving Systems

G. Tsai

W.A. Halang

Building Safety-Critical Real-Time Systems with Synchronous Software Components

M. Gunzert

ACTIVE AND REAL TIME DATA BASE SYSTEMS

A Completely Integrated Approach to Developing, Implementing, Evaluating Distributed Active Database Management and Its OSS Support

H.F. Wedde

K.-J. Lin

A.K. Mok

K. Ramamritham

Towards a General Real-Time Database Simulator Software Library

J. Taina

S.H. Son

How to construct Predictable Rule Sets

E. Falkenroth

A. Torne

Distributing Control Systems Using Active Rules

S.F.

J. Eriksson

M. Lundin

COMMUNICATION AND CLOCK SYNCHRONISATION

Real-Time Treatments and Communications in SICODI DCS

M.A. Garcia

C. de Prada

Developing a Testbed for Distributed Real-Time Applications

P.T. Woolley

W.M. Walker

A. Burns

Experimental Evaluation of High-Accuracy Time Distribution in a COTS-Based Ethernet LAN

U. Schmid

H. Nachtnebel

Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel

G. Fortino

L. Nigro

F. Pupo

Achieving Internal Synchronization Accuracy of 30 μs Under Message Delays Varying More Than 3 msec

H.F. Wedde

J.A. Lind

G. Segbert

Congestion Control for ATM Real-Time Upsurge Service

P. Yuan

L. Zhang

A Total Ordering Scheme for Real-Time Multicasts in CAN

M.A. Livani

J. Kaiser

EMBEDDED SYSTEMS AND CASE STUDIES

Well-Behaved Applications Allow for More Efficient Scheduling

HO. Trutmann

Hard Real Time Controller: A Case Study

K. Sacha

Real-Time Systems for Mobile Robotic Applications Based on a Behavioural Model

F. Buendia

H. Hassan

J. Simo

A. Crespo

FORMAL METHODS

Modular Verification of Function Block Based Industrial Control Systems

N. Volker

B.J. Kramer

Verification of Real-Time System Requirements: A Petri Net Approach

M. Szpyrka

An Analyzable Execution Model for SDL for Embedded Real-Time Systems

J.M. Alvarez

M. Diaz

L. LLopis

E. Pimentel

J.M. Troya

H-Astral and Its Use in the Development of Real-Time Control Systems

K. Brink

J. van Katwijk

H. Toetenel

J. Zalewski

Developing Provably Correct Systems with OBSERV

S. Tyszberowicz

A. Yehudai

From Timed Automata to Testable Untimed Automata

E. Petitjean

H. Fouchal

OPERATING SYSTEMS AND SCHEDULING

Real-Time Operating Systems on the Test-Bench

M. Machtel

H. Rzehak

Timing Analysis of PL Programs

M. Lin

Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems

S. Bradley

W. Henderson

D. Kendall

Dynamic CPU Scheduling with Imprecise Knowledge of Computation-Time

S.A. Aldarmi

A. Burns

Schedulability Analysis for Real-Time Processes with Age Constraints

D. Zobel

On the Schedulability Analysis for Distributed Real-Time Systems

S. Wang

G. Farber

A Flexible Model of Time Constraints for Control and Multimedia Real-Time Systems

J.M. Lopez

D. Garcia

Author Index