Reducing Risk and Costs of DO-178B and DO-178C Certification with Static Analysis

October 28, 2016 Bill Graham

 

 

INTRODUCTION:

DO-178C – “Software Considerations in Airborne Systems and Equipment Certification” – provides production guidelines for software that is to be used in airborne systems, and equipment that consequently must “comply with airworthiness requirements.” Software development to DO-178B/C Levels A and B, in particular, require rigorous verification and validation, plus development to strict guidelines and processes.

Developing software for airborne systems is expensive, risky, and time consuming. Static analysis tools are an important part of the safety-critical software development tool chain, and play an important role throughout the software lifecycle. This post summarizes the applicability of our tools and how they can reduce the cost and risk associated with DO-178B/C development. 

Related:

No Previous Articles

Next Document
How Static Analysis Protects Critical Infrastructure from Cyber Threats
How Static Analysis Protects Critical Infrastructure from Cyber Threats