Case Study: National Aerospace Laboratories achieves 75% reduction in upgrade effort with MathWorks Model‑Based Design (MATLAB & Simulink)

National Aerospace Laboratories Proves Benefits of Model-Based Design for DO-178B Flight Software Development

National Aerospace Laboratories (CSIR‑NAL) needed to accelerate development and certification of DO‑178B Level A flight‑control software after a hand‑coded implementation caused delays due to gaps between requirements, code, and tests. Working with MathWorks and adopting Model‑Based Design using MATLAB and Simulink tools, the team sought to automate tracing, coverage analysis, and documentation to streamline their workflow.

Using MathWorks products — Simulink, Stateflow, Embedded Coder, Simulink Design Verifier, Simulink Requirements, Simulink Check, and Simulink Report Generator — CSIR‑NAL generated about 5,000 lines of C, linked requirements to model and code, integrated with the LDRA tool suite, and automated test and coverage activities. MathWorks’ solution cut upgrade effort by 75%, reduced code analysis time by 48% and design time by 50%, produced consistent, maintainable code, and established an integrated DO‑178 workflow for future projects.

National Aerospace Laboratories

Manju Nanda

Principal Scientist