An introduction to FACE

Learn about the Future Airborne Capability Environment (FACE)

Civil functional safety standards in a military context

Why they are finding favour, and how they are being applied

The aerospace security framework and DO-326A

Because functional safety is not the only concern 

Digital battlefield: The final frontier?

The key role of connectivity and its security in future warfare

Compliance consultancy: You’re not alone

Could you use a helping hand?

Military avionics organizations have traditionally developed hardware and software using a variety of specialized, defence-orientated standards.

The Future Airborne Capability Environment (FACE) initiative and the widespread adoption of the DO-254 & DO-178C standards reflect a change in that positioning

And the rise of connectivity across the digital battlefield has meant that security has risen to prominence.

An introduction to FACE

Learn about the Future Airborne Capability Environment (FACE)

Civil functional safety standards in a military context

Why they are finding favour, and how they are being applied

The aerospace security framework and DO-326A

Because functional safety is not the only concern 

Digital battlefield: The final frontier?

The key role of connectivity and its security in future warfare

Compliance consultancy: You’re not alone

Could you use a helping hand?

Military avionics organizations have traditionally developed hardware and software using a variety of specialized, defence-orientated standards.

The Future Airborne Capability Environment (FACE) initiative and the widespread adoption of the DO-254 & DO-178C standards reflect a change in that positioning

And the rise of connectivity across the digital battlefield has meant that security has risen to prominence.

DO-178C embraces a host of concepts and practices that can be daunting for newcomers, and challenging even for experienced practitioners

DO-178C: The evolution of a standard

Reflecting on the thinking that gave rise to DO-178C, and how it built upon its successful DO-178B predecessor. 

DO-178C: An overview

An overview of what is involved in the development of a DO-178C compliant software application 

DO-178C embraces a host of concepts and practices that can be daunting for newcomers, and challenging even for experienced practitioners

DO-178C: The evolution of a standard

Reflecting on the thinking that gave rise to DO-178C, and how it built upon its successful DO-178B predecessor. 

DO-178C: An overview

An overview of what is involved in the development of a DO-178C compliant software application  

Automating requirements traceability and objective tracking

ALM and PLM tools provide facilities for the careful management and monitoring of all aspects of software development, but rely on manual intervention to collate information on code development, verification and validation.

Learn how that process can be automated using your ALM tool of choice.

Automating requirements traceability and objective tracking

ALM and PLM tools provide facilities for the careful management and monitoring of all aspects of software development, but rely on manual intervention to collate information on code development, verification and validation.

Learn how that process can be automated using your ALM tool of choice.

Coding standards  
(or “language subsets”)

Coding standards aim to improve the portability, safety and security aspects of a program by restricting those aspects of the language most likely to cause problems.

Getting to grips
with MISRA C:2012


An introduction to the MISRA C standard which was designed for all critical applications.

Being compliant with MISRA C/C++


This video gives a practical overview of what is required by the MISRA compliance:2020 document. 

MISRA C++ in context


This video shows the application of the MISRA C++:2008 standard in the context of a functionally safe application.

Static analysis of Ada
95 source code


This video shows how coding standards can be applied to Ada95 source code as part of an automated code review process.

Addressing your insecurities
with CERT C


An introduction to both the CERT C standard itself, and the way in which automated tools can help achieve its objectives.

Data coupling and control coupling

DO-178C Section 6.4.4 “Test coverage analysis” part D requires that “Test coverage of software structure, both data coupling and control coupling, is achieved.”

Data coupling and control coupling are each concerned with how software modules interact with each other. These documents explain why they matter, and how they can be measured.

Meet data coupling and control coupling


An introduction to the concepts.

The technicalities of data coupling and control coupling


A more technical discussion.

Structural coverage

Learn how structural coverage provides a basis for the measurement of requirements-based test effectiveness, and understand the practicalities of Modified Condition / Decision Coverage (MC/DC).

Object code verification (OCV)

Object code verification represents the only reliable mechanism to properly fulfil the requirements of DO-178C paragraph 6.4.4.2b.
Here’s why.

Structural coverage

Learn how structural coverage provides a basis for the measurement of requirements-based test effectiveness.

Object code verification (OCV)

Object code verification represents the only reliable mechanism to properly fulfil the requirements of DO-178C paragraph 6.4.4.2b.
Here’s why.

DO-178C
supplements

DO-330
Tool qualification


An outline of the principles

A DER’s detailed analysis

DO-331
Model-based development


A technical overview. 

A DER’s detailed analysis

DO-332 object-oriented technology


An introduction

AC-20
Reuseable Software Components


Benefits and pitfalls

Customer Stories

“LDRA was the only company able to support our automatically generated code out-of-the-box”

“The ability to automate the unit testing process … is very important for Chinese customers”

“Datel made a number of significant achievements in this safety-critical avionics upgrade project”

“LDRA tools automate the part of software engineering that everyone hates — the mundane, repetitive verification tasks”


LDRA Is Here To Help


For more than 40 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security-, and business-critical markets. Working with clients to achieve early error identification and elimination, and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA has headquarters in the United Kingdom, United States, Germany, and India coupled with an extensive distributor network. For more information on the LDRA tool suite, please visit www.ldra.com.

Our Customers


ISO 9001 | TÜV Certification

The TÜV and ISO certificates each say something a little different about LDRA and its products. ISO 9001 certification demonstrates LDRA’s ability to consistently meet and exceed customer expectations. And TÜV approval of software test tools suggests something more specific about the capabilities of the products, and their capacity to meet the exacting demands of the world’s predominant functional safety standards.


sit felis mi, accumsan Donec Donec quis,