Reliability & Safety. Chrona's mission is to make cyber-physical systems more reliable and safe to use.
This is why Daimler takes advantage of our Timing Definition Language (TDL) in its next generation Mercedes electric vehicles:
Why now? Faulty behavior is magnified in more complex systems, especially when cars or trains get networked or when fully autonomous features have no human in the loop. Chrona's products allow correct-by-construction timing behavior from the bottom up.
LIFE IS PRECIOUS
Man-made systems must not pose additional risks,
but protect us!
published by Daimler on May 6th, 2019