LDRA, the leading provider of automated software verification, source code analysis, unit testing tools, and consultancy services, announced an updated integration with DDC-I, Inc. for aerospace and defense applications. The LDRA tool suite now supports DDC-I's latest Deos safety-critical real-time operating system (RTOS) featuring SafeMC multicore technology, and the latest OpenArbor Eclipse-based integrated development environment (IDE). The powerful, efficient solution enables avionic system manufacturers to quickly and cost-effectively develop, debug, test, and deploy software that can be readily certified to the most demanding requirements such as RTC DO-178C/ED-12C.

This integration provides:

- source code static analysis

- software dynamic analysis, including MC/DC coverage on the host and target

- software unit testing on the host and target

- improved code quality, safety, and security

- reduced testing time and cost

- LDRA integration ensures safety and security of multicore applications.

This integration helps developers manage and achieve compliance for applications in increasingly complex safety-critical cockpit environments that leverage emerging technologies for building safer, more economical, and more capable aircraft. These new technologies include integrated modular avionics architectures and multicore processors, both now de facto standards in the avionics industry.

"Proving the avionics system is properly partitioned to avoid interference from competing cores is critical, yet it's a nearly impossible challenge without the proper development and testing tools," said Ian Hennell, Operations Director, LDRA. "Using the LDRA/DDC-I integration, developers can ensure the software is safe and meets the most demanding avionics standards such as DO-178C and the Future Airborne Capability Environment (FACE) Technical Standard."

Solution supports conformance to the FACE Technical Standard and many other benefits

To enable the development and testing of software that conforms with safety-critical standards such as DO-178C/ED-12C, and portability and interoperability standards such as the FACE Technical Standard, the integration provides:

- full source-code coverage analysis (under Deos SafeMC)

- an efficient unit testing harness for performing fully automated unit and regression testing (also under Deos with SafeMC)

- the ability to analyze and visualize coding standards compliance within the OpenArbor IDE

- support for x86, PowerPC, and ARM single and multicore processors

- compliance with industry- and user-defined coding standards such as MISRA and CERT

- automated test case, harness and stub generation for robustness testing with the LDRA tool suite

- automatic production of software certification and approval evidence underpinned by LDRA's ISO 9001:2015 certified Quality Management System, and the LDRA tool suite's TUV SUD and SGS-TUV Saar certification.