Recipes for Calibration Checks in Safety-Critical Applications

TL;DR

This paper introduces a modular framework for calibration checks of probabilistic forecasts in safety-critical systems, enabling reliable validation of distributional assumptions with operationally friendly decision criteria.

Contribution

It proposes a flexible, step-by-step calibration testing pipeline that supports various use-cases and includes modifications for safety-critical applications, demonstrated on weather and robotics tasks.

Findings

Framework supports single accept/reject decision for calibration validation.

Modifications reject overconfident predictions and tolerate small deviations.

Demonstrated on weather forecasting and robot pose estimation.

Abstract

Safety-critical prediction systems, such as autonomous vehicles, weather forecasters, and medical monitors, commonly rely on probabilistic forecasters. These forecasters make predictions about possible future outcomes, and their quality and robustness needs to be validated and certified. Often, only accuracy -- the mean of the predictions -- is evaluated against true outcomes. However, for safety-critical scenarios and decision making under uncertainty, the full distributional properties of the forecasts should be checked: do the observed prediction errors actually follow the forecasted probability distributions? To this end, we introduce a framework for calibration checks: statistical tests that validate distributional properties of forecasts when measured over many samples. In order to support ease-of-use in real-world operations, these checks produce a single accept/reject decision for data collected from a forecaster. This contrasts typical calibration calculations which produce one or multiple continuous calibration scores and require expertise to implement in a validation workflow. We further support operationalization by introducing modifications to calibration testing that (a) reject only overconfident predictions, allowing for pessimistic or cautious predictions in safety-critical settings, and (b) tolerate small, operationally acceptable deviations even for large numbers of validation samples. We organize the calibration checking process into a modular pipeline comprising four steps: (i) the data model, (ii) the chosen metric, (iii) the hypothesis formulation, and (iv) the testing procedure. Each step consists of independently swappable components, thereby supporting a large variety of possible use-cases and trade-offs. We demonstrate the applicability of the framework on two complementary example problems, weather forecasting and robot pose estimation.