Is DO-178C standard supported by DO Qualification Kit (for DO-178)?

I would like to know if the DO-178C standard is supported by the DO Qualification Kit (for DO-178) product.

Answer 1

[MathWorks Support Team]

DO-178C is the recent update to DO-178B and adds clarification in several areas including Model-Based Design, tool qualification, and formal methods.

MathWorks offers DO-178C guidance and information for using the DO Qualification Kit and Mathworks products with the DO-178C standard.

DO-278 is closely related to DO-178, and identical for tool qualification aspects.

You can obtain information regarding Simulink and Polyspace product family support for DO-178C and DO-278 by contacting Mathworks.