Unmanned Autonomous Verification and Validation

• ABSTRACT:
  
  We outline a new approach to the verification and validation (V&V) of safety-critical avionics based on the use of executable lightweight domain specific languages (LwDSLs)---domain-specific languages hosted directly in an existing high-level programming language. We provide examples of LwDSLs used in industry today, and then we describe the advantages of LwDSLs in V&V. We argue the approach promises substantial automation and cost-reduction in V&V.

• BIBTEX:
  

  @InProceedings{pike-mixed-crit,
    author =    {Lee Pike and Don Stewart and John Van Enk},
    title =     {Unmanned Autonomous Verification and Validation (Position Paper)},
    booktitle = {Workshop on Mixed Criticality (Associated with 15th IEEE Real-Time and Embedded Technology and Applications Symposium)},
    year =      {2009},
    month =     {April},
    note =      {Workshop proceedings.  Available at \url{https://leepike.github.io/pub_pages/holpp.html}}
  

• PAPER DOWNLOAD: pdf

• SLIDES DOWLOAD: pdf