Resources

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the MISRA-C++:2008 standard.

Legacy code reuse might seem like a good idea, but what about when security and safety-critical risks are a factor? Legacy code is expected to function correctly, but structural testing provides a way to mitigate the unexpected.

This paper outlines a number of static analysis techniques that may be regarded as formal methods in the sense of being mathematically based. The techniques form part of a well-known, commercially available tool suite, the LDRA tool suite. Many customers who use the tool suite, particularly those in the avionics software industry, regularly use the techniques to conform to the standards of appropriate certification bodies. Such practitioners would not normally regard themselves as employing formal methods.

IEC 61508 is an international standard for safety related systems comprising of electrical and/or electronic and/or programmable electronic components. It is intended as a stand-alone standard and as a framework for the preparation of application sector standards. The purpose of this document is to demonstrate the areas where the LDRA tool suite contributes to the requirements of the IEC 61508 standard.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the JPL standard.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the CERT C Secure Coding Standard, Version 1.0 - 2009.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used a Guide to Coding Practices for Embedded Software Development.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the Embedded C Coding Standard.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the HIS standard.

IEC 61508:2010 is an international standard for safety related systems comprising of electrical and/or electronic and/or programmable electronic components. It is intended as a stand-alone standard and as a framework for the preparation of application sector standards. The purpose of this document is to demonstrate the areas where the LDRA tool suite contributes to the requirements of the IEC 61508:2010 standard.

The Use of Requirements Management and Software Verification Tools as Part of a Comprehensive Medical Devices Development Strategy.

The extensive use of electronic devices in medical industry and as these electronic products has become more and more dependent on embedded software. The reliability and the associated risk of the embedded software’s used within the device have become important. As a result the IEC 62304 standard has emerged as a global benchmark for management of the software development lifecycle. The IEC 62304 standard provides a framework of software development lifecycle processes with activities and tasks necessary for the safe design and maintenance of medical device software.

In response to the increased use of electronic systems within the automotive industry and particularly in recognition of their application to safety critical functions, the ISO/DIS 26262 standard has been created in order to comply with needs specific to the application sector of electrical / electronic / programmable electronic (E/E/PE) systems within road vehicles. The purpose of this document is to demonstrate the areas where the LDRA tool suite contributes to the requirements of the ISO/DIS 26262 standard.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the revised MISRA standard, MISRA-C:2004.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used Doc. No. 2RDU00001 Rev C - Date: December 2005 by Lockheed Martin Corporation.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the High Integrity C++ Coding Standard © - The Programming Research Group manual - Version 2.2 - Issued 18/5/04 by PRL.

The LDRA tool suite with TBreq provides a solution for software developers, testers, QA managers, architects, business modellers and project managers. Combining the new features of TBreq with LDRA’s leading-edge methodology, Zero Defect Software Development (ZDSD), the LDRA tool suite is the most feature rich and technically advanced product in the embedded software development market.

The paper proposes a new scheme for safety integrity levels (SILs) based on reasoned principles. The scheme provides a mechanism for selecting appropriate verification and validation techniques for a given SIL and, in particular, suggests a replacement for the existing technique selection tables of the IEC 61508 standard.

Working with the avionics industry to meet the challenges of achieving certification economically. LDRA has exceptional experience in this specialist area and the LDRA tool suite provides the most comprehensive source code analysis and testing facilities for assisting meet DO-178B software development and verification requirements.

Modern motor vehicles make greater use of software than ever before. Much of this software is of a safety-critical or safety-related nature and, as such, must be designed, developed and tested to the highest possible standards most notable the MISRA C / MISRA-C:2004 standard.

It is a requirement that all safety-critical software supplied to the MOD must comply with the MOD standard Def Stan 00-55. LDRA have worked with the MOD to develop the LDRA tool suite to meet the challenges of achieving software certification.

This white paper looks at Zero Defect Software Development (ZDSD) as a results-oriented process that emphasises the analysis, testing and reporting of the causality of defects. This process, which has evolved from LDRA’s commitment to safety-critical software development and verification, supplants the traditional approach of reacting to undesirable effects and treating symptoms while attempting to manage verification process using “trend analyses” or simply tracking the occurrences of defects.

Many software standards in safety-related industries make use of safety integrity levels (SILs), whereby the level of criticality of the software is used to determine aspects of the software development process, and in particular, the extent of the verification and validation effort deemed appropriate. This paper puts forward a proposal for a new SIL scheme with five levels that is applicable to safety- and mission-critical software projects.

LDRA looks at ways to reduce the cost of testing and maintaining code. Testing and maintenance of code constitute 70% or more of the typical software lifecycle, but what strategies can be used to manage these costs?

The aerospace industry has been at the forefront of software development for the past 30 years and the lessons learnt and approaches that aerospace companies have utilised bring proven methodologies and techniques that ensure good quality and high reliability.

The rail industry can learn from the aerospace business in using software development tools. A strategy for testing software is now seen as critical as software design and implementation. The challenges of testing Real-Time Embedded Systems is explained and how automated unit testing benefits the process.

The increasing sophistication and safety-critical nature of many modern embedded control applications, mean that as non-avionics based suppliers adopt DO-178B then object code verification is one of the key elements that they have to sit up and take notice of. LDRA explains this area and provides information on Object Code Verification Solutions.

Integrating requirements with automotive electronics hardware and software testing streamlines development and cuts costs. The need for requirements traceability and verification is typically imposed on automotive electronics suppliers as a contractual requirement. With increasing frequency, vendors are recognizing that requirements-based testing is an essential element of successful software development projects in general.

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.

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.

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.

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.

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.

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.

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%!