4th International Conference on Formal Modelling and Analysis of Timed Systems

Event Detail

General Information
Dates:
Monday, September 25, 2006 - Wednesday, September 27, 2006
Days of Week:
Monday
Tuesday
Wednesday
Target Audience:
Academic and Practice
Location:
Paris, France
Sponsor:
Event Details/Other Comments:

************************************
* Submission deadline: May 1, 2006 *
************************************

OBJECTIVE AND SCOPE
Timing aspects of systems from a variety of computer science domains have been treated independently in separate scientific disciplines:
People who are interested in semantics, verification or performance analysis are working on models such as timed automata, or time(d) Petri nets. Electrical engineers have to consider propagation delays in their circuits and designers of embedded controllers have to take into account the time it takes for the controller to compute its reaction after sampling the environment.
While indeed the timing related questions in these separate disciplines have their particularities (e.g. worst case analysis vs. average case optimisation), there is a growing awareness of the difficult problems common to all of them, suggesting the interdisciplinary study of timed systems: The unifying theme underlying all these apparently different domains is that they treat systems whose behaviour depends upon combinations of logical and temporal constraints, e.g. constraints on the distance between occurrences of events.
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems. Typical topics include (but are not limited
to):
* Foundations and Semantics: contributions to the theoretical
foundations of timed systems and timed formal languages as well as
comparison between different models used by different communities
(timed automata, timed Petri nets, hybrid automata, timed process
algebra, max-plus algebra as well as 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 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).