Furthermore FORMATS brings together researchers from different disciplines that share interests in modelling and analysis of timed systems. Typical topics include:
- Foundations and Semantics: Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).
- Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimisation, model-checking, testing, constraint solving, etc).
- Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).
The AIT expert Dejan Nickovic (Research Service Verification and Validation) is one of the Programm Committee co-chairs and AIT is co-sponsor of the event.
Date: 18. - 20. September, Imperial College London
Link: