Statistiques brevetées pour créer des logiciels embarqués sûrs et efficaces

Statistical timing analysis tool helping designers of embedded systems to optimize the use of the hardware by the software

Qui sommes nous?

StatInf, spin-off d'Inria, propose une technologie innovante

The StatInf "project" officially started within Inria Paris in 2018 as a response to industrial partners asking for a commercial version of the timing-analysis prototype created after years of research, by the two co-founders, Dr. Adriana Gogonel and Dr. Liliana Cucu-Grosjean.
Now, StatInf is a company specialized in cutting-edge software solutions for the performance and certification of real-time embedded systems. Our flagship product, RocqStat, leverages advanced statistical methods to optimize the timing predictability, safety, and energy efficiency of embedded complex architectures. By enhancing software performance in mission-critical applications, StatInf empowers embedded-system designers with the next-generation tools needed to meet growing computational demands while ensuring safety and efficiency.

Laser RocqStat

Applications

Aerospace Automotive Drone

Aérospatial

Le produit orienté temps de StatInf, RocqStat, est dédié, principalement, à l'analyse de logiciels nécessitant une validation du budget temps nécessaire à une exécution sécurisée sur microprocesseurs. Le marché de RocqStat, est celui des Systèmes Embarqués, tels que l'avionique, le spatial, l'automobile, le véhicule autonome, les robots industriels ou médicaux.

Automobile

Les normes automobiles, ainsi que les normes avioniques et ferroviaires par rapport au budget temps imposent des contraintes strictes aux concepteurs de systèmes embarqués dans ces domaines. Selon la complexité des programmes et des processeurs utilisés, ces contraintes sont plus ou moins difficiles à respecter. C'est la raison pour laquelle les microprocesseurs multicœurs ne sont toujours pas utilisés dans ces domaines.

Véhicule autonome

Expert en conception non fonctionnelle sûre, StatInf a travaillé sur la prouvabilité d'approches statistiques pour valider l'utilisation de processeurs complexes en observant de manière non intrusive le comportement de programmes implémentant des fonctions critiques, des capteurs aux actionneurs.

Produits & Services

StatInf propose à ses clients un produit orienté temps, RocqStat.

RocqStat découle de l'intérêt de l'industrie à accélérer les analyses de logiciels en utilisant des méthodes statistiques et probabilistes comme moyen de réduire la complexité. StatInf construit sa technologie sur une compréhension commune dérivée de la littérature académique de pointe.

Fiabilité temporelle

Provable statistical methods produce reliable WCET on complete software execution

Statistiques prédictives

Statistiques prédictives utilisant le traçage dynamique combiné à l'analyse de code binaire statique

Couverture de code

Couverture de code effectuée à l'aide d'un mélange de traces statiques et statistiques

Tests d'amélioration

Critère d'arrêt pour valider le budget temps avant et après modification du code

Suivi des comportements logiciels inattendus

Statistiques prédictives utilisant le traçage dynamique combiné à l'analyse de code binaire statique

Support multicœur

Perturbation multicœur sur l'exécution globale du programme

Ecosystem & network

Following its values, StatInf supports and contributes to several Research and/or Industrial French and European Associations. StatInf is member of the Systematic competitivity pole, of the Embedded France Association, French Tech, ASTech and France Innovation. StatInf is also member of more specific associations as Aerospace Valley, the aerospace French community or EARPA, the European Research Association in Automotive. StatInf is a former alumni of ESA-BIC Nord, the ESA accelerator as well as STARBURST, Wilco Industry and Agoranov alumni.

StatInf received significant support from BPI, facilitating further Research and Development, making BPI a partner of StatInf.

Partnerships

StatInf is a spin-off of Inria, the state-run laboratory for Computer Science Research. As such they are StatInf’s privileged partner. An agreement between the two entities gives StatInf exploitation exclusivity of two Inria patents co-written by StatInf’s co-founders. This collaboration is strengthened through PhD thesis co-supervised by the two entities. CIFRE PhD grants were obtained from ANRT for advancing on common research topics of Inria and StatInf.

StatInf is partner through collaborative projects with important French and European actors in automotive.

  • The consortium Mach2 , of six major mobility players – Alstom, EasyMile, Equans, Keolis, Renault Group and StatInf – is preparing the launch of a new, low-carbon public transport service at Level 4 (without an on-board supervisor) of autonomous driving. brings together French leaders in mobility, each contributing its own area of expertise: Renault Group for the robotized electric minibus platform, EasyMile for the autonomous driving system, StatInf for the validation of critical software elements, Equans for the Operating Assistance and Traveler Information system, Alstom for the connected safety infrastructure and communication protocols, and Keolis for the operation and maintenance of these new public transport services.

  • The HAL4SDV project puts together more than 50 partners in the European automotive industry. The project’s mission is to advance European solutions in software-defined next-generation vehicles. By focusing on unifying software interfaces and development methodologies, HAL4SDV will enable software configuration that abstracts from vehicle hardware, paving the way for a "software-defined vehicle (SDV)" approach for both safety-critical and non-safety-critical applications in future vehicles.

StatInf is partner with Lauterbach, European provider of debug and trace tools. This joint endeavor provides users with the ability to use program flow trace captured by Lauterbach’s TRACE32® trace tools with the RocqStat™ analysis tools from StatInf.

StatInf is partner with SYSGO, European provider of real-time operating systems for critical embedded applications in the Internet of Things (IoT). StatInf’s products have been designed to meet the highest requirements when it comes to Safety and Security. Our customers are leading players in the Aerospace, Railway, Automotive, Medical and Industrial Automation industries, who use our PikeOS product as a platform for critical systems that need to be certified against industry-specific Safety and Security standards.

Call for partnerships

We’re actively building a community of forward-thinking partners. Whether you're an innovator in embedded systems or an organization looking to stay ahead of technological challenges, a partnership with StatInf offers unmatched value:

  • Exclusive Feedback Opportunities: influence the evolution of RocqStat™ through a virtuous feedback loop, prioritizing features that meet your specific needs.

  • Preferred Access: Gain discounted licenses and early access to our cutting-edge technologies in return for contributing to our product development journey.

More information about the StatInf's partnerships offer HERE.

InriaEmbedded FranceBlastFrench Tech
ANRTSystematicBPIFrance Innovation
AGOESA BIC NordAsTechAerospace Valley
WilcoSysgoLauterbachEasyMile
OneraCEASpringPolytechnique

Témoignages clients et partenaires

ESA BIC Nord
ESA BIC, France
Communiqué de presse,Mars 2021

"StatInf est une start-up issue de l’Inria créée en 2019 ayant développé un logiciel d’aide à la conception des systèmes embarqués. En combinant des méthodes de l’embarqué avec des méthodes statistiques, StatInf permet non seulement d’utiliser la nouvelle génération des processeurs en toute sécurité dans des domaines critiques mais également de réduire le cycle de développement, d’introduire l’IA dans la boucle de contrôle, et de minimiser la consommation d’énergie.

StatInf s’adresse aux concepteurs des systèmes embarqués critiques dans les industries aéronautique et spatiale, automobile et ferroviaire"

Nos talents

Dr. Adriana Gogonel

Dr. Adriana Gogonel

CEO of the company, has a PhD in statistic from the University Paris-Descartes, followed by a 6-year postdoctoral fellowship at Inria. At the end of the 6 years at Inria raises the idea of creating the company as a necessity to transfer the technology supported by two patents that Adriana and Liliana co-wrote. Adriana and Liliana were supported by Inria in their company creation process with, among other, an 8-month entrepreneurial training at EMLyon for Adriana.

Dr. Liliana Cucu-Grosjean

Dr. Liliana Cucu-Grosjean

Scientific Leader of the company, has a PhD in computer science from the University of Paris-Saclay and an accreditation to supervise sustained research at Sorbonne University. Her work focuses on the use of statistical and probabilistic approaches for the design of cyber-physical systems. Author of more than 60 articles and several patents, she has carried out numerous national and European collaborative projects for Inria. She supervised 8 PhD thesis and 9 post doctoral students.

Dr. Slim Ben Amor

Dr. Slim Ben Amor

Slim joined StatInf, as an R&D engineer, in November 2020 after his PhD. Slim carried out his doctoral thesis work at Sorbonne University in collaboration with Inria under the supervision of Liliana Cucu-Grosjean. His thesis topic “Scheduling of Dependent Tasks with Probabilistic Runtime on Multicore Processors” is of interest to StatInf’s technology direction.

Kossivi Kougblenou

Kossivi Kougblenou

Kossivi is an embedded systems research engineer having a Master2 from the University of Paris Saclay on embedded systems specialization. Kossivi joined the team in April 2020 for his internship and continued as an engineer starting October 2020.

Ismail Hawila

Ismail Hawila

Ismail is a research engineer doing his PhD thesis under the supervision of Liliana Cucu-Grosjean. The topic of Ismail thesis is “The multicore scheduling of real-time systems for the control and monitoring of probabilistic tasks with precedence constraints” and he is co-supervised on StatInf’s side by Slim BEN AMOR. He joined StatInf in October 2022.

Dr. Hadrien Clarke

Dr. Hadrien Clarke

A graduate in Engineering, Hadrien starts his professional career in Japan at a Research Institute. He is then awarded a PhD degree in Advanced Information Technologies from Kyushu University. He later moves to the United States to work as a Senior Software Engineer in embedded systems for a major aerospace company. Back in France and after joining the Kopernic team at Inria for a while, Hadrien is today Statinf’s Chief Software Architect. He joined StatInf in May 2022.

Issao Ueda

Issao Ueda

Issao oversees our product development and operational growth as our CPO. He graduated from Telecom SudParis and holds a Master’s degree in International Sales Management from the Institut Mines-Télécom Business School. After 9 years in IT presales where he became bid manager, he created his own structure, specialized in business and operational management for Blockchain projects. Issao joined StatInf in November 2022.

Dr. Jordy Ruiz

Dr. Jordy Ruiz

Jordy is a research engineer with experience in static analysis for low-level systems and timing analyses. He defended his PhD in Toulouse, on the topic of “Determination of data flow properties to improve worst-case running time estimates” then he worked as an academic for Université Lille and Imperial College London. Jordy joined Statinf in October 2022 as a research engineer.

Dr. Benjamin Rouxel

Dr. Benjamin Rouxel

Benjamin joined StatInf for the position of R&D Chief Officer. He is currently finishing his Post-Doc at Unimore in the Hipert Lab after two years at the University of Amsterdam PCS group. In December 2018, he finished his PhD on Minimising communication costs impact when scheduling real-time applications on multi-core architectures at University of Rennes 1 under the supervision of Prof. Isabelle Puaut and Steven Derrien. During his PhD time, he was part of the groups PACAP and CAIRN at INRIA/Irisa.

Alumnis

Rihab Bennour

Marwan Wehaiba El Khazen

Nous rejoindre

Nous sommes une équipe ambitieuse visant à révolutionner le monde des systèmes embarqués. Votre travail contribuera à rendre les voitures, les avions et les vaisseaux spatiaux plus sûrs !

StatInf a pour défi de produire des solutions de vérification temporelle de programmes informatiques afin d'améliorer la sûreté et la sécurité des systèmes critiques.

Par le passé, la conception de véhicule consistait à définir des fonctions spécifiques qu'un équipementier se chargeait de réaliser en mode black box. Aujourd’hui une nouvelle dynamique est en marche, les fonctions logicielles sont pensées pour être compatibles et évolutives pour les architectures matérielles d'aujourd'hui et de demain, ajoutant de la pression sur le respect de contraintes temporelles.

Avec des programmes de plus en plus complexes et s'exécutant sur des processeurs de plus en plus puissants, ce défi est d'une actualité grandissante.

Si tu penses avoir les compétences requises pour renforcer notre équipe et relever de grands défis, alors n'hésites pas à nous contacter.

News

StatInf: Shaping the Future of Embedded Systems!

StatInf: Shaping the Future of Embedded Systems!

At StatInf, we are revolutionizing the way embedded systems are designed and optimized for critical industries such as aerospace, automotive, defense, and beyond. Our flagship product, RocqSt[...]

StatInf rejoint le programme d’accélération à l’international France 2030 Export

StatInf rejoint le programme d’accélération à l’international France 2030 Export

En tant qu'entreprise labellisée France Relance 2030, StatInf est fière d’annoncer qu&[...]

Adriana Gogonel, on the set of BFM Business

Adriana Gogonel, on the set of BFM Business

Invited on the BFM Business set in Frédéric Simottel’s Tech&co show, Adriana spoke about StatInf an[...]

Suivant

Contact

  • Envelope
  • contact@statinf.fr
  • Phone
  • +33 1 84 19 26 60
  • Navigation
  • 102-104, Rue Gabriel Péri, 94250 Gentilly, France
  • Immatriculée au Registre du Commerce et des Sociétés de Nanterre sous le numéro 879 473 593