AdaPilot – open source safety critical flight controller system.

#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 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.

There are other autopilot open-source projects already out there like OpenPilot and ArduPilot.

AdaPilot website: