*Objective***<br>Timing aspects of systems from a variety of computer science domains<br>have been treated independently by different communities. Researchers<br>interested in semantics, verification and performance analysis study<br>models such as timed automata and timed Petri nets, the digital design<br>community focuses on propagation and switching delays while designers of<br>embedded controllers have to take account of the time taken by<br>controllers to compute their responses after sampling the environment.<br>Timing–related questions in these separate disciplines do have their<br>particularities. However, there is a growing awareness that there are<br>basic problems that are common to all of them. In particular, all these<br>sub–disciplines treat systems whose behaviour depends upon combinations<br>of logical and temporal constraints; namely, constraints on the temporal<br>distances between occurrences of events.<br>*Topics***<br>The aim of FORMATS is to promote the study of fundamental and practical<br>aspects of timed systems, and to bring together researchers from<br>different disciplines that share interests in modelling and analysis of<br>timed systems. In 2019, FORMATS aims at being more inclusive wrt to<br>applications, notably real–time systems.<br>Typical topics include (but are not limited to):<br>* *Foundations and Semantics:*Theoretical foundations of timed systems<br>and languages; comparison between different models (timed automata,<br>timed Petri nets, hybrid automata, timed process algebra, max–plus<br>algebra, probabilistic models)<br>* *Methods and Tools:*Techniques, algorithms, data structures, and<br>software tools for analyzing timed systems and resolving temporal<br>constraints (scheduling, worst–case execution time analysis,<br>optimization, model checking, testing, constraint solving, etc.)<br>* *Applications:*Adaptation and specialization of timing technology in<br>application domains in which timing plays an important role<br>(real–time software, hardware circuits, and problems of scheduling<br>in manufacturing and telecommunication).<br>
Abbrevation
FORMATS
City
Amsterdam
Country
Netherlands
Deadline Paper
Start Date
End Date
Abstract