DDC-I, a leading supplier of software and professional services for mission- and safety-critical applications, and LDRA, the leading provider of automated code analysis and software testing tools and professional services for mission- and safety-critical applications, has announced an enhanced integration between the Deos safety-critical DO-178C certifiable RTOS and the LDRA tool suite.
The integrated solution, qualified to Design Assurance Level A (DAL A), utilizes OS-level instrumentation hooks that enable the LDRA tool suite to deliver enhanced unit test and worst-case timing analysis capabilities out of the box.
Unlike conventional RTOS/unit test integrations, which utilize chip-level facilities such as special registers or timers, Deos provides process log events with high-resolution time stamps that link what’s going on at the process level with the kernel’s more uniform/consistent view of time. These OS-level hooks provide for WCET measurement at both the system and task level using the developer’s interference generation tool of choice.
“DDC-I has been at the forefront of DO-178C safety-critical multi-core technology development, standardization and verification, with an emphasis on the guidance of CAST-32A initially, and then more recently the January 2024 release of AC 20-193 Use of Multi-Core Processors,” said Greg Rose, vice president of marketing at DDC-I. “The integration of Deos with the LDRA tool suite gives avionics developers the unit test platform they need to identify and resolve complex multi-core timing issues, especially the worst-case execution scenarios critical to avionics.”
“Proving that an avionics system is properly partitioned to avoid interference from competing cores is critical, yet nearly impossible without the proper development and testing tools,” said Ian Hennell, operations director at LDRA. “Deos provides OS-level hooks that give the LDRA tool suite unique visibility into RTOS operation, enabling it to deliver uniform timing analysis with enhanced worst-case execution capabilities, essential for airworthiness certification.”
