3 ms·
Yes! The world needs this kind of work. I would prefer my flight control computers to be free of bugs, provably. DARPA just concluded a program to do exactly t
by dguido 11y ago
Yes! The world needs this kind of work. I would prefer my flight control computers to be free of bugs, provably.
DARPA just concluded a program to do exactly this, and I wonder if Veridrone was funded as part of their efforts:
http://www.darpa.mil/program/high-assurance-cyber-military-systems http://www.darpa.mil/program/high-assurance-cyber-military-s...
A lot of the work that went into formally verifying various aspects of drone and car software for HACMS was open sourced in DARPA's Open Catalog, found here:
http://opencatalog.darpa.mil/HACMS.html http://opencatalog.darpa.mil/HACMS.html
- BmoreDaniel 11y agoI work on the VeriDrone project. We did not receive any funding from the HACMS project, but we have begun working with some folks from the SMACCMPilot project (http://smaccmpilot.org/index.html http://smaccmpilot.org/index.html) that was funded by HACMS. We hope to eventually integrate with their platform in order to benefit from the guarantees they provide such as memory safety.