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.
Open Source
The SMACCMPilot platform is an open-source project, released under a liberal BSD license.
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.
Ivory Tutorial
Walk through an Ivory program with annotations introducing some of the features of the language.
Tower Framework
Tower is a framework for composing Ivory programs into multithreaded applications.