In the context of disaster management, the intervention of Autonomous Systems brings many benefits to human rescuers. Autonomous Systems can quickly reach regions that may be inaccessible for humans. In addition, they can perform a rapid mapping of the impacted area and therefore enhancing the human knowledge. However, it is necessary to choose the best Autonomous Systems according to (i) mission environment and (ii) mission objectives. In this article, we describe our work on ArcTurius rover, a wheeled Autonomous System in support to disaster management. We validated its design through simulation and formal verification. A first simulation step occurs during the system definition. This allows to formally verify the design choices. A second type of simulation is performed to check the adequacy of the rover with respect to a specific mission. Thus, an Autonomous System can be adapted prior to a real mission to enhance its level of performance.

在灾难管理的背景下，自治系统的介入为救援人员带来了很多好处。自治系统可以快速到达人类可能无法到达的区域。此外，他们可以对受影响区域进行快速绘制，从而增强人类知识。但是，有必要根据（i）任务环境和（ii）任务目标选择最佳的自治系统。在本文中，我们描述了我们在ArcTurius流浪者上的工作，这是一个支持灾难管理的轮式自治系统。我们通过仿真和形式验证来验证其设计。在系统定义过程中会进行第一个模拟步骤。这样可以正式验证设计选择。执行第二种模拟，以检查流动站相对于特定任务的适当性。从而，