Chrona's TDL Tools guarantee correct-by-construction timing behavior of your safety-critical systems.


Correctness is a particular challenge in multi-core embedded systems. This is why Daimler AG uses TDL in its next generation electric vehicles that will come on the market in 2019/20.

watch making.iStock-869844936.jpg


If you do not go the extra mile to explicitly model the timing behavior in TDL, you should at least make sure that your legacy system works correctly, for example, after a multi-core migration.

The Validator is a platform-aware Software-in-the-Loop (SIL) simulator which detects the most rare potential timing problems, even those which occur say with a one in 100 million probability.