At Galois, we're building critical flight control software using new software methods for embedded systems programming. We will show how we used new domain-specific languages which permit low-level hardware manipulation while still providing guarantees of type and memory safety. The flagship application for these new languages is called SMACCMPilot, a clean slate design of quadcopter flight control software built on open-source hardware. This talk will introduce our new software methods and show how we built SMACCMPilot to be high assurance without sacrificing programmer productivity.
Since 2011, Pat Hickey has been a Member of Technical Staff at Galois, Inc. He has worked as an engineer on the Autonomous Systems Hardening (ASH) project funded by the Air Force Research Lab (AFRL), and the High-Assurance Cyber Military Systems (HACMS) project funded by DARPA. Mr. Hickey has served as a core developer of the ArduPilot open source project since 2011. He has a BS in Electrical Engineering at Rutgers University.