LDRA has automated the interface between the LDRA tool suite and Atmel’s AVR Studio. This interface ensures that aerospace applications developed using Atmel’s AVR ATmega128 are certifiable to DO-178C Level A. Automating the interface provides an efficient way for developers to more easily complete elements of DO-178C qualification that otherwise demand a highly skilled and labor-intensive process.
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.
LDRA is devoted to helping customers develop certification-ready products using any architecture, real-time operating system or integrated development environment. 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.
