无人驾驶车辆背景下错误原因的预防与消除
Prävention und Beseitigung von Fehlerursachen im Kontext von unbemannten Fahrzeugen
AI总结：
针对自主移动机器人安全可靠性挑战，提出结合形式化验证与规则的双重方法，分别用于任务规划中的故障消除和执行中的故障预防。
摘要：
移动机器人日益自主化，能够在多样且未知的环境中运行。这种灵活性使它们能够独立地实现目标，并动态调整其行动，而无需严格预定义的控制代码。然而，其自主行为使得保障安全性和可靠性变得复杂，因为人类操作员对每个机器人行动的准确监督和验证能力有限。为确保自主移动机器人的安全性和可靠性（这些是可信性的方面），需要在自主移动机器人的任务规划和执行中采用相应方法。本文提出了一种双重方法，以确保在任务规划背景下消除故障，并在任务执行期间预防故障。首先，该方法包括一个基于形式化验证的概念，应用于任务规划阶段。其次，该方法包括一个基于规则的概念，应用于任务执行期间。本文展示了一个应用该方法的用例，讨论了两个概念如何相互补充，以及它们对可信性的特定方面做出了哪些贡献。
英文摘要：
Mobile robots, becoming increasingly autonomous, are capable of operating in diverse and unknown environments. This flexibility allows them to fulfill goals independently and adapting their actions dynamically without rigidly predefined control codes. However, their autonomous behavior complicates guaranteeing safety and reliability due to the limited influence of a human operator to accurately supervise and verify each robot's actions. To ensure autonomous mobile robot's safety and reliability, which are aspects of dependability, methods are needed both in the planning and execution of missions for autonomous mobile robots. In this article, a twofold approach is presented that ensures fault removal in the context of mission planning and fault prevention during mission execution for autonomous mobile robots. First, the approach consists of a concept based on formal verification applied during the planning phase of missions. Second, the approach consists of a rule-based concept applied during mission execution. A use case applying the approach is presented, discussing how the two concepts complement each other and what contribution they make to certain aspects of dependability.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
