Aerospace and Defense
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.
"Model-Based Design enables us to streamline the certification process by tracking requirements, verifying the design using simulation, and maintaining the system model as the single source of truth throughout development."사례 읽기