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.