Advanced Methods for Timed Systems - AMETIST

  • Larsen, Kim Guldstrand (Project Participant)
  • Behrmann, Gerd (Project Participant)
  • Fleury, Emmanuel (Project Participant)

Project Details


Objective: The main objective of the AMETIST project is to develop a powerful modelling methodology supported by efficient computerized problem-solving tools for the modelling and analysis of complex, distributed real-time systems. In particular, the project will address problems in connection with time-dependent behaviour and dynamic resource allocation. Problems of this type are manifested under different names in application domains such as manufacturing, transport, communication networks, real-time software and digital circuits. We intend to develop a unifying mathematical modelling framework for these phenomena based on the existing body of theory and tools for the so-called timed automata model, which has emerged as a very promising formalism for the modelling and analysis of real-time related phenomena. By doing so the project wants to move the state-of-the-art to a new level of maturity.
Effective start/end date01/04/200231/03/2005


  • Euro Contract number: IST-2001-35304: DKK229.00


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.