Citation
Lee Pike. "Programming Languages for High-Assurance Air Vehicles". Talk or presentation, 2, November, 2015.

Abstract
We 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. This work is performed for DARPA under the High-Assurance Cyber Military System (HACMS) program.

Electronic downloads

• seminar.2015-11-02.Lee_Pike.pdf · application/pdf · 5491 kbytes

• HTML

  Lee Pike. <a
  href="http://chess.eecs.berkeley.edu/pubs/1154.html"
  ><i>Programming Languages for High-Assurance Air
  Vehicles</i></a>, Talk or presentation,  2,
  November, 2015.

• Plain text

  Lee Pike. "Programming Languages for High-Assurance Air
  Vehicles". Talk or presentation,  2, November, 2015.

• BibTeX

  @presentation{Pike15_ProgrammingLanguagesForHighAssuranceAirVehicles,
      author = {Lee Pike},
      title = {Programming Languages for High-Assurance Air
                Vehicles},
      day = {2},
      month = {November},
      year = {2015},
      abstract = {We 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. This work is performed for DARPA under
                the High-Assurance Cyber Military System (HACMS)
                program.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1154.html}
  }
  

Posted by Sadigh Dorsa on 16 Nov 2015.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.