Galois is pleased to host the following tech talk. These talks are open to
the interested public–please join us! (There is no need to pre-register for
the talk.)
title:SMACCMPilot: flying quadcopters using new techniques for embedded programming
speaker:Pat Hickey
time:Tuesday, 02 July 2013, 10:30am
location:
Galois Inc.
421 SW 6th Ave. Suite 300,
Portland, OR, USA
(3rd floor of the Commonwealth building)
abstract:
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.
bio:
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.