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
We provide statistical timing analysis of programs behavior on multicore processors for highly critical embedded system-based industries
StatInf provides software tools and services for the timing verification of real-time embedded systems in the avionics, space, defense, automotive and transportation industries. Statinf’s innovative RocqStat products use patented predictive statistics together with static analysis to provide detailed timing verification for architectures ranging from single-core systems to complex multi-cores with multi-layered software. RocqStat can be used during the design, development, and functional test phases of a project, as a software timing quality assurance tool, and in the case of post-deployment incidents as a precision targeted investigative resource. Using RocqStat reduces the effort involved in the development life cycle by accurately identifying timing sensitivities in the executed software, ensuring a robust temporal analysis. RocqStat reduces the time and effort needed to generate proven results for high level certification requirements, thanks to its TQL5 certification kit.
Avionics
Measure software predictability and detect interferences on multicores processors
Optimize shorter development cycle
Make easier and safer the reassignment task for the developer
Automotive
Unique composition method to determine Multicore impact
Secure AI programs requiring complex software level and operating systems
Automatic bounds estimation for WCET on functional execution with no code instrumentation needed
Drones & Aerospace
Saving energy and time consumption
Provide data for higher Certification level and reduce difficulty to justify it
Instantly analyze of the function trace execution whatever size and complexity of the application
Current challenges in designing Embedded Systems
Non-predictability of the programs on multicores processors
Long development cycle
Difficulty to build arguments justifying their solution wrt certification/normalisation
Arrival of AI programs requiring complex operating systems
Functionalities
The StatInf solution is based on a statistics-oriented patented technology which validates the design of embedded systems and ensures an important decrease of the development cycle and energy consumption, while connecting safeness and security in critical areas.
The solution is adapted for large programs on heterogeneous multicore processors, while validating changes within programs in a few minutes, even for programs for which the designers have no access to the code of programs.
By combining optimization and statistical methods, StatInf not only makes it possible to make predictable the use of multi-core in the critical ES but to reduce the development cycle, to safely introduce Artificial Intelligence into the control loop, to minimize energy consumption.
pWCET
Architecture Processor Configuration
Code coverage
Managing interferences
Multicore
News
Lauterbach and StatInf partnership provides innovative criteria in software quality analysis
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™...
Adriana Gogonel on the set of the Smart Tech Lab show presented by Cécilia Severi on B SMART
On the set of the Smart Tech Lab show presented by Cécilia Severi on B SMART, Adriana Gogonel, CEO of StatInf presented StatInf in terms of the product addressing the market of industrial designers of embedded systems.
Les Trophées de l’embarqué 2021 couronnent Koovea, FineHeart, Falco, Scalian, Statinf, Wandercraft, l’UTC de Compiègne et Capgemini
"C’est au cours de la 14e édition des Assises de l'embarqué qui s’est déroulée le 12 janvier 2022 en distanciel à Paris que le jury, présidé en 2021 par Numeum, cofondateur d’Embedded France (avec les pôles Systematic, Minalogic, Aerospace...
Liliana Cucu-Grosjean : portrait d’une ouvreuse de voies
Publication of the Inria article on Liliana Cucu-Grosjean, co-founder of StatInf "La méthode statistique mise au point par Liliana Cucu-Grosjean et son équipe répond quant à elle à ces deux défis. D’une part, elle permet de refaire une analyse en...
RocqStat, StatInf’s software is nominated for the Trophies “Assises de l’embarqué”
The annual event “Assises de l’Embarqué” organized by Embedded France Association selects every year ten technologies that have distinguished in the embedded systems area, in five different categories. This year StatInf is nominated for the The Embedded Technologies...
Agreement for selling a first licence of RocqStat
RocqStat tool proves its worth and obtains its first order from an aerospace customer. This is the start of a new stage!
Statinf & EasyMile (STARTREC project) article
A joint article co-written by the STARTREC project partners is accepted at the ERTS 2022 conference: "Verification of a safety-critical system for autonomous vehicles" https://www.erts2022.org.
Statinf & Kopernic Inria article published in the Journal of Systems Architecture (JSA).
Statinf & Kopernic Inria article published in the Journal of Systems Architecture (JSA) “Graph reductions and partitioning heuristics for multicore DAG scheduling” , S. Ben Amor, L.Cucu-Grosjean
Partnership with Airbus Avionics
After more than ten years of academic collaboration between Inria and Airbus Avionics, the collaboration between the two entities is transformed into an industrial collaboration between StatInf and Airbus