Background

During the 15 years since its introduction in 1991 the Duration Calculus (DC) has become an established formal method for the specification and verification of real-time systems. The fitness of DC for the study of real-time systems has been confirmed by numerous case studies. The needs of applications have made DC a topic of intense research and brought to life several variants and extensions of DC and the development of model-checking and automated proof-search tools. DC is the extension of Interval Temporal Logic by real-valued measurements of the duration of state. The connections between DC and other formalisms for modelling various measurements over timed behaviour remains an important area of investigation.

The purpose of this workshop is to promote the study of the fundamental and practical aspects of DC, ITL and the related formal methods and to provide a forum for scientific exchange in the area of DC interval temporal logics and other related systems.