Driving Certainty: Recomputability for Safe & Secure ADAS
Autonomous Driving and Assistance Systems (ADAS) present a uniquely challenging development environment: an open-world infinite problem space, combined with a need to be repeatable for showing safety and security. Current development approaches are inherently limited; handling rare events is critical, yet such events cannot be reproduced on-demand in test systems. This presentation introduces the concept of deterministic ADAS development using a middleware that supports full validation and verification using recomputability. We will demonstrate how such middleware supports development through “forensic recompute” and validation via “credible recompute”. Additionally, we will illustrate how deterministic application performance can be enhanced using hardware accelerators.