The growing complexity of modern avionics systems is derived not only from their safety criticality, but also from the many combinations of options offered by avionics suppliers. The DO-178C standard  has built upon the legacy of  DO-178B ’s impressive track record . It  retains the core principles  of DO-178B but  provides  avionics suppliers  with  the tools and guidance necessary to achieve cost-effective certification via DO-178C’s technology supplements: formal methods, model-based development, and object-oriented technologies.