LDRA, the leading provider of automated software verification, source code analysis, unit testing tools, and consultancy services, today 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 TÜV SÜD and SGS-TÜV Saar certification
For more than 40 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security-, and business-critical markets. Working with clients to achieve early error identification and elimination, and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA has headquarters in the United Kingdom, United States, Germany, and India coupled with an extensive distributor network. For more information on the LDRA tool suite, please visit www.ldra.com.
Readers may direct questions to: