LDRA Unveils Unique and Cost-Effective Software Verification on VxWorks 7 Platform

Wirral, UK — LDRA has fully integrated the LDRA tool suite with the next generation Wind River VxWorks 7 real-time operating system (RTOS) to achieve full compliance with industry safety- and security-critical standards. The reduced overhead and comprehensive support of the LDRA tool suite for a wide range of target architectures, regardless of their respective footprints, ensures that VxWorks-based systems can be built and verified faster and at lower cost.

LDRA, a well-established leader in the compliance and certification market, brings advanced software testing capabilities to the VxWorks platform. LDRA stands as the sole software verification provider capable of delivering object code verification that confirms that compiler optimizations have not inadvertently introduced aberrant application code behavior. As well, 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.

LDRA provides this level of software analysis across a wide range of ARM, PowerPC, and Intel architectures, which gives development teams using VxWorks additional flexibility. With mutually scalable platforms, LDRA’s fine-tuned 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,” confirmed Ian Hennell, Operations Director at LDRA. “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 full 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,” confirmed 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.”

For more information on the LDRA tool suite, visit http://www.ldra.com