In this section you will find all of LDRA's product literature, white papers and a range of case studies for different industries.

Product Literature

See our product literature to find a product best suited for your code.

White Papers

Authoritative reports on products and standards.

Case Studies

Featured projects in different industries.


Return on Investment


View Tool Suite Demonstrations.

Product LiteratureView All

MISRA Data Sheet

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

LDRAunit Literature

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

LDRA Product Brochure v8.1

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

LDRA Certification Services Brochure v2.3

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

LDRA DO-178B TQSP v2.1

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

White PapersView All

Implementing EN 50128:2011 with the LDRA tool suite®

The EN 50128:2011 standard is part of a group of related standards:

  • EN 50126-1:1999 - Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 1: Basic requirements and generic process.
  • EN 50129:2003 - Railway applications - Safety related electronic systems for signaling. EN 50126 addresses system issues on the widest scale, while EN 50129 addresses the approval process for individual systems which may exist within the overall railway control and protection system.

The scope of EN 50126-1 and EN 50129 is to define the process of specifying the safety functions allocated to

LDRA & National Instruments - Testing Safety Compliant Systems

White Paper: LDRA & National Instruments - Testing Safety Compliant Systems

Whether it is in an automobile, commercial airplane, medical device, or a number of other devices in a variety of industries, there has been a significant recent growth in electronic complexity and the amount of embedded software in products. Often, many of these control systems play a critical role in safety, thus placing an increased importance on the confidence of the embedded software to behave as desired without bugs and defects that could potentially be life-threatening. Several industries are addressing this concern through the use of functional safety standards, which introduce a process-oriented approach to developing electronic systems with safety in mind. These include: DO-178B/C for avionics, IEC 61508 for industrial safety, ISO 26262 for automotive, IEC 62304 for medical devices, and many more. However, the need to follow a process while the amount of software is experiencing exponential growth can be intimidating, especially when trying to test and validate the software and its abilities.

An Introduction to MISRA C:2012

White Paper: An Introduction to MISRA C:2012

The latest update, MISRA C:2012, is being released in early 2013 and will provide support for ISO 9899:1999 (C99)
while retaining support for C90. The new language subset will help mitigate software-related risks for safetycritical
applications, while allowing programmers to spend more time coding and less time on compliance efforts.
In the updated language subset, rules have been made more precise so that the language subset will not prevent
reasonable uses or behaviours that have no undesirable consequences. In addition developers will now have
better guidance on rules enforcement, such as whether a rule defines a general behaviour across the project or
only specific cases.

QNX and LDRA Dynamic Analysis

White Paper: Using Dynamic Software Analysis to Support Medical Device Approval

In this paper, we look at a) how dynamic code analysis can support demonstrations of compliance with safety requirements, and b) key capabilities we should look for in dynamic analysis tools. We then present in appendices, to help with tool selection, tables mapping development activities with requirements in the IEC 62304 standard: and, to help with OS selection, a short description of OS characteristics that can facilitate the design, development and approval of safety-related software.

Verification of Executable Object Code from a Model (Version 1.0)

The introduction of RTCA/DO-331 Model based Development and Verification Supplement to DO-178C and DO-278A offers new opportunities to leverage the strengths of model based development under RTCA/DO-178C.

Case StudiesView All

CARS Automates Stringent Standards Testing of Complex, Multiplatform Application

In addition to meeting regulatory challenges, CARS was faced with a complex system that used various hardware platforms, including PowerPC, ARM, and x86, as well as Linux and multiple RTOS and development platforms.

CARS needed software verification tools able to provide MISRA C and MISRA C++ programming standards checking, metrics analysis, unit and integration testing and MC/DC code coverage analysis on all of the development platforms. In-house tools no longer made sense.

Automated Verification Sharply Reduces UIMDB Certification Time

“In adopting an automated verification process, we made a point of taking advantage of the full LDRA tool suite,” confirmed Mr. Zhelepov. “We used it at every development and code verification stage—for code verification, code coverage, unit testing, secure coding rules and standards adherence.”

United Space Alliance Selects LDRA Tool Suite to Verify Software on Orion

“We needed tools capable of enforcing programming standards as well as managing the configuration process to check that we produced consistent, good quality software,” stated Trevor Tidwell, Software Development Engineer, USA.

“LDRA offers the ability to configure and apply a fixed centralised test model, guaranteeing that we consistently test compliance to the same programming standards and in the same execution environments.”

LDRA Tool Suite Gives Edge to Esprit Lean Product Development

Esprit Lean of Portet sur Garonne, France is a specialist company that provides custom electronic and software systems guiding production from concept and design through to market.

With expertise in both hardware and software, Esprit Lean has developed systems used in satellites, automotive, medical and industrial control applications. As a company Esprit Lean is committed to implementing and applying the most stringent quality techniques and practices to its development processes. Apart of this commitment, in addition to implementing an internal software control process, Esprit Lean is also ISO 9001 certified.

HCC Raises the Bar on Quality and Reliability

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.

ROIView All

LDRA Return on Investment v3.2 USA version

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

LDRA Return on Investment v3.2

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

Latest News

    Show All
  • 31st March 2014
    LDRA breaks through verification barrier for multicore platforms, promising system developers the re...
  • 31st March 2014
    LDRA has optimized the LDRA tools to enable developers to fully analyze and verify safety-critical a...
  • 18th March 2014
    LDRA chooses Prosoft, a leading provider of embedded-systems technologies and services in Russia, to...


20th May 2014
UK Device Developers' Conference
Bristol, UK
22nd May 2014
UK Device Developers' Conference
Cambridge, UK
3rd Jun 2014
UK Device Developers' Conference
Manchester, UK

Contact Details

Tel EMEA: + 44 (0) 151 649 9300
Tel USA: +1 (855) 855 5372
Tel India: +91 80 4080 8707

Follow Us