MathWorks Polyspace products help organizations improve software quality by combining static analysis, formal verification, testing, and code coverage measurement in a unified workflow. Polyspace analyzes C, C++, and Ada code to identify defects, security vulnerabilities, and coding-standard violations, and can exhaustively verify the absence of certain run-time errors in critical software components. Polyspace also supports compliance initiatives through checks for standards such as MISRA™, AUTOSAR, and CERT® C/C++, while providing test authoring, execution, management, and code coverage measurements on the host and embedded target environments.
Lauterbach’s TRACE32® debug and trace tools support more than 15,000 different chips and over 150 CPU microarchitectures, enabling heterogeneous multicore debugging and profiling even in virtualized system environments, including the complete software stack with hypervisors and operating systems. By synchronizing breakpoints and runtime control, engineers have control over the entire system.
Through the integration of both market-leading products, developers can execute and analyze tests consistently across virtual platforms, emulators, simulators, and real target hardware using a common workflow. It is a single environment, with an identical user interface and identical functionality throughout the entire development cycle. This enables earlier software verification, smoother transitions between development stages, and improved confidence that test results obtained in virtual environments can be reproduced on real chips. This saves development effort, accelerate verification activities, and lower project costs.
“By integrating TRACE32® into Polyspace, we have created a unified solution for testing and validating safety-critical embedded systems that delivers tremendous value to developers,” says Holger Lohn, Product Manager at Lauterbach GmbH. “You can perform all activities seamlessly from the Polyspace IDE, whether as a pure software solution on emulators and simulators, or using our TRACE32® solutions on virtually all chips available on the market.”
"Our goal is to help engineers verify software earlier, more thoroughly, and with greater confidence," said Jay Abraham, Group Manager, Technical Marketing & Product Management at MathWorks. "By combining Polyspace verification and testing capabilities with Lauterbach’s TRACE32 technology, development teams can use a consistent workflow from virtual environments through real target hardware, helping them streamline verification activities while maintaining the rigor required for mission-critical applications."
Full TRACE32® integration into Polyspace is available with the release of Polyspace 2026a as of now.
Information on Lauterbach’s TRACE32® products can be found here:
https://www.lauterbach.com/
Further details on Polyspace can be found here:
https://de.mathworks.com/products/polyspace.html
Lauterbach is the leading manufacturer of cutting-edge development tools for embedded systems with more than 45 years of experience. It is an international, well-established company, serving customers all over the world, partnering with all semiconductor manufacturers and growing steadily. At the headquarters in Hoehenkirchen, near Munich, the engineering team develops and produces highly proficient and specialized, easy-to-use Development Tools under the brand TRACE32®. Branch offices in United Kingdom, Italy, France, Tunisia, on the East and West coasts of the United States, Japan and China and highly qualified sales as well as support engineers in many other countries make Lauterbach’s full product range available worldwide.
Lauterbach GmbH
Altlaufstr. 40
85635 Höhenkirchen-Siegertsbrunn
Telefon: +49 (8102) 9876-0
Telefax: +49 (8102) 9876-999
http://www.lauterbach.com
Marketingassistentin
E-Mail: verena.strasser@lauterbach.com
