An Embedded Systems Software Research Project

We’re building open-source autopilot software for small unmanned aerial vehicles (UAVs) using new high-assurance software methods.

The SMACCMPilot autopilot software:

Software Guide

Learn about how the SMACCMPilot software platform works, and how to develop for it.

Get hacking »

Hardware Guide

Complete instructions for building a SMACCMPilot based quadcopter.

Get flying »

Open Source

The SMACCMPilot platform is an open-source project, released under a liberal BSD license.

Find it on Github »

And the technology used to build it:

Ivory Language

SMACCMPilot is the flagship project of a new programming language called Ivory, a domain specific language for safe systems programming.

Learn about Ivory »

Ivory Tutorial

Walk through an Ivory program with annotations introducing some of the features of the language.

Ivory Tutorial »

Tower Framework

Tower is a framework for composing Ivory programs into multithreaded applications.

Tower Overview »