LDRA unveils software verification on VxWorks 7 platform

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.”

The LDRA tool suite offers support for coverage analysis and unit and integration testing on VxWorks platforms to enable device manufacturers to adapt and evolve to meet changing market requirements, customer needs, and technology advancements. The modular nature of VxWorks 7 and flexibility of the LDRA tool suite minimize technical risk as there is no need for developers to configure the build environment. The LDRA tool suite works with all VxWorks 7 configurations and I/O capabilities. Such integration is critical as the IoT infrastructure brings more and more safety- and security-critical devices into large-scale networked environments. “The VxWorks 7 and LDRA tool suite integration extends full verification and compliance into the resource-constrained environments of IoT, multicore, and power-conscious devices more fully than has been previously possible,” says Prashant Dubal, director of product management at Wind River. “We look forward to the cost savings and improved quality assurance this integration brings to our customers.”