ETAPS 2002

Workshop on Theory and Practice of Timed Systems

(A satelite event of ETAPS 2002)

April 6-7, 2002, Grenoble, France

Organizers: Eugene Asarin, Oded Maler and Sergio Yovine

The study of time-dependent behavior is treated currently under different titles by different communities. Classical problems of manufacturing scheduling, for example, are considered as part of operation research and industrial engineering. Similar but different scheduling problems are encountered in the research on real-time operating systems. People who are interested in semantics, verification or performance analysis are working on models such as timed automata, timed Petri nets or max-plus algebra. Electrical engineers have to consider propagation delays in their circuits and designer of embedded controllers have to take into account the time it takes for the controller to compute its reaction after sampling the environment. The unifying theme underlying all these apparently different domains is that they treat systems whose behavior depends upon combinations of logical and temporal constraints, i.e. constraints on the distance between the occurrences of two events.

The workshop goal is to promote the study of fundamental and practical aspects of timed systems. The three major axes of interest are listed below:
 

  • Foundations and semantics: contributions to a better theoretical foundations for timed systems and timed formal languages as well as a comparison between different models used by different communities (timed automata, timed petri nets, max-plus algebra, etc.).

  •  
  • Algorithms and tools: new algorithms and data-structures for analyzing timed systems and resolving temporal constraints. are needed in order to push timing technology into the real world.

  •  
  • Applications: adaptation and specialization of timing technology to the modeling and analysis of certain types of application domains in which timing plays an important role (real-time software, hardware circuits and problems of scheduling in manufacturing or telecommunication).
  • Invited Speakers: (Abstracts )

  • Giorgio Buttazzo, University of Pavia

  • Towards Adaptive Real-Time Systems
  • Avi Efrati, Intel Haifa

  • Real Life Timing Analysis at Intel
  • John Hooker, Carnegie-Mellon Univesity

  • Scheduling by a Combination of Mathematical and Constraint Programming
  • Claude Le Pape, ILOG SA

  • Temporal and Resource Constraints in Constraint-Based Scheduling
  • Joseph Sifakis, Verimag Grenoble

  • Restricting the Behavior of Timed Systems

    Program committee:

  • Rajeev Alur, U. Penn, Philadelphia
  • Eugene Asarin, Verimag, Grenoble (co-chair)
  • Ahmed Bouajjani, LIAFA, Paris
  • Jordi Cortadella, U. Catalunya, Barcelona
  • Sebastian Engell, U. of Dortmund
  • Tom Henzinger, U. California, Berkeley
  • Bengt Jonsson, U. of Uppsala
  • Kim Larsen, U. of Aalborg
  • Insup Lee, U. Penn, Philadelphia
  • Oded Maler, Verimag, Grenoble (co-chair)
  • Chris Myers, U. Utah, Salt Lake City
  • Peter Niebert, U. Provence, Marseille
  • Antoine Petit, ENS, Cachan
  • Paul Petterson, U. of Uppsala
  • Amir Pnueli, Weizmann Institute, Rehovot
  • Alex Rabinovich, U. of Tel-Aviv
  • Jean-Francois Raskin, Free University, Brussels
  • Karem Sakallah, U. Michigan, Ann Arbor
  • Ken Stevens, Intel, Hillsboro
  • Wang Yi, U. of Uppsala
  • Sergio Yovine, Verimag, Grenoble (co-chair)

  • List of  Accepted Papers with abstracts

    Workshop  Program 

    Useful links:
    The workshop page
    ETAPS 2002
    VERIMAG
    ENTCS