As a developer of efficient high-quality software for the medical, transport, industrial and aerospace markets worldwide it is essential for HCC Embedded to hold a reputation for premium and reliable products. Following a vigorous and extensive competitive evaluation, HCC Embedded chose the LDRA tool suite to enforce the MISRA standard and to raise the bar on the software development processes applied to the file systems and TCP/IP products that they develop.
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.
Neptec is a leader in the design, development, and integration of mission-critical real-time software, harsh environment electronics and digital signal processing. They required a tool that had extensive and detailed reporting facilities for audit purposes and which was easy to use and configure through the graphical user interface.