For Safety-Critical Applications
Lauterbach Supports AdaCore Ada Development Platform
Lauterbach's “TRACE32” is, according to the company, the industry's first development tool suite to fully support the AdaCore GNAT Pro Ada compiler, which is designed for safety-critical applications in the fields of avionics, automotive, and defense.
This enables debugging of compiled Ada programs at the source code level, even in multithreaded applications, and Code Coverage measurements for certifications.
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language. It has built-in language support for design by contract (DbC), strong typing, explicit concurrency, tasks, synchronous message passing, and protected objects. Ada improves code safety and maintainability by using the AdaCore compiler to find errors in favor of data type errors (such as pointer misuses) and run-time errors (such as buffer overruns).
As the industry’s first development tool suite, TRACE32 by Lauterbach enables software-based and hardware-accelerated debugging / real-time tracing of Ada code, as well as mixed Ada and C/C++ code. It provides support for multithreaded applications thanks to its task awareness feature. Trace analysis, including code coverage measurements for safety certifications according to DO-178C, ISO 26262, and other standards, can support bringing embedded designs to market faster, safer, and more reliably than ever.
“Ada is a programming language that offers security, high performance, and ease of use", says Alexandre Schaefer, Director Sales at Lauterbach GmbH. “With the support of our TRACE32 debug and trace tools for the AdaCore Compiler, embedded Ada developers now have access to world-leading debug and trace tools which can significantly speed up development and integration times across all types of projects."
Dr José Ruiz, the GNAT Pro Embedded Product Manager at AdaCore, says, “We are very pleased to offer, together with our long-term partner Lauterbach’s TRACE32, a leading solution for the development, debugging, tracing, and deployment of safe and secure embedded applications written in Ada and C/C++.”
Together with AdaCore’s GNAT Pro Ada Development Platform, Lauterbach’s TRACE32 enables developers of embedded devices to evolve Ada applications even faster and easier. At High Integrity Software Conference (HISC) 2025 in Newport/Wales (https://www.his-conference.co.uk/), developers can explore Lauterbach’s Ada support live at the AdaCore booth.
