Building embedded systems with embedded DSLs (experience report)

• ABSTRACT:
  
  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.

• BIBTEX:
  

  @inproceedings{pike-icfp14,
    author    = {Patrick C. Hickey and
                 Lee Pike and
                 Trevor Elliott and
                 James Bielman and
                 John Launchbury},
    title     = {Building embedded systems with embedded {DSLs} (experience report)},
    booktitle = {Intl. Conference on Functional Programming (ICFP)},
    publisher = {ACM},
    year      = {2014},
    note      = {Available at \url{https://leepike.github.io/pub_pages/icfp14.html}}}

• PAPER DOWNLOAD: embedded-experience.pdf