We investigate the suitability of open-universe probabilistic models OUPMs introduced by Milch and Russell as a foundation to design PVT assurance metrics and adaptive PVT estimators. These estimators output PVT information together with trust assessments of PVT inputs and outputs. OUPMs model structural uncertainty (object uncertainty and relational uncertainty) necessary to measure assurance when the availability of sensors and the absence of adversaries cannot be guaranteed. We describe the challenges of designing PVT assurance metrics using traditional methods, and we illustrate how OUPMs represented as probabilistic programs allow us to address these challenges. In particular, we provide concrete examples of how to combine multiple sources of information to compute assurance assessments using the Texas Spoofing Test Battery. Furthermore, we demonstrate how to leverage PVT assurance metrics to design adaptive PVT estimators designed to operate through attacks. |
|