We put time on your side

Chrona White Papers

The following documents describe Chrona's technology and its context in more detail.

FAQs about Chrona's Validator

FAQs about Chrona's Validator

Download file (72 kb)

FAQs about Chrona's Validator (GERMAN)

FAQs about Chrona's Validator (GERMAN)

Häufig gestellte Fragen zum Chrona Validator.

Download file (90 kb)

Modeling with TDL

Modeling with TDL

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

Download file (5.4 mb)

TDL Specification and Language Report

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.

Download file (432 kb)

Advanced SIL simulation with Chrona‘s Validator

Advanced SIL simulation with Chrona‘s Validator

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

Download file (4.4 mb)

Computing needs time by Edward Lee (UC Berkeley)

Computing needs time by Edward Lee (UC Berkeley)

An excellent motivation why you should explicitly model timing behavior.

Download file (376 kb)