DO-178C
An overview


This document provides an overview of what is involved in the development of a DO-178C compliant software application.

The aerospace security framework and DO-326A


Because functional safety is not the only concern.

Compliance consultancy: You’re not alone


Could you use a helping hand?

DO-178C is the primary document by which the certification authorities approve all commercial software-based aerospace systems. Read an overview of implications for software development here, and details below.
The challenges that exist in the cyber world have migrated to the aviation network, and standards including DO-326A have evolved to address them.
 

Compliance consultancy: You’re not alone


Could you use a helping hand?

The aerospace security framework

and DO-326A


Because functional safety is not the only concern 

DO-178C:
An overview


This document provides an overview of what is involved in the development of a DO-178C compliant software application

DO-178C is the primary document by which the certification authorities approve all commercial software-based aerospace systems. Read an overview of implications for software development here, and details below.
The challenges that exist in the cyber world have migrated to the aviation network, and standards including DO326A have evolved to address them.
ards including DO-326A have evolved to address them. 

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. 

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.

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
Reusable 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.


odio elementum libero neque. Aliquam tristique