Programming languages for high-assurance autonomous vehicles
Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas M. DuBuisson, John Launchbury · 2014
We briefly describe the use of embedded domain-specific languages to improve programmer productivity and increase software assurance in the context of building a fully-featured autopilot for unpiloted aircraft.