Unmanned Autonomous Verification and Validation
In this 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.
Finally, we argue the approach promises substantial automation and cost-reduction in V&V.
Other Related Content
You shouldn’t have to be an expert in everything.
You have a great product, but there’s so much to do that you can’t focus on your customers and your core expertise.
We’re here to help.
We’ve developed hundreds of projects for lots of customers. When you create your product with us, your product will stand out in the market, and better yet–you will be able to focus on what’s most important.Schedule a discussion