Software suite integrated with RTOS platform

11th December 2014

LDRA

Mick Elliott

0 0

The LDRA tool suite has been fully integrated 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 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 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 optimisations have not inadvertently introduced aberrant application code behaviour.

The 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 behaviour or performance due to excess overhead.

The 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 minimise 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.