White Papers

Modeling with TDL

A set of slides that sketches the principal language constructs of the Timing Definition Language (TDL) as well as its benefits.

TDL Specification and Language Report

This technical report presents the textual syntax and semantics of the Timing Definition Language (TDL). It forms a solid basis for discussions how a component standard for hard real-time software should look like.

Chrona‘s Validator

A summary of the features of Chrona's Validator tool and how developers benefit from using it.

Computing needs time by Edward Lee (UC Berkeley)

An excellent motivation why you should explicitly model timing behavior.