EDSLs for Unmanned Autonomous Verification and Validation
Galois, Inc. | Friday, May 15, 2009 at 9:55AM | in Domain Specific Languages, Formal Methods, Functional Programming, White Papers We have a new position paper on the use of EDSLs (LwDSLs) for verification and validation of unmanned vehicle avionics, written jointly with John van Enk of DornerWorks, recently presented at a mixed-criticality architecture conference. (Download) :: PDF
Lee Pike, Don Stewart, John Van EnkCPS Week 2009 Workshop on Mixed Criticality
Roadmap to Evolving UAV Certification
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 - 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.
Reader Comments