WIRRAL, U.K., 11 Dec. 2014. LDRA has integrated the LDRA tool suite with the next-generation Wind River VxWorks 7 real-time operating system (RTOS) to achieve compliance with industry safety- and security-critical standards.
The LDRA tool suite provides the high-assurance data and control coupling analysis that is mandated in safety- and security-critical standards, such as DO-178C and ISO 26262. With this release, LDRA brings advanced software testing capabilities to the VxWorks platform, officials say.
The LDRA tool suite ensures that VxWorks-based systems can be built and verified faster and at lower cost, officials add. LDRA is a software verification provider capable of delivering object code verification that confirms that compiler optimizations have not inadvertently introduced aberrant application code behavior.
LDRA provides software analysis across a wide range of ARM, PowerPC, and Intel architectures. With mutually scalable platforms, LDRA’s instrumentation ensures that even when VxWorks scales down to resource-constrained minimal architectures, LDRA can support and verify both the simulated and target hardware without compromising application behavior or performance due to excess overhead.
“LDRA and Wind River have consistently enabled companies to build and verify safe and secure systems—whether for medical, industrial safety, nuclear power, or avionics—at optimal cost-efficiency,” LDRA Operations Director Ian Hennell confirms. “By integrating this next-generation VxWorks with our LDRA tool suite, we enable our customers to build, debug, and verify their systems no matter how resource-constrained the target. Those who also leverage our integration with Wind River Simics can perform rapid verification in a stable, scalable, simulated environment, lowering their development and verification costs and speeding the delivery of critical applications.”