The startup develops a statistical timing analysis platform that enhances the performance of embedded devices on multicore processors by optimizing software and hardware architecture. Its technology employs statistical and probabilistic methods to simplify the analysis process, ensuring compliance with safety standards while improving computational and energy efficiency.
Funding
$750K raised to dateRaised to date based on public sources. This may differ from the amount the company actually raised and is based only on what is publicly available on the internet.
WAFounders
Product
Problem
Designing embedded systems for aerospace, automotive, and other critical applications requires rigorous timing verification to ensure software executes safely and efficiently on multicore processors. Traditional methods for timing analysis are complex and can struggle to meet stringent safety standards, hindering the adoption of advanced multicore architectures in safety-critical domains.
Solution
StatInf offers RocqStat, a statistical timing analysis tool that simplifies the verification process for embedded software running on multicore processors. RocqStat employs statistical and probabilistic methods to analyze software execution, providing reliable worst-case execution time (WCET) estimations. By combining dynamic tracing with static binary code analysis, RocqStat enables developers to optimize software and hardware architecture, improve computational efficiency, and ensure compliance with industry safety standards.
Target Audience
StatInf's primary customers are embedded systems designers in industries such as aerospace, automotive, autonomous vehicles, industrial automation, and medical robotics who require timing verification solutions for safety-critical applications.
Features
- Provable statistical methods for reliable WCET estimation on complete software execution
- Predictive statistics using dynamic tracing combined with static binary code analysis
- Code coverage analysis using a mix of static and statistical traces
- Improvement testing to validate time budget before and after code modification
- Unexpected software behavior tracking through predictive statistics
- Multicore support to analyze the impact of multicore perturbation on global program execution
- Integration with Lauterbach TRACE32® trace tools for program flow trace capture