Statinf est un éditeur de logiciel d’analyse temporelle de la partie électronique des systèmes embarqués. StatInf s’adresse aux industries critiques telles que l’aérospatial, l’automobile, les chemins de fer, les robots industriels et médicaux, la défense. L’outil de StatInf, RocqStat met ensemble des méthodes statistiques et d’optimisation pour estimer le comportement temporel d’un ensemble de programmes sur un processeur. Cela permet de réduire la consommation d’énergie d’un équipement spatial par exemple (lanceur, navette spatiale ou bien avion, drone, etc) tout en garantissant la sûreté du système.
