LDRA takes leadership role in verifying Russian avionics software

WIRRAL, UK: LDRA, the leader in standards compliance, automated software verification, source code analysis, and test tools, has secured contracts with Russia's five major avionics suppliers.

LDRA's contracts assist with the verification of EASA and FAA regulations that suppliers must comply with for both fixed and rotary-wing aircraft to be used in domestic and international markets. The LDRA tool suite automates and streamlines the certification process, helping these avionics suppliers to achieve DO-178C/ED-12C and DO-254/ED-80 most cost effectively.

For more than 40 years, LDRA has championed the development of superior software practices in the avionics industry. These efforts have led to the development of the broadest range of software testing and verification capabilities that enforce and streamline avionics certification compliance throughout the world.

In Russia, the LDRA tool suite has been used to verify systems for onboard computers, integrated air data, integrated flight and navigation, data display, lighting, in addition to various instruments and sensors for aircraft such as the Sukhoi Superjet 100 (SSJ-100), Tupolev Tu-204 (TU-204), and the upcoming Irkut MC21 (also known as the MS21).

"LDRA's track record of helping qualify hundreds of DO-178 projects worldwide gave us confidence that the LDRA tool suite would significantly improve our processes," stated Sergey Zhelepov, Onboard Software Verification Group leader for the Russian firm Ulyanovsk Instrument Manufacturing Design Bureau (UIMDB).

"The LDRA tool suite has automated our verification process at every stage-for code verification, code coverage, unit testing, secure coding rules, and standards adherence-helping us to reduce the number of man hours in our certification efforts by 5-10 times."