“The complexity of this technology and scenarios in which it must operate vastly exceeds anything previously attempted in this industry.”

- Forbes, August 1, 2018


Coverage Driven Verification

Foretify™ includes:

  • A Measurable Scenario Description Language (M-SDL) used to describe both scenarios and coverage goals at a very high level (soon to be made open) to enable a ‘measurable safety’ ecosystem
  • Automation to generate combinations of combinations of scenario variants along with monitors to check and track scenario coverage
  • The ability to aggregate coverage data from the execution across all testing platforms (test vehicles, test tracks, simulation, X-in-the-loop) and extract analytics and metrics for developers to know where they are, what to do next and when they’re done

One to Many

One Behavioral Specification of Scenario Categories May Represent 100s of Thousands of Scenario Variations

Specifications are Human Readable and Can be Easily Audited, Adapted, and Augmented

Only Scenario Specification that Can be Easily Extended and Morphed for New Operational Design Domains (ODDs)

Many to One

A Hierarchy of Monitors Aggregates Coverage Data from 100s of Millions of Scenario Variants

Coverage Holes are Identified and Highest Impact Tests are Ranked Using Causal Analysis

% Coverage of Any Level in Scenario Category Hierarchy is Measured and Reported via Annotation of the vPlan

The Coverage Driven Verification Flow

Powered by Foretify™

  • Define a verification and coverage plan for all scenario categories (for example complex lane changes, sensors faults, weather conditions and more)
  • For each scenario category use an open, high level scenario description language to define scenario behaviors and their measurable coverage requirements including the mixing of scenario categories essential to reach the challenging edge cases
  • Automatically generate 100’s of millions of meaningful core + edge cases scenarios, coverage monitors and graders
  • Analyze the results
    • Measure coverage of each scenario category in the verification plan
    • Identify coverage holes in each scenario category
    • Rank tests according to the contribution to coverage
    • Evaluate the grading of scenarios according to different metrics (comfort, safety buffers, rules etc.)
    • Much more…
  • Iterateadapt, refine and improve the coverage results to reach the desired safety confidence level

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.

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