MathWorks and Lauterbach have announced the full integration of the TRACE32 debugging and tracing tools into the Polyspace code verification and testing environment. By combining both solutions, test results can be consistently reproduced across all development phases. Software can be verified early in the development process and then validated on the target hardware using the same workflow. This reduces the effort involved in transitioning from virtual test environments to real hardware and increases the reliability of the test results.
According to the companies, developers of safety-critical embedded systems in particular benefit from the end-to-end development environment. TRACE32 integration is now available with Polyspace Release 2026a. (oe)
