5th International Conference on Formal Modelling and Analysis of Timed Systems, Salzburg, Österreich

Abbrevation

FORMATS

Link

http://www.ulb.ac.be/di/formats07/

City

Salzburg

Country

Austria

Deadline Paper

2007-05-07

Start Date

2007-10-03

End Date

2007-10-05

Abstract

<SPAN lang=EN–US style=″FONT–SIZE: 9pt; FONT–FAMILY: Verdana; mso–bidi–font–family: ′Times New Roman′; mso–font–kerning: 1.0pt; mso–fareast–font–family: 宋体; mso–ansi–language: EN–US; mso–fareast–language: ZH–CN; mso–bidi–language: AR–SA; mso–bidi–font–weight: bold″>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. Keywords: –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 telecommunication).