Open Source
textspace

AdaPilot-EDU is primarily intended for the educational and research community, and will be supported on the forum by experts from academia and industry who believe that using Ada and SPARK in education and research is fundamental to forming the software engineers of tomorrow. Ada and SPARK embody the best contemporary ideas in software technology, and students exposed to these languages at an early stage of their career become more skilled and principled programmers.

AdaPilot-EDU will focus on the technical advantages of these programming languages, the tools and support available for academics, as well provide an insight into their academic and industrial use through the AdaRacer Flight Control System project.

Why Ada? Ada is a state-of-the-art programming language usable for all types of applications. Its approach of detecting errors as soon as possible makes it especially suitable for robotic applications, where safety, security, and reliability are critical. SPARK is a formally-defined programming language based on Ada, intended to be secure and to support the development of high-integrity software.

AdaPilot-EDU is a open-source autopilot project based on the Ada & SPARK programming language and ARM Cortex-M MCU. The autopilot, also known as the "Digital Flight Control System", is subdivided into two main bricks allowing high modularity and flexibility:

To reduce costs and complexity, the AdaPilot-EDU FCS combines the Flight Control Computer and AHRS functions on a single board to be handled by a single MCU.

External application specific sensors are handled and integrated using an external Mission Computer (Companion Computer) running ROS (Robot Operating System) and connected through the CANaerospace avionics data bus protocol.

CANaerospace, AdaPilot's avionics data bus, is a extremely lightweight protocol/data format definition which was designed for the highly reliable communication of microcomputer-based systems in airborne applications via Controller Area Network (CAN).

AdaRacer-FCS

NECSarm

mAHRS

Download the AdaPilot-EDU Presentation

librehalfbannerGPLbareboard