|
|
LDRA: Analox Lifeline for Compliance & Test Generation
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.
Read the Analox Case Study
|
|
|
Ultra Datel Safety-Critical Avionics Upgrade Using COTS
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.
Read the Datel Case Study
|
|
|
LDRA Adds Fuel to the Development of Safety Critical Software
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%.
Read the Fairchild Controls Story
|
|
|
Flying High with the LDRA tool suite
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.
Read the IHI Story
|
|
|
Making use of the LDRA tool suite (software verification tools) in safety critical projects
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.
Read the Datel Story
|
|
|
Leveraging the LDRA tool suite for In-vehicle software (or electronic) platform development
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.
Read the DENSO Story
|
|
|
LDRA Rises in the East
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.
Read the Vision Story
Read Chinese Success Story
|
|
|
LDRA are "Instrumental" in the Lightning II Project
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.
Read the Seaweed Systems Story
|
|
|
LDRA Climb on Board NASA’s 'Return to Flight' Mission
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.
Read the Neptec Story
|
|
|
Keeping Software Quality on Track
Invensys Dimetronic Signals (IDS) is a Spanish company which has 45 years experience of implementing safety critical and safety related state-of-the-art technologies. They had specific technical requirements which included checking software quality to ISO 9001:2000, programming standards checking including MISRA C, and host / target testing for our embedded systems software.
Read the IDS Story
|
|
|
LDRA – The tool of choice
ENSCO’s Innovative Systems Solutions (ISS) Division, is a leading provider of solutions for internet development, e-commerce, automated equipment and process controls and mission-critical sofware development and engineering. Due to the ease of use of the tool they can have a tester up and running within 3 – 10 days and the tools assisted with a 50% improvement in performance using the LDRA tool suite.
Read the ENSCO Story
|
|
|
LDRA Putting the Standards to the Test
QinetiQ’s Avionic Systems Integration Group (ASIG), located at Boscombe Down, England, has a proven track record in the provision of innovative, practical and cost effective solutions to system integration needs in support of research, development and operations. The LDRA tool suite was adopted as the primary code analysis tool for the critical validation and verification phases of the project.
Read the QinetiQ Story
|
|
|
Building Improvement into the German Housing Finance Market
LBS West is the market leader in the German housing finance market in the region of Nordrhein-Westfalen (NRW). The development time was reduced by about 25% and the testing time by about 75%, as well as the quality of testing and coding increasing.
Read the LBS Story
|
|
|
Achieving DO-178B Level A with LDRA "better structured Code without errors" for Penny & Giles
Penny & Giles Aerospace of Christchurch, UK,is part of the Curtiss-Wright Group. Achieving DO-178B Level A with LDRA "better structured Code without errors" for Penny & Giles. Quality was at the heart of Penny & Giles products. The LDRA tool suite was chosen to help maintain this tradition in new product development.
Read the P&G Story
|
|
|
Speeding up the Trains
Westinghouse Brakes, who supply brake control systems to 80% of the trains in the UK, first contacted LDRA in 1995 to discuss how they could improve their testing productivity through the use of static and dynamic analysis techniques. LDRA Testbed enabled software testing procedures for each module coded in C, to be carried out in 2 days instead of the previous 5. A saving of 60%!
Read the Westinghouse Story
|
|
|
Prevention of Errors through Experience-driven Test Efforts
The PET Project (Prevention of Errors through Experience-driven Test Efforts) was set up to improve software quality through improved testing. The objectives were to reduce the number of bugs reported after release by 50%, and reduce the hours of test effort per bug found by 40%. Both of these goals were met. The actual numbers achieved were 75% less bugs reported, and a 46% improvement in test efficiency.
Read the PET Report
|
