We put time on your side

Chrona's Scientific Foundations

Chrona's TDL tools and Chrona's Validator have their origin in cutting edge research conducted at the University of California, Berkeley, and the University of Salzburg.


The core language abstractions, in particular the Logical Execution Time (LET), were invented by Prof. Thomas Henzinger and his group in the Electrical Engineering and Computer Sciences (EECS) department at the University of California, Berkeley.


A core contribution to TDL technology was the

MoDECS project at the University of Salzburg, led by Chrona’s co-founder Prof. Wolfgang Pree.  MoDECS stands for: Model-Based development of Distributed Embedded Control Systems. It was at MoDECS that the TDL syntax and the component model were defined.


Key contributors include Dr. (ETH) Josef Templ and Prof. Niklaus Wirth at ETH Zurich.


Chrona implemented the product versions of the TDL tools and run-time systems from scratch.



Harnessing discrete event simulation for the Validator was pioneered by Dr. Stefan Resmerita with Prof. Edward Lee at the University of California, Berkeley resulting in a first proptopye called APES, for Access Point Event Simulator, based on Ptolemy.


Chrona implemented the product versions of the Validator from scratch.