Workshop 20: Real-Time Systems and Constraints
Programme Committee:
Gérard Berry,
Ecole des Mines, France, Global Chair
Hans-Jürgen Siegert, TU Munich, Germany, Local Chair
Rajeev Alur,
AT&T Bell Laboratories, USA, Vice-Chair
Günter Hommel,
TU Berlin, Germany, Vice-Chair
Description:
The workshop is dedicated to the design, implementation,
and verification techniques for computerized systems that obey
real-time constaints. The subject comprises programming languages for
real-time systems, associated compiling or synthesis technology,
real-time operating systems and schedulers, mixed hardware/software
systems, and verification of real-time constraints. We would like the
workshop to span from academia to applications and from scientific
approaches to well-engineered real-time systems case studies.
Topics of interest include:
- reactive and real-time languages
- codesign for real-time systems
- real-time operating systems
- code speed evaluation
- real-time static or dynamic scheduling
- verification of real-time constaints
(C)opyright
by University of Passau,
Sven Anders
14.05.1997