StatInf

Based in France, StatInf is a startup. Brouky classifies it under Industry & Hardware.

StatInf is an Inria spin-off developing RocqStat, a statistical timing analysis tool for real-time embedded systems that helps designers predict worst-case execution times and optimize timing predictability, safety and energy efficiency for industries such as aerospace, automotive and rail. The company commercializes provable statistical methods combining dynamic tracing and static analysis to validate time budgets on multicore processors.