保证案例已成为建立对复杂自主系统的信任的一种方式。需要根据当前的系统上下文和性能不断重新评估此类系统的许多保证案例辩护。自主系统，尤其是部署在远程环境中的系统，通常具有一个地面控制系统，可实现监视和远程操作。在本文中，我们提出了一个动态保证框架，旨在将保证案例与地面控制系统联系起来。我们使用地面控制系统来促进在保证案例中支持各种理由的定量保证措施的动态评估。我们证明了NASA AMES研究中心项目团的拟议动态保证框架。我们使用内部和外部工具的组合来确定保证措施，正式化相关要求并生成将数据馈送到外部地面控制系统的监视器。