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.
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.