Simulink Code Inspector

DO-178 Objectives

The standard RTCA/DO-178 Software Considerations in Airborne Systems and Equipment Certification specifies objectives for source code verification. The automated code inspection Simulink Code Inspector provides significantly reduces the time required for satisfying DO-178 source code verification objectives, as shown in the table below. Additionally, Objective (4) Source code conforms to standards can be satisfied using tools such as the MISRA C® analyzer provided by Polyspace Bug Finder. Tool qualification support for Simulink Code Inspector and Polyspace® products is provided by DO Qualification Kit (for DO-178).

DO-178C Objectives Compatible with Simulink Code Inspector

Annex A TableObjectiveDO-331 Reference*Software Levels
Table MB A-5(1) Source code complies with low-level requirementsSection MB 6.3.4aA, B, C
Table MB A-5(2) Source code complies with software architectureSection MB 6.3.4bA, B, C
Table MB A-5(3) Source code is verifiableSection MB 6.3.4cA, B
Table MB A-5(5) Source code is traceable to low-level requirementsSection MB 6.3.4eA, B, C
Table MB A-5(6) Source code is accurate and consistent**Section MB 6.3.4fA, B, C

*DO-331, Model-Based Development and Verification Supplement to DO-178C and DO-278A
**Does not cover objectives requiring compiler and object code analysis.

Try Simulink Code Inspector

Get trial software

DO-178B Software Development 09: Verification of the Object Code Against the Model

View webinar