摘要
配备自动驾驶系统的公共交通车辆面临着许多期望:除了其他方面,它们的运行应安全、遵守交通规则并为用户提供出行便利。这对此类系统的开发人员提出了挑战:开发人员负责在系统设计时指定此行为,例如,以需求的形式。正如我们将在本文中讨论的,这种规范总是涉及对假设和权衡的需求。因此,这种行为规范可能存在不足,这可能导致潜在的不安全系统行为。为了支持识别规范不足,需要明确需求和相应的假设。在本文中,我们提出了语义规范行为分析作为一种基于本体的方法,用于指定配备自动驾驶系统的车辆的行为。我们使用本体来正式表示针对目标运行环境的指定行为,并建立指定行为与所解决的利益相关者需求之间的可追溯性。此外,我们通过两个示例场景说明了语义规范行为分析在德国法律环境中的应用,并评估了我们的结果。我们的评估表明,行为规范中假设的明确记录支持识别规范不足及其处理。因此,本文提供了要求、术语和相应的方法,以促进自动驾驶中基于本体的行为规范。