Timing

Definition

Language

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.

Validator

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.

Contact us:

Karl-Roll-Str. 16 

5020 Salzburg   

Austria/Europe

© 2019 by chrona.com

office@chrona.com       

+43 662 804 464 88