面向自动驾驶功能复杂系统需求的运行时监控

公共交通中的自动驾驶功能（ADFs）必须遵守基于不同学科专家（如律师、安全专家、心理学家）知识的复杂系统需求。本文给出关于针对此类需求验证 ADFs 的研究预览。我们考察了交通序列图（TSCs）用于此类需求形式化的适用性，并提出了在验证运行中监控系统合规性的概念。我们发现 TSCs 凭借其基于交通领域符号的直观视觉语法，是此类需求协同形式化的有前景选择。对于一个示例 TSC，我们依据所提新概念描述了运行时监视器的构建，该概念利用了 TSCs 中空间与时间方面的分离，并成功将监视器应用于示例运行。该监视器在运行时持续提供判定，这在验证运行代价高昂的 ADF 验证中尤为有益。下一步开放研究问题涉及监视器构建的泛化、TSC 可监控性界限的确定，以及监视器在实际应用中性能的研究。展望而言，TSC 运行时监控可在其他新兴应用领域（如 AI 训练、运行期间保障 ADFs 安全、以及现场采集有意义交通数据）提供有用技术。