Reference hardware platform that provide the foundation for research and development of autonomous and robotic systems in Ada & SPARK.
Autopilot Hardware Reference Development Platform
AdaRacer-FCS is the hardware reference development companion for the AdaPilot initiative, a open-source DO-178C certifiable autopilot project based on the Ada & SPARK safety critical programming language and ARM Cortex M/R MCUs. The hardware consists of a single circuit board with all the necessary sensors integrated, including the popular and widely used Invesense MPU-9250 nine-axis IMU and the MS5611 high precision altitude sensor module providing a 24bit digital pressure value and 24 bit value for the air temperature. Additional add-on sensors, modules and payloads can be integrated via the available interfaces, such as UART, SPI, I2C, ADC and CAN. Servo/ESC s can be controlled either via up to 8 PWM ports or via a second CAN bus
Even if the AdaRacer-FCS has been developed with Ada and SPARK in mind, it is also compatible out of the box to various popular autopilot software codes, such as ArduPilot and PX4 just to name a few. Other software stacks based on the ARM Cortex-M could be easily ported to the AdaRacer-FCS platform and benefits from the high-quality hardware and add-on modules, such as GNSS receiver, data-link, battery management systems, and more.
The optionally available AdaRacer-FCS Developers Kit is a complete operational start-up kit suitable for entry level UAV applications where cost and time-to-market is the overriding consideration. The kit is software independent and comes with a generic JTAG/SWD + UART console adapter compatible with Windows, Mac OS and Linux, a DC/DC power converter, a GNSS module + antenna and a data- link. A standard RC radio transmitter with PPM/SBUS receiver can be used to send steering commands.
Summary of Features: