公开(公告)号：CN118152258A

公开(公告)日：2024-06-07

申请号：CN202311677037.3

申请日：2023-12-07

Applicant: 罗伯特·博世有限公司

Inventor： L·柯尼希 ,  M·汉泽尔曼 ,  M·梅塞尔

IPC: G06F11/36

Abstract: 提出一种计算机实现的用于验证自动化驾驶功能的基于软件的行为规划器的方法和系统，方法具有步骤：提供验证环境模型，用于根据能够预给定的交通场景限制行为规划器的状态空间；提供形式化要求作为行为规划器的判断的正确性的标准；在考虑所提供的验证环境模型的情况下产生行为规划器的模型检查器表示；借助模型检查方法在形式化要求方面分析模型检查器表示。借助验证环境模型确定预给定的交通场景的参与者的至少一个地点和/或运动参数的在物理上有意义的至少一个参数区间。在分析行为规划器的模型检查器表示时考虑至少一个参数区间：模型检查方法系统地对参数区间采样，针对预给定的交通场景的可能的时间和地点发展的代表性选择检查行为规划器。

公开(公告)号：CN116893935A

公开(公告)日：2023-10-17

申请号：CN202310335065.0

申请日：2023-03-30

Applicant: 罗伯特·博世有限公司

Inventor： C·海因策曼 ,  L·柯尼希 ,  M·汉泽尔曼

IPC: G06F11/22 ,  G06F11/07

Abstract: 提出了一种用于验证自动化驾驶功能的至少一个软件组件的计算机实现的方法，其中，待验证的软件组件包括使用至少一个传感器(1，2)的传感器信息的至少一个功能。根据本发明的方法包括以下步骤：a.提供所述待验证的软件组件的模型(3)，b.提供用于所述至少一个传感器(1，2)的至少一个传感器性能模型(13，23)，c.生成整体模型(4)，其中，所述至少一个传感器性能模型(13，23)与所述待验证的软件组件的所述模型(3)相结合，d.借助模型检查方法来分析所述整体模型(4)。

公开(公告)号：CN118152257A

公开(公告)日：2024-06-07

申请号：CN202311674528.2

申请日：2023-12-07

Applicant: 罗伯特·博世有限公司

Inventor： L·柯尼希 ,  M·梅塞尔 ,  M·汉泽尔曼

IPC: G06F11/36

Abstract: 提出一种计算机实现的用于生成用于计算机实现的自动化驾驶功能的测试数据的方法和系统，该方法具有下述步骤：以软件部件的形式提供计算机实现的自动化驾驶功能；预给定具有边界条件的环境模型，该边界条件限制软件部件的状态空间；提供软件部件的模型检查器表示，该模型检查器表示受到环境模型的限制；预给定形式化要求作为用于模型检查方法的输入；将模型检查方法应用到所述模型检查器表示上，用于在遵守预给定的形式化要求方面对软件部件进行分析。在不遵守所述预给定的形式化要求的情况下，模型检查方法提供软件部件的有助于所述不遵守的状态和状态过渡作为边界情况参数。然后，根据本发明，基于边界情况参数生成测试数据。

公开(公告)号：CN117454356A

公开(公告)日：2024-01-26

申请号：CN202310928219.7

申请日：2023-07-26

Applicant: 罗伯特·博世有限公司

Inventor： M·梅塞尔 ,  L·柯尼希 ,  M·汉泽尔曼

IPC: G06F21/44

Abstract: 提出一种用于验证自动化驾驶功能的软件组件的计算机实现的方法，其具有步骤：将本地程序代码编译为待验证的软件组件的模型检查器表示，利用模型检查方法来分析待验证的软件组件的模型检查器表示。在此，待验证的软件组件的本地程序代码限于所使用的编程语言的定义为允许的操作的集合。根据本发明，分析待验证的软件组件的本地程序代码，以便识别独立的指令序列，一个独立的指令序列由设置至少两个变量的连贯次序的程序指令构成，一个独立的指令序列的至少一个结果与执行其程序指令的顺序无关。然后，将本地程序代码的至少一个独立的指令序列的变量在待验证的软件组件的模型检查器表示中同时设置。还提出一种程序产品和一种计算机实现的系统。

公开(公告)号：CN114312795A

公开(公告)日：2022-04-12

申请号：CN202111168249.X

申请日：2021-09-29

Applicant: 罗伯特·博世有限公司

Inventor： M·汉泽尔曼 ,  D·阿贝 ,  M·乌尔曼

IPC: B60W40/02 ,  G06N20/00

Abstract: 提出一种用于评估用于在移动平台的周围环境中控制至少部分自动化的移动平台的第一方法的方法，该方法具有以下步骤：借助第一方法针对周围环境的场景确定控制动作；确定借助第一方法确定控制动作的置信值；如果所确定的置信值小于信任值，则确定移动平台的周围环境的场景的表示，以便以该场景评估第一方法。还提出一种评估设备、一种计算机程序以及一种机器可读的存储介质。

公开(公告)号：CN107919015A

公开(公告)日：2018-04-17

申请号：CN201710943033.3

申请日：2017-10-11

Applicant: 罗伯特·博世有限公司

Inventor： M·汉泽尔曼

IPC: G08G1/01 ,  G08G1/14

CPC classification number: G08G1/148 ,  B60W30/06 ,  B62D15/027 ,  B62D15/0285 ,  G08G1/144 ,  G08G1/146 ,  G08G1/0137 ,  G08G1/14

Abstract: 本发明涉及一种停车空间管理系统(10)，其包括计算单元(12)。所述停车空间管理系统(10)设立成用于监视预先给定的停车空间(90)的占用状态并且响应借助通信连接接收到的、使用者(50)的泊入询问给所述使用者(50)的车辆(20)指定停车位(40)，并且借助所述通信连接将所述指定的停车位(40)的位置数据传输给所述车辆(20)。根据本发明，所述停车空间管理系统(10)设立成用于在起始时间点开始所述车辆(20)的泊出过程，其中，所述车辆(20)尤其自主地或远程控制地运动到预先给定的提取位置(35)，其中，根据基于所述使用者(50)的日常行迹所确定的提取时间通过所述计算单元(12)计算所述起始时间点。