Integration enables controllers to meet rigorous certification standards
1 min read
Automated software verification provider, Wirral UK, has announced an integration between the LDRA tool suite with IAR Embedded Workbench for a range of microcontrollers.
Wirral says that integrating the IAR Embedded Workbench and LDRA tool suite enables companies to use PIC18, AVR, AVR32 and MSP 430 controllers for DO-178B and other rigorous certification standards.
IAR Embedded Workbench is designed to provide full ANSI C compliance, support for embedded C++ as well as host controlled I/O facilities not typically available for these microcontrollers. According to Wirral, LDRA leverages these capabilities to add static analysis, code coverage to Modified Condition/Decision Coverage, and requirement traceability on these resource constrained footprints.
The LDRA tool suite hooks into these PIC, Atmel and TI tool chains, allowing for compilation, linking, programming and execution in these environments. LDRA Testbed can read IAR project files and use these files to speed static analysis efforts by reading include paths, macros and other settings. In addition, LDRA Testbed and LDRA TBrun use the project files to compile, control IAR's simulation and device-programming environments, execute on target, and extract the results.
The integration is also said to enable these mcus to be used in DO-178B and similar medical and industrial certification environments.