AdaPilot is a new project to create a highly reliable open source autopilot using the Ada language. From the Project Overview:
AdaPilot, started in 2016, is a next-generation Open-Source software project with a reference hardware development kit, created by the AdaPilot Community. It has been designed from the ground up by a community of passionate Ada and ARM developers from around the globe, with its core design principles being quality, safety, and ease of use. It is aimed at providing a DO-178C certifiable safety critical flight control system composed of a single or redundant flight control computer with basic autopilot features, an attitude & heading reference system, a modular & customizable mission controller, a secure data-link, a electronic speed controller, a handheld ground control station and a mission management & planning software. The community can help to contribute to the AdaPilot code written in Ada-SPARK following the Core-Team advices and approvals. The reference hardware development kit forms the base for the AdaPilot environment, and through the use of the CANaerospace aviation bus protocol, the flexibility and integrability with third-party systems are only limited by the imagination and skills of the developers.
The current code base is targeting multirotors up to 8 rotors. However, the platform is flexible and can be adapted to fixed wing or single rotor, as well as for land-based and maritime applications.