DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the primary standard used to approve all commercial software-based aerospace and military/defense systems.
The RTCA and its new standard, DO-178C, will bring safety-critical software development into the modern era, adding support for advanced techniques such as UML and mathematical modeling, object-oriented programming and formal methods