Loading...

Programming Languages for High-Assurance Vehicles

352 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jun 9, 2017

Programming Languages for High-Assurance Vehicles

Lee Pike
Presented at the 2017 LangSec Workshop
at the IEEE Symposium on Security & Privacy Workshops
May 25, 2016
San Jose, CA
http://www.ieee-security.org/TC/SP2017/
http://spw17.langsec.org/

ABSTRACT
We report on our experiences in synthesizing a fully-featured autopilot from embedded domain-specific languages (EDSLs) hosted in Haskell. The autopilot was built for the DARPA High-Assurance Cyber-Military Systems (HACMS) program. After an independent red-team assessment, one government official remarked that it was likely "the most secure UAV in the world". We will also describe our experiences in transitioning the EDSLs to Boeing for use in large-scale platforms. The EDSLs and autopilot are both open-source.

Loading...

to add this to Watch Later

Add to

Loading playlists...