DornerWorks’ John Van Enk presented a joint developed White Paper entitled “High Assurance Avionics Software Design using an Embedded Domain Specific Language” at the Cyber-Physical Systems Week Conference. The White Paper was specifically prepared for a workshop at the conference entitled, “Mixed Criticality; Roadmap to Evolving UAV Certification”. The workshop and paper were focused on the rising costs of the certification process. Specifically, regarding the development of advanced and sophisticated embedded systems and software.
The following is an abstract from the paper:
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.