Lauterbach supports AdaCore Ada Development Platform for Safety Critical Applications

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), extremely 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 market-leading 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. Please contact support@lauterbach.com for more information.

At High Integrity Software Conference (HISC) 2025, you can explore Lauterbach’s Ada support live at the AdaCore booth. Find more information about HISC here: https://www.his-conference.co.uk/

About AdaCore:
AdaCore equips developers to create reliable, safe, and secure software. For over 30 years, we have supported and provided open-source toolchains for languages relevant to the safety-critical space, including Ada/SPARK, C/C++, and Rust. We build our toolchains to meet the most rigorous standards so you can focus on your code and reach your certification goals. AdaCore supports high-integrity industries by offering compiler-toolchain and analysis-tool qualification, along with certification evidence for compliance with industry standards. With a commitment to long-term support, AdaCore ensures the continuity and reliability of its toolchains for decades.

Press contact:
Andrea Bristol
bristol@adacore.com