Building embedded systems with embedded DSLs

Autor: Lee Pike, Trevor Elliott, John Launchbury, James Bielman, Patrick C. Hickey
Rok vydání: 2014
Předmět:
Zdroj: ICFP
ISSN: 1558-1160
0362-1340
DOI: 10.1145/2692915.2628146
Popis: We report on our experiences in synthesizing a fully-featured autopilot from embedded domain-specific languages (EDSLs) hosted in Haskell. The autopilot is approximately 50k lines of C code generated from 10k lines of EDSL code and includes control laws, mode logic, encrypted communications system, and device drivers. The autopilot was built in less than two engineer years. This is the story of how EDSLs provided the productivity and safety gains to do large-scale low-level embedded programming and lessons we learned in doing so.
Databáze: OpenAIRE