Compliance with DO-178B
DO-178B, Software Considerations in Airborne Systems and Equipment Certification, is a standard published by RTCA, Inc and developed jointly with EUROCAE, the European Organization for Civil Aviation Equipment.
Designed for international use, it provides production guidelines to guarantee the safety and reliability of software that is to be used in airborne systems and equipment. DO-178B has become a standard compliance used by software developers in avionics. The FAA applies DO-187B as the document it uses to assess the safety and reliability of software.
GrammaTech's static analysis tools can make a significant contribution to DO-178B activities.
Simplifying DO-178B Compliance with CodeSonar
As a static analysis tool, CodeSonar is classified by the DO-178B guidance as a software verification tool, as defined in section 12.2 of the guidance. Its use should be qualified on an individual basis by the customer; however, the main uses of CodeSonar to support an organization's DO-178B activities are outlined below.
The use of CodeSonar is especially applicable to these sections, but CodeSonar also supports various activities and objectives from other chapters. In particular, CodeSonar can provide value throughout the Software Development Process (Ch. 5) and in many cases, the completion of a CodeSonar analysis is a useful transition criterion (Ch. 4). For more detail, please read our whitepaper.
Most Applicable DO-178B Chapters
DO-178B Chapter 6: Software Verification Process
6.3 Software Reviews and Analyses
- 6.3.3 Reviews and Analyses of the Software Architecture
- 6.3.4 Reviews and Analyses of the Source Code
6.4 Software Testing Process
- 6.4.3 Requirements-Based Testing Methods
- 6.4.4 Test Coverage Analysis
D0-178B Chapter 7: Software Configuration Management Process
7.2 Software Configuration Management Process Activities
- 7.2.2 Baselines and Traceability
- 7.2.3 Problem Reporting, Tracking, and Corrective Action
- 7.2.4 Change Control
- 7.2.5 Change Review
DO-178B Chapter 11: Software Life Cycle Data
11.7 Software Design Standards
11.8 Software Code Standards
DO-178B Chapter 12: Additional Considerations
12.1 Use of Previously Developed Software
- 12.1.1 Modifications to Previously Developed Software
- 12.1.3 Change of Application or Development Environment
- 12.1.4 Upgrading a Development Baseline