We’re building open-source autopilot software for small unmanned aerial vehicles (UAVs) using new high-assurance software methods.
Learn about how the SMACCMPilot software platform works, and how to develop for it.
The SMACCMPilot platform is an open-source project, released under a liberal BSD license.
SMACCMPilot is the flagship project of a new programming language called Ivory, a domain specific language for safe systems programming.
Walk through an Ivory program with annotations introducing some of the features of the language.
Tower is a framework for composing Ivory programs into multithreaded applications.