English German
  • LDRA

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

LDRA’s fine-tuned instrumentation enables IoT device verification without impacting application behavior or hardware performance.

Wirral, U.K. 11 December 2014 - LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, 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 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.”

About LDRA

For more than forty years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security-, and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the United Kingdom with subsidiaries in the United States and India coupled with an extensive distributor network.

For more information on the LDRA tool suite, please contact us.