Wind River needed to achieve the highest, most rigorous levels of qualification and certification to construct and verify its next-gen Wind River VxWorks with safety profile and VxWorks 653 3.0 RTOS used in multiple safety-related market segments. The LDRA tool suite offered the structural code coverage and rigorous analysis that enabled Wind River to produce high-quality COTS certification products for its customers.
The LDRA tool suite brings advanced software testing capabilities to the VxWorks platform. LDRA stands as the sole software verification provider capable of delivering object code verification, as well as providing the high-assurance data and control coupling analysis mandated by safety- and security-critical standards such as DO-178C, ISO 26262, IEC 61508, EN 50128, and IEC 62304. LDRA provides this level of software analysis across a wide range of architectures, including ARM, PowerPC, MIPS, and Intel.
“With LDRA tools, we achieved 100% structural coverage at the source and assembler level and perform the rigorous data and control coupling analysis,” commented Joe Wlad, Senior Director, DO 178 Certification, Wind River. “By incorporating LDRA tools into our verification processes, we can address the challenges of providing high-quality systems with repeatable safety and security artifacts.”
“DO-178 has an exemplary reputation for excellent software standards within the aerospace and defence industry. By integrating our tools into their processes, Wind River has created a certification tool chain that enables developers to build, debug, and verify safety-critical systems to the highest safety requirements,” said Ian Hennell, Operations Director, LDRA. “Full compliance is a rigorous process, and our combined offering speeds rapid verification and lowers verification and certification costs.”