安全关键系统运行测试的闭环策略

安全关键系统的制造商必须证明其产品足够安全，方可投入公共使用。这种证明在很大程度上依赖于真实世界测试中的关键事件结果，因此制造商需要策略性地分配测试资源，以最大化展示系统安全性的机会。本文将测试调度这一部分可观测且依赖于信念的问题建模为马尔可夫决策过程，可高效求解以获得闭环的制造商测试策略。通过在广泛的公式化问题设置上求解策略，我们能够为制造商和监管机构提供关于安全关键系统测试问题的高层指导。该指导涵盖一系列主题，包括在观察到事故后制造商应继续测试的条件、制造商应积极测试的时机，以及监管机构应增加或减少自动驾驶车辆真实世界测试要求的时机。