论文标题
在安全保证环境下分析超宽的频带定位以进行地理申请
Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context
论文作者
论文摘要
人们渴望朝着更灵活和自动化的工厂发展。为了实现这一目标，我们需要确保这些动态工厂的安全。必须以不必要地限制系统并因此否定灵活性和自动化的好处的方式来实现此安全保证。我们以前使用安全合同开发了一种模块化安全保证方法，以实现这一目标。在此案例研究中，我们展示了如何将这种方法应用于动态工厂的一部分运行的自动引导车辆（AGV）以及为什么需要进行。我们通过经验评估商业，室内雾/边缘本地化技术，为实验室中的危险区域提供地理码。实验确定了AGV速度，TAG传输时间，控制软件和AGV功能等因素如何影响AGV在危险区域之外停止的能力。我们描述了如何使用这种方法来为AGV操作创建安全案例。
There is a desire to move towards more flexible and automated factories. To enable this, we need to assure the safety of these dynamic factories. This safety assurance must be achieved in a manner that does not unnecessarily constrain the systems and thus negate the benefits of flexibility and automation. We previously developed a modular safety assurance approach, using safety contracts, as a way to achieve this. In this case study we show how this approach can be applied to Autonomous Guided Vehicles (AGV) operating as part of a dynamic factory and why it is necessary. We empirically evaluate commercial, indoor fog/edge localisation technology to provide geofencing for hazardous areas in a laboratory. The experiments determine how factors such as AGV speeds, tag transmission timings, control software and AGV capabilities affect the ability of the AGV to stop outside the hazardous areas. We describe how this approach could be used to create a safety case for the AGV operation.
