LDRA and IAR Systems target safety certification of small-footprint architectures

June 28, 2012 // By Christoph Hammerschmidt
Software tool vendor LDRA has extended the interface between its LDRA tool suite and IAR Embedded Workbench. With support for platforms such as ARM, 8051, AVR, M32C, MSP430 and their evaluation boards, LDRA provides complete validation and testing capabilities, ensuring that smaller embedded systems based on these architectures can be certified to the IEC 61508 industrial safety, IEC 62304 medical, and DO-178C avionics standards despite limited resources

The interface between the LDRA tool suite and the IAR Embedded Workbench IDE offers users a rich array of tools rarely available in small-footprint environments. With out-of-the-box support for IAR C-SPY Simulator, the LDRA tool suite can be configured to automatically import and perform static analysis on the generated code. LDRA's dynamic analysis and unit testing run on the simulator and the target using IAR C/C++ Compiler and IAR C-SPY Debugger to download and execute the code on the target.

For certifying systems to the most stringent levels, the LDRA tool suite can perform complete code coverage, ensuring that all parts of an application have been fully tested. The LDRA tool suite also provides test harness creation, results capture, and report generation. Artifacts created during analysis can be imported into LDRA's TBreq and TBmanager requirements traceability tools, showing progress of system requirements across the software-development lifecycle. The LDRA tool suite fully documents all aspects of analysis, test and requirements traceability, automatically generating the documentation needed for standards compliance.

Because of the limited resources of some of these platforms, LDRA offers developers alternative methods for creating efficient testing solutions. With evaluation boards such as AVR STK600 and STM34F103ZE where targets have limited memory, the LDRA tool suite streams the data back to the host via the serial port. Further, static analysis and unit testing on both simulator and target can be completely automated and run from a script. Developers can test identical instrumented executables and test harnesses on a target and simulator environment, greatly speeding time to market.

IAR Embedded Workbench reaches beyond the capabilities of native tool chains, providing full ANSI C compliance, support for embedded C++ as well as host-controlled I/O facilities not typically available for these microcontrollers. The LDRA tool suite leverages these capabilities, reading IAR project files and using these files to speed static analysis efforts via included paths, macros and other settings. In addition, the project