DO-178B und DO-178 C (in Europa als ED-12 B/C bezeichnet – auf dieser Seite der Einfachheit halber als DO-178B/C bezeichnet) bieten Leitlinien, die von Luft- und Raumfahrt-Softwareingenieuren verwendet werden, um die Lufttüchtigkeit sicherzustellen.