Below are a couple of presentations from the recent Certification Together conference. Both concern the OOT supplement of the upcoming DO-178C avionics standard.
DO-178C: the OOT supplement
View more presentations from AdaCore.
DO-178C OOT supplement: A user's perspective
View more presentations from AdaCore.