DO-178C is the latest update to the DO-178 standard. The previous version, DO-178B, was published in 1992 when most software was coded by hand. Since software development processes have evolved from hand coding to automatic coding with Model-Based Design, DO-178C was developed to keep pace with industry. The standard contains two supplements that map closely with current industry development and verification practices: the Model-Based Development and Verification supplement (DO-331) and the Formal Methods supplement (DO-333).
MATLAB, Simulink, and Embedded Coder support key development activities involving Model-Based Design for DO-178C. MathWorks also provides other products and services that support important verification tasks.