SAN JOSE, Calif., 26 March 2012. The LDRA Certification Services (LCS) segment of LDRA Ltd. in Wirral, England, is introducing FAA/EASA certification safety-critical software verification tools for avionics software development that must meet the requirements of the U.S. Federal Aviation Administration (FAA) and the European Aviation Safety Agency (EASA).
The LCS tool helps developers of avionics embedded computing software meet certification requirements such as Aircraft & Systems Development (ARP-4754A); Safety Assessment (ARP-4761); Integrated Modular Avionics (DO-297); Flight Electronic Hardware (DO-254); Flight Software (DO-178B/C); and Ground Systems (DO-278/A).
LDRA introduced the certification tool this week at the DESIGN West conference and trade show in San Jose, a component of the Embedded Systems Conference.
-- Seaweed Systems adopts LDRA tool
-- ENSCO employs LDRA tool suite for aerospace applications
-- Neptec selects LDRA software for U.S. space shuttle project.
The LCS tool addresses commercial and military projects for meeting airworthiness certification requirements, including management, planning, staff training, development, verification.
LDRA offers integration of the LDRA tool suite and Simulink from The MathWorks to enable avionics designers to gain model and target-execution coverage.
Additional LCS support for FAA/ESEA certification is offered by two LDRA tool qualification support packages: Code Coverage TQSP -- the LDRA tool suite with an MC/DC code coverage validation test suite; and Static Analysis TQSP -- the LDRA tool suite with a coding rules validation test suite.