StatInf

StatInf provides statistical timing analysis of programs behavior on multicore processors for highly critical embedded system-based industries : avionics, automotive, drones, aerospace, etc. With the empowerment of embedded systems requiring real-time capabilities through more advanced programs and hardware architecture, it is increasingly harder to ensure operational safety : the embedded system does what it is designed to do within the given time and resource constraints. Thanks to our solution, our customers are able to fully embrace this technological progress as they are able to : - Build a provable solution that can meet safety criteria and/or standards - Optimize the software/hardware architecture for better computational and energy performance - Guarantee development cycle times to control their costs. Working closely with Inria, the leading research institution focusing on computer science and applied mathematics, StatInf have been founded by 2 experienced researchers w...