Case Studies

Analox, is a leader in gas detection technology selected the LDRA tool suite Analox for two projects demanding a safety requirement. LDRA was also the only product able to integrate successfully with the Analox tool chain and enabled them to increase productivity and quality while reducing costs.

Ultra developed a midlife upgrade of a pre-existing, uncertified, avionics system and highlights the significant challenges faced due to the introduction of requirements for DO-178B Level B safety certification coupled with a migration to a commercial off-the-shelf (COTS) hardware platform. It focuses upon the test techniques that were applied and specifically how the LDRA tool suite was utilised to overcome the identified challenges to develop a safety-certifiable platform running on VxWorks.

Fairchild Controls - a division of EADS North America (Fairchild) selected the LDRA tool suite to integrate into their development environment and utilise the test facilities provided to achieve DO-178B Level C certification. The LDRA tool suite helped Fairchild to automate the development processes and dramatically increased efficiency by 1000%.

IHI, a manufacturer of jet engines in Japan, selected the LDRA tool suite to verify its C and Ada source code for DO-178B certification. IHI claimed that the LDRA tool suite was fourteen times quicker than previous coverage analysis processes. IHI also said it selected LDRA’s tool suite due to its depth and diversity of tools.

Ultra Datel (Datel) has make use of the LDRA tool suite (software verification tools) in safety critical projects. LDRA was utilised on the Wing Ice Protection System (WIPS) and Engine Ice Protection System (EIPS) project. Datel quoted that the LDRA tool suite assisted in saving £2 million over a 4-year period by providing a highly streamlined and automated verification process.

DENSO, a leading supplier of advanced automotive technology, systems and components for all the world’s major automakers. They took advantage of LDRA’s software analysis techniques to improve the quality of our software platform. The LDRA tool suite is used as a benchmark for other third-party and similar software platform products.

LDRA have operated in the Chinese market since 2000 through their distributor Vision Microsystems. In this time the Chinese aerospace and defense software market has developed at a dramatic rate and this in turn has lead to a high demand for software test tools capable of analysing complex safety-critical applications.

Seaweed Systems is a supplier of High Performance OpenGL graphics drivers and devices to the Military and Aerospace industries for use in safety critical applications, such as flight deck instrumentation. LDRA assisted them in capturing the DO-178B Level A structural coverage data across the entire Seaweed Systems software while executing their automated test suite and Seaweed has full support for any OS using LDRA.