This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.Event clock automata (ECA) are a model for timed languages that has been introduced by Alur, Fix and Henzinger as an alternative to timed ... We first prove that no finite time abstract language equivalence exists for ECA, thereby disproving a claim in the original work on ECA. ... The algorithms to analyse timed automata have been implemented in several tools such as Kronos  or UppAal (which isanbsp;...
|Title||:||Formal Modeling and Analysis of Timed Systems|
|Author||:||Uli Fahrenberg, Stavros Tripakis|
|Publisher||:||Springer - 2011-09-25|