The integration delivers powerful, efficient means of developing, verifying, and hosting production code in safety-critical cockpit environments requiring software verified to the guidance of DO-178C/ED-12C
DDC-I announced an enhanced integration between the Deos safety-critical RTOS and LDRA’s automated software verification, source code analysis, and unit testing tools for aerospace and defense applications. The integrated solution enables avionic system manufacturers to quickly and cost-effectively develop, debug, test, and deploy software that can be readily verified to the most demanding guidance of DO-178C/ED-12C Design Assurance Level (DAL A).
With the completion of this integration, the latest LDRA tool suite now supports the latest version of DDC-I’s Deos™ safety-critical real-time operating system (RTOS) with its SafeMC™ multicore technology. The LDRA tool suite provides enhancements for source code static analysis, software dynamic analysis (including MC/DC coverage on the host and target), and software unit testing on the host and target. Together, these enhancements improve code quality, safety, and security, as well as reduce testing time and cost. They also help developers manage and achieve compliance for increasingly complex safety-critical cockpit applications that utilize emerging technologies like modular avionics and multicore processors to build safer, more economical, more capable aircraft.
“The integration of Deos with the LDRA tool suite gives avionics developers the platform they need for rapid prototyping, testing, certification, and deployment of modular, reusable, safety-critical applications that comply with DO-178C and FACE,” said Greg Rose, vice president of marketing and product management at DDC-I. “The updated Deos and LDRA integration should prove especially attractive to developers who want to utilize the latest multicore technology while addressing worst-case execution requirements as defined in the FAA’s CAST-32A position paper for Multi-core Processors.”
“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 EnvironmentTM (FACE) Technical Standard.”