Self-Driving Car Safety Quantification via Component-Level Analysis

In this paper, we present a rigorous modular statistical approach for arguing safety or its insufficiency of an autonomous vehicle through concrete illustrative example. The methodology relies on making appropriate quantitative studies the performance constituent components. We explain importance sufficient and necessary conditions at component level overall as well cost-saving benefits approach. A simple automated braking example studied illustrates how separate perception system operational design domain analyses can be used to prove disprove level.