Kort svar: Tekniskt och juridiskt ja, en fri öppen källkörningsautopilot kan certifieras. Men jag tror det är osannolikt att hända när som helst snart.
Långt svar: Certifiering av flygplansprogram styrs av DO-178C . Det finns inget där som säger något om källan är öppen vs sluten, eller fri vs icke-fri. Vad det lägger ner är en hel del mycket strikta krav för att bevisa att programvaran gör vad den säger att den kommer att göra.
Till exempel, för något som en autopilot, skulle en oberoende testning / validering normalt krävas. Det betyder att den person som skriver / kodar programvaran och den som testar programvaran måste vara olika personer. dvs du måste ha en ny uppsättning ögon som tittar på den. Vidare kommer testningen att vara mycket omfattande och täcka alla möjliga scenarier som din autopilot kan stöta på. Du kanske måste mocka upp ett helt falskt flygplan, med simulerade sensorer och simulerade manöverdon, och mata autopilotsimulerade data och se om manöverdonet rör sig som de ska.
Du måste också ge en enorm mängd mycket noggrann dokumentation om alla delar av din mjukvaruprocess. T.ex. programkraven måste dokumenteras och då måste du kunna visa varje steg på vägen för hur varje specifikt krav översätts till den slutliga maskinkoden.
Ett gratis open source-projekt skulle säkert kunna uppfylla alla dessa krav. De blir dock mycket tidskrävande och dyra. Du behöver en armé av programvaruingenjörer som arbetar hela dagen varje dag i åratal för att uppfylla några av dessa krav. FOSS-projektet har vanligtvis inte den nivå av arbetskraft som krävs för att uppfylla dessa krav.