Towards Verified Self-Driving Infrastructure
Bingzhe Liu, Ali Kheradmand, Matthew Caesar, P. Brighten Godfrey · 2020
Modern "self-driving'' service infrastructures consist of a diverse collection of distributed control components providing a broad spectrum of application- and network-centric functions. The complex and non-deterministic nature of these interactions leads to failures, ranging from subtle gray failures to catastrophic service outages, that are difficult to anticipate and repair.