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