#AdaPilot – #opensource safety critical #flightcontroller system.
The development platform at this point is from AdaCore. They sell Ada tools commercially, but there are free, open-source versions at libre.adacore.com. The platforms address Ada across the board down to a configurable/customizable run-time library consisting of the “Small Footprint” (SFP) and Ravenscar profiles. AdaPilot is looking for supporters and contributors.
AdaPilot website: http://adapilot.likeabird.eu/