In addition, test effectiveness feedback is provided through structural coverage analysis reporting facilities, which support the requirements of the DO-178B standard up to and including Level A.
[citation needed] Some companies using LDRA products include MathWorks, which has integrated its Simulink tools,[11] as well as IBM Rational Rose[12] and Wind River.
The top three cars of Michael Schumacher (Benetton), Nicola Larini (Ferrari) and Mika Häkkinen (McLaren) were investigated and their teams were asked to surrender their systems' source code to the company.
[17] The incident underscored concerns about prohibited software in Formula 1 and the challenges of enforcing regulations in the evolving landscape of engine management technology.
[20] Additionally, LDRA is an Industry Partner[21] for the CERT C Secure Coding Standard[22] produced by the Computer Emergency Response Team at Carnegie Mellon's Software Engineering Institute.
[citation needed] In September 2012, the United States arm of LDRA joined The Open Group's Future Airborne Capability Environment (FACE) Consortium as a Verification Authority.