Aerospace & Defense 

Resource Center

Civil Aviation

Resources relating to the development, validation and verification of application software for ground-based and airborne systems and equipment.

The demands on developers of commercial software based aerospace systems especially at the more demanding DO-178C Design Assurance Levels (DALs). The overhead inherent in the avionics software lifecycle from software requirements, through software design, source code development and the application of coding standards, code coverage, integration and integration testing is almost insatiable.

Help is at hand here with software considerations in airborne systems, systems and equipment certification, and software tool qualification. Whether you are using model based development or hand coding, interested in a single development phase or the whole lifecycle, and experienced in standards such DO-178C and DO-326A or a complete novice, you will find something useful.


Detailed information relating to application software development for deployment in land, avionics, and sea-based defense applications.

Commercial software standards such as DO-178C are increasingly influential in the world of defense, and DO-178C software considerations are demanding. Coupled with that, throughout the sectors there is an insatiable demand for ever more lines of code and the security implications of ever more connectivity on top of that.

Learn here how requirements traceability, source code development, software testing and test cases, coverage analysis, and the software verification and validation testing tools used to apply these techniques have much in common across the two sectors - and, just as importantly, where they differ. 


  • Quick and easy access to guides
  • No need to download PDFs
  • Seamless video streaming
  • Trouble free registration process
  • Clear explanation of technical issues
  • Continuous development and improvement of content
  • Descriptions of development and quality assurance processes applicable across the sectors

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

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.