Lauterbach has announced that its TRACE32® development tool suite now fully supports the AdaCore GNAT Pro Ada compiler — a major step forward for safety-critical software development in industries such as avionics, automotive, and defense.
This integration makes TRACE32® the first industry tool suite to enable comprehensive debugging of compiled Ada programs at the source code level, including multithreaded applications and code coverage measurements required for safety certifications.
Enhancing Safety-Critical Software Development
Ada is a robust, strongly typed, object-oriented programming language known for its reliability in mission-critical systems. With features like design by contract (DbC), explicit concurrency, and protected objects, Ada helps developers build highly secure and maintainable embedded applications.
By combining the AdaCore GNAT Pro compiler with Lauterbach’s TRACE32®, developers gain advanced visibility into system behavior. TRACE32® enables both software-based and hardware-accelerated debugging, supports mixed Ada and C/C++ code, and offers real-time tracing with task awareness for complex, multithreaded applications.
The tool suite’s trace analysis and code coverage functions assist developers in achieving certifications under DO-178C, ISO 26262, and other rigorous safety standards — helping bring embedded systems to market faster, safer, and with greater confidence.
Streamlined Development and Certification
The collaboration between Lauterbach and AdaCore provides embedded developers with a unified, high-performance environment for developing, debugging, and validating Ada applications. Together, the companies deliver a toolchain that simplifies compliance and reduces integration time, particularly in sectors where safety and reliability are paramount.
Professionals attending the High Integrity Software Conference (HISC) 2025 can experience Lauterbach’s new Ada support in action at the AdaCore booth.
Contact ITEC support team for more information
