To achieve compliance with the FAA's software standard DO-178C Level A, certification applicants must prove that their system and its application work as expected not only at the source-code level, but also at the object-code level. Problems determining the cause of failures in the medical and automotive industries are also leading to the same technique becoming increasingly required in IEC 62304 and ISO 26262 certifications. For systems needing such stringent compliance, the LDRA tool suite traces requirements to the underlying assembler code to confirm no errors have been introduced when the higher-level programming language devolves into low-level object code.

With this interface, the LDRA tool suite drives the test environment to automate the exchange of execution history and test data using Atmel's AVR Studio 4.18 command-line utilities, AVRISP mkII device and an onboard serial port. The collation of the LDRA tool suites for both Assembler and C languages with the AVR-GCC compiler streamlines the interface for the developers, enabling them to efficiently verify that the AVR-GCC-generated object code accurately and completely represents the application's C source code operational requirements. Developers can fully verify the application on target, automating the functionality required to meet the stringent demands of DO-178C Level A.

Both the LDRA tool suite and LDRA Certification Services (LCS) can provide certification expertise in DO-178/DO-278, DO-254, DO-297, IEC 61508, IEC 62304, ISO 26262, IEEE 1012:2004 and EN 50128.