Patented Statistics building safe & efficient  embedded software

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

About us

StatInf, spin-off Inria, proposing an innovative technology

The StatInf “project” officially started within Inria in 2018 when it was selected for Inria’s national business creation assistance program, Inria Hub. The creation of the start-up was motivated by a request from industrial partners for a commercial version of the prototype created by the two founders, Dr. Adriana Gogonel and Dr. Liliana Cucu-Grosjean, within Inria Paris. The ambition of the two founders to create a start-up that promotes their research work, which today is materialized in particular by two patents, was born following numerous collaborations between Inria and private partners. Four years latter we are a team of nine proposing a commercial product, RocqStat.

Applications

by John McArthur on Unsplash
by Julian Hochgesang on Unsplash
by Annie Niemaszyk on Unsplash

Aerospace

The time-oriented StatInf’s product, RocqStat, is dedicated, primarily, to the analysis of software that requires a validation of the time budget needed for safe execution on microprocessors. The market for RocqStat, is that of Embedded Systems, such as avionics, space, automotive, autonomous vehicle, industrial or medical robots.

Automotive

Automotive, as well as avionics and railways standards wrt time budget put strict constraints on the embedded system designers in these areas. Depending on the complexity of the programs and the processors used, these constraints are more or less difficult to respect. This is the reason why multicore microprocessors are still not used in these areas.

Autonomous vehicle

Expert in safe non-functional design, StatInf worked on the provability of statistical approaches to validate the use of complex processors by observing in a non-intrusive way the behavior of programs implementing critical functions, from sensors to actuators.

Products & Services

StatInf proposes to its customers a time-oriented product, RocqStat.

RocqStat stems from the industry’s interest in accelerating the analyses of software by using statistical and probabilistic methods as a means to decrease the complexity. StatInf builds its technology on top of a common understanding derived from the state-of-the-art academic literature.

Timing reliability

Provable statistical methods produce reliable WCET on complete software execution

Predictive statistics

Predictive statistics using dynamic tracing combined with static binary code analysis

Code Coverage

Code Coverage conducted using a mix of static and statistic traces

Improvement testings

Stop criterion to validate time budget before and after code modification

Unexpected software behavior tracking

Predictive statistics using dynamic tracing combined with static binary code analysis

Multicore support

Multicore perturbation on global program execution

Partners & network

StatInf is a spin-off of Inria a state-run laboratory. 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.

In December 2020 we set up the terms of a direct collaboration with Onera, collaboration that has been strengthen by the BLAST program of the Starburst accelerator. Via BLAST we are in partnership with École Polytechnique.

CNES is a further channel through which we seek business opportunities. We were recently invited to give a presentation to them about our RocqStat tool, which they immediately identified as a technology that can fit perfectly into their software development strategy.

StatInf is a member of Systematic competitivity pole, Embedded France (the association of French representatives of embedded software and systems), ANRT, French Tech, ASTech, AerospaceVallley and France Innovation. StatInf has been incubated at Agoranov and was selected by the acceleration programs of Wilco and ESA-BIC Nord. StatInf also received significant support from BPI, facilitating further Research and Development.

Clients and partners testimonials

Airbus Toulouse, Avionics Software

Program flow trace, e.g. NEXUS BTM, is essential to establish the coverage of your measurements. If non intrusive and timestamp accurate, the BTM (and other traces if available) can feed WCET Static Analysis methods, or help build hardware timing models, or feed statistical methods to check the quality and exhaustivity of the collected durations. And ultimately to justify safe upper bounds for the WCET. Traces are a rich source of information for WCET analysis.”

Lauterbach, Germany

“Lauterbach, the World’s leading provider of debug and trace tools is pleased to announce a co-operation with StatInf. 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.”

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.”

Our team

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

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

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

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

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.

Marwan Wehaiba El Khazen

Marwan has prepared at StatInf his Master 2 internship in Mathematics, Vision and Learning (MVA) from ENS Paris Saclay. At the end of his internship, in October 2020 he joined StatInf as a CIFRE doctoral student.

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

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 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

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

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.

Join us

We are an ambitious team aiming to revolutionize the world of embedded systems. Your work will help make safer cars, planes and spacecrafts!

StatInf’s challenge is to produce timing verification solutions for computer programs in order to improve the safety and security of critical systems.

In the past, vehicle design consisted of defining specific functions that an equipment manufacturer was responsible for carrying out in black box mode. Today a new dynamic is underway, software functions are designed to be compatible and scalable for the hardware architectures of today and tomorrow, adding pressure on respecting temporal constraints.

With programs becoming more and more complex and running on increasingly powerful processors, this challenge is increasingly relevant.

If you think you have the skills required to strengthen our team and take on major challenges, then do not hesitate to contact us!

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 and the progress made[…]

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,[…]

Liliana Cucu-Grosjean interviewd by ADMORPH

Co-author of fundamental articles on probabilistic and statistical methods for real-time systems, Liliana Cucu-Grosjean, Inria Research Director, leader of[…]

Contact


contact@statinf.fr

00 33 1 84 19 26 60

25 av du Dr Lannelongue, 75014 Paris, France

Registered in the Nanterre Trade and Companies Register under number 879 473 593

en_USEnglish