RTAEval：用于评估运行时保证逻辑的框架
摘要：保证运行时安全性（Runtime assurance, RTA）解决了在使用不可信（或实验性）控制器时保持自主系统安全的问题。可以通过明确在不可信控制器和安全控制器之间切换的逻辑或过滤不可信控制器提供的输入的逻辑来实现。虽然有几种工具实施RTA的特定实例，但目前没有评估不同方法的框架。鉴于在构建安全自主系统中RTA问题的重要性，需要一种评估工具。本文介绍了RTAEval框架作为一个低代码框架，可用于快速评估不同RTA逻辑在不同类型代理和各种场景中的性能。RTAEval旨在快速创建场景，运行不同的RTA逻辑，并收集可以用于评估和可视化性能的数据。本文描述了RTAEval的不同组件，并展示了如何使用它来创建和评估涉及多个飞机模型的场景。
作者：Kristina Miller and Christopher K. Zeitler and William Shen and Mahesh Viswanathan and Sayan Mitra
论文ID：2306.04585
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-08