Log in to use our free company, program and sector update tracker feature.

Front page

LDRA tool suite selected for industry-leading structural coverage and standards compliance

LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, announces that Wind River® has selected the LDRA tool suite and DO-178 Qualification Support Packs for both internal software quality assurance and to help Wind River customers expedite the qualification and certification of their aerospace and defense applications. The selection of LDRA hinged on the ability of its tools to achieve 100 percent MC/DC coverage at both source and assembler levels—a mandatory requirement for object code verification—and to perform data coupling and control coupling analysis. 

Wind River needed to achieve the highest, most rigorous levels of qualification and certification to construct and verify its next-generation Wind River VxWorks® with safety profile and VxWorks 653 3.0 real-time operating systems 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. 

“With LDRA tools, we achieved 100 percent structural coverage at the source and assembler level and perform the rigorous data and control coupling analysis,” confirmed 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 defense 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 at LDRA. “Full compliance is a rigorous process, and our combined offering speeds rapid verification and lowers verification and certification costs.”

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.

Press release issued by LDRA Ltd. on July 8, 2015


 Contact details from our directory:
Wind River Systems, Inc. Electronic Components, Computer Components, Computer-aided Design, UAV Control Software
LDRA Ltd. Certification Services


 Related directory sectors:
Test Services

Enhanced listings:

Airmo Inc. Pressure Technologies
Airmo manufactures systems and tools for hydrostatic testing, end forming, tube expansion, and high-pressure accessories to 60,000psi (4,137bar).

Reduce the time spent on current projects by using ESDU – engineering data and software that have been approved and endorsed by professional institutions.

Capacitec Gapman Gen3 portable “electronic feeler gauge” measures very small gaps (200 microns) in airframe parts assembly

Peli Hardigg UK
Peli-Hardigg is the world’s largest manufacturer of aerospace approved reusable plastic shipping and storage containers, built to last a lifetime.

TenCate Advanced Composites
TenCate Advanced Composites is a leading provider of thermoset and thermoplastic prepregs to the aerospace industry.

See our advertising tariff.


data pages remaining in monthly quota for non-subscribers

© Airframer Limited, operated under licence by Stansted News Limited 2018. Terms & Conditions of reading. Privacy policy