Programming languages for high-assurance autonomous vehicles

Autor: Trevor Elliott, Lee Pike, Thomas DuBuisson, Patrick C. Hickey, James Bielman, John Launchbury
Rok vydání: 2014
Předmět:
Zdroj: PLPV
DOI: 10.1145/2541568.2541570
Popis: 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.
Databáze: OpenAIRE