Statistiques brevetées pour créer des logiciels embarqués sûrs et efficaces
Outils d'analyse statistique du temps aidant les concepteurs de systèmes embarqués à optimiser l'utilisation du matériel par le logiciel
Qui sommes nous?
StatInf, spin-off d'Inria, propose une technologie innovante
Le « projet » StatInf a officiellement démarré au sein d'Inria en 2018 lorsqu'il a été sélectionné pour le programme national d'aide à la création d'entreprise d'Inria, Inria Hub. La création de la start-up a été motivée par une demande de partenaires industriels pour une version commerciale du prototype créé par les deux fondatrices, Dr Adriana Gogonel et Dr Liliana Cucu-Grosjean, au sein d'Inria Paris. L'ambition des deux fondatrices de créer une start-up valorisant leurs travaux de recherche, aujourd'hui concrétisée notamment par deux brevets, est née suite à de nombreuses collaborations entre Inria et des partenaires privés. Quatre ans plus tard StatInf est une sommes une équipe de neuf personnes proposant un produit commercial, RocqStat.
![Laser](images/laser.jpg)
![RocqStat](images/RocqStat.jpg)
Applications
![]() |
![]() |
![]() |
AérospatialLe 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. |
AutomobileLes 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 autonomeExpert 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é temporelleProvable statistical methods produce reliable WCET on complete software execution |
Statistiques prédictivesStatistiques prédictives utilisant le traçage dynamique combiné à l'analyse de code binaire statique |
Couverture de codeCouverture de code effectuée à l'aide d'un mélange de traces statiques et statistiques |
Tests d'améliorationCritère d'arrêt pour valider le budget temps avant et après modification du code |
Suivi des comportements logiciels inattendusStatistiques prédictives utilisant le traçage dynamique combiné à l'analyse de code binaire statique |
Support multicœurPerturbation multicœur sur l'exécution globale du programme |
Partenaires & Réseau
StatInf est une spin-off d'Inria, laboratoire public. A ce titre, ils sont le partenaire privilégié de StatInf. Un accord entre les deux entités donne à StatInf l'exclusivité d'exploitation de deux brevets Inria co-écrits par les co-fondateurs de StatInf.
En décembre 2020 nous avons mis en place les modalités d'une collaboration directe avec Onera, collaboration renforcée par le programme BLAST de l'accélérateur Starburst. Via BLAST nous sommes en partenariat avec l'École Polytechnique.
CNES est un autre canal par lequel nous recherchons des opportunités commerciales. Nous avons récemment été invités à leur présenter notre outil RocqStat, qu'ils ont immédiatement identifié comme une technologie pouvant parfaitement s'intégrer dans leur stratégie de développement logiciel.
StatInf est membre du pôle de compétitivité Systematic, Embedded France (l'association des représentants français des logiciels et systèmes embarqués), de l'ANRT, de la French Tech, de l'ASTech, d'AerospaceValley et de France Innovation. StatInf a été incubé à Agoranov et a été sélectionné par les programmes d'accélération de Wilco et ESA-BIC Nord. StatInf a également reçu un soutien important de BPI, facilitant la poursuite de la recherche et du développement.
![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() |
Témoignages clients et partenaires
![ESA BIC Nord](images/partners/ESA_BIC_Nord.png)
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](images/team/adi.jpg)
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](images/team/lili.png)
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](images/team/slim.jpg)
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.
![Rihab Bennour](images/team/rihab.png)
Rihab Bennour
Rihab is an embedded systems research engineers having a Master2 from the University of Paris Saclay on embedded systems specialization. Rihab joined the team in January 2020 after her internship done at CEA.
![Kossivi Kougblenou](images/team/kos.jpg)
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](images/team/ismail.jpg)
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](images/team/hadrien.jpg)
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](images/team/issao.jpg)
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](images/team/jordy.jpg)
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](images/team/ben.jpg)
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.
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
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[...]
Statinf has raised €500,000 in seed funding, reaching the halfway mark in their expected €1M funding round
Statinf, an innovative statistics modelling company for embedded systems, based in Paris, France, has raised €500,000 in seed funding, reaching the halfwa[...]
Contact
- contact@statinf.fr
- +33 1 84 19 26 60
- 25 av du Dr Lannelongue, 75014 Paris, France
- Immatriculée au Registre du Commerce et des Sociétés de Nanterre sous le numéro 879 473 593