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.
The captured trace data from TRACE32® is used by RocqStat™ to detect the interactions between programs and the interactions between cores in an embedded system. The technology employed by RocqStat™ can detect interactions between cores in multi-core systems and is completely agnostic of the application software, allowing for almost infinite complexity. This breakthrough process can even work with applications where full source code is not available, making it ideal for black box testing and evaluation. RocqStat™ is based on a patented technology that uses statistical methods, extreme value theory, and real-world program flow to determine incorrect, rare or unpredicted software execution profiles, as well as software bugs, hardware errors or even attacks by external malicious software. Worst Case Execution Time (WCET) of the application is also part of the analysis required by customer building safety critical embedded systems.
“We are very pleased to have a close partnership with Lauterbach GmbH, an important player in the critical embedded systems market, which StatInf also addresses”, said Adriana Gogonel, CEO of StatInf. “More and more customers are using our technology: innovative and easy to use, RocqStat™ is enabling safe usage of complex multicore systems.”
According to 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 exhaustively 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 is the leading manufacturer of complete, modular and upgradeable microprocessor development tools worldwide with experience in the field of embedded designs since 1979. It is an international, well-established company with blue chip customers in every corner of the globe and has a close working relationship with all semiconductor manufacturers. At the headquarters in Höhenkirchen, near Munich, the engineering team develops and produces sophisticated and specialized Development Tools, which are utilized all over the world under the brand TRACE32®. Our branch offices exist in the United Kingdom, Italy, France, Tunisia, on the east and west coasts of the United States, Japan and China. Highly qualified sales and support engineers are also available in many other countries. For more information visit http://www.lauterbach.com.
Founded in 2019, StatInf is an Inria spin-off company who developed an innovative technology that helps to design and deploy industrial embedded systems including those requiring the highest levels of safety and security. Their product RocqStat™ is a statistical timing analysis tool that can be used on simple to highly complex embedded software to optimize and secure their execution on hardware platforms, especially multi-core, reducing drastically the development cycle and saving energy when the system is in use. The French start-up has won several prizes, including “Spatial Equipment” from Techninov 2021 and the “Technologies” trophy at the Assises de l’Embarqué 2021. For more information visit http://www.statinf.fr