Coverage Driven Verification using Foretify & Metamoto’s Simulation as a Service platform

This video offers a glimpse into Coverage Driven Verification using Foretellix’s Foretify platform and Metamoto’s Simulation as a Service platform.

The video demonstrates the overall closed-loop verification methodology used, the porting of a verification plan between different ODDs, as well as  the measuring using functional scenario coverage:

The clip includes:

  • The creation of the verification plan, the specification of an abstract driving scenario, required performance indicators & coverage metrics using open M-SDL – Measurable scenario description language
  • The automatic generation of thousands of meaningful scenarios that comply with the specification of the abstract scenario including unknowns/edge cases
  • Finding different locations on the map that comply with the abstract scenario definition (allows ease in portability between ODDs) by using advanced technologies like constraint solver/generator with automatic search within the ODD 
  • Driving scenario executions using Metamoto’s Simulation as a Service platform
  • Performance and coverage based analysis to know where you are in the verification process, what have you tested and verified,  what you need to do in the next iteration and when you are done

The device under test is Autoware.

Additional content for you

Enter your details below to sign up for the Foretellix newsletter!

Visit us at 216 Innovation Blvd | Ecomotion, TLV, May 9-12

Your request has been sent

We’ll get back to you as soon as possible.

M-SDL Open Source Project Registration

Enter your query below and we'll get back to you shortly

Enter your query below and we'll get back to you shortly

* Required field

We're committed to your privacy. Foretellix uses the information you provide to us to contact you about our relevant content, products, and services. You may unsubscribe from these communications at any time. For more information, check out our Privacy Policy.