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 |
Externí odkaz: |