Workshop 8: Real-Time Systems and Data Fusion
Programme Committee:
General Chair. Rajeev Alur
(University of Pennsylvania and Bell Laboratories, USA),
alur@cis.upenn.edu
Local Chair. Eric Rogers
(University of Southampton),
etar@ecs.soton.ac.uk
Vice Chair. Hans-J.Siegert
(University of Munich, Germany),
siegert@informatik.tu-muenchen.de
Vice Chair. Guenter Hommel
(University of Berlin, Germany),
hommel@cs.tu-berlin.de
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