Galois continues to advance building secure, hack-proof critical flight control software in its work on SMACCMPilot, part of DARPA’s High Assurance Cyber Military Systems (HACMS) program. We demonstrated technology developed to-date under this program at DARPA I2O’s Demo Day on May 21 at the Pentagon. Read more about the program and what our team is doing in this article recently published on Signal Online.
All of the software behind SMACCMPilot is open source and documented on the project web site. We welcome collaboration with programming languages, formal methods, and flight control researchers!