DO-178B und CAST-Papiere für die Avionik-Softwareentwicklung