论文标题
自主系统的动态认证
Dynamic Certification for Autonomous Systems
论文作者
论文摘要
自主系统通常部署在复杂的社会技术环境中，例如公共道路，必须安全地安全。与许多传统工程的系统不同，自主系统有望在不同的“开放世界”环境环境中可以预见，无法正式地完全指定。结果，对自主系统的保证要求我们开发新的认证方法和数学工具，这些方法可以束缚这些不同部署方案所带来的不确定性，而不是依靠静态工具。
Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered systems, autonomous systems are expected to behave predictably in varying "open world" environmental contexts that cannot be fully specified formally. As a result, assurance about autonomous systems requires us to develop new certification methods and mathematical tools that can bound the uncertainty engendered by these diverse deployment scenarios, rather than relying on static tools.
