Connecting requirements, models and verification evidence with agentic AI

Overview

A hill-hold-assist example combines AI task decomposition, modeling-rule checks, dead-logic detection and requirements-based tests. Traceability, coverage, defect ownership and human review gates organize verification evidence; the talk does not demonstrate vehicle certification.