-
公开(公告)号：CN118152258A
公开(公告)日：2024-06-07
申请号：CN202311677037.3
申请日：2023-12-07
Applicant: 罗伯特·博世有限公司
IPC: G06F11/36
Abstract: 提出一种计算机实现的用于验证自动化驾驶功能的基于软件的行为规划器的方法和系统，方法具有步骤：提供验证环境模型，用于根据能够预给定的交通场景限制行为规划器的状态空间；提供形式化要求作为行为规划器的判断的正确性的标准；在考虑所提供的验证环境模型的情况下产生行为规划器的模型检查器表示；借助模型检查方法在形式化要求方面分析模型检查器表示。借助验证环境模型确定预给定的交通场景的参与者的至少一个地点和/或运动参数的在物理上有意义的至少一个参数区间。在分析行为规划器的模型检查器表示时考虑至少一个参数区间：模型检查方法系统地对参数区间采样，针对预给定的交通场景的可能的时间和地点发展的代表性选择检查行为规划器。
-
公开(公告)号：CN118152257A
公开(公告)日：2024-06-07
申请号：CN202311674528.2
申请日：2023-12-07
Applicant: 罗伯特·博世有限公司
IPC: G06F11/36
Abstract: 提出一种计算机实现的用于生成用于计算机实现的自动化驾驶功能的测试数据的方法和系统，该方法具有下述步骤：以软件部件的形式提供计算机实现的自动化驾驶功能；预给定具有边界条件的环境模型，该边界条件限制软件部件的状态空间；提供软件部件的模型检查器表示，该模型检查器表示受到环境模型的限制；预给定形式化要求作为用于模型检查方法的输入；将模型检查方法应用到所述模型检查器表示上，用于在遵守预给定的形式化要求方面对软件部件进行分析。在不遵守所述预给定的形式化要求的情况下，模型检查方法提供软件部件的有助于所述不遵守的状态和状态过渡作为边界情况参数。然后，根据本发明，基于边界情况参数生成测试数据。
-
公开(公告)号：CN117454356A
公开(公告)日：2024-01-26
申请号：CN202310928219.7
申请日：2023-07-26
Applicant: 罗伯特·博世有限公司
IPC: G06F21/44
Abstract: 提出一种用于验证自动化驾驶功能的软件组件的计算机实现的方法，其具有步骤：将本地程序代码编译为待验证的软件组件的模型检查器表示，利用模型检查方法来分析待验证的软件组件的模型检查器表示。在此，待验证的软件组件的本地程序代码限于所使用的编程语言的定义为允许的操作的集合。根据本发明，分析待验证的软件组件的本地程序代码，以便识别独立的指令序列，一个独立的指令序列由设置至少两个变量的连贯次序的程序指令构成，一个独立的指令序列的至少一个结果与执行其程序指令的顺序无关。然后，将本地程序代码的至少一个独立的指令序列的变量在待验证的软件组件的模型检查器表示中同时设置。还提出一种程序产品和一种计算机实现的系统。
-
公开(公告)号：CN114911582A
公开(公告)日：2022-08-16
申请号：CN202210122440.9
申请日：2022-02-09
Applicant: 罗伯特·博世有限公司
Abstract: 提出一种用于控制在自动化的或者自主的车辆中的多种驾驶功能的方法、一种构造用于实施所述方法的控制单元、一种计算机程序以及一种机器可读的存储器介质，所述计算机程序存储在所述机器可读的存储器介质上。所述方法设置，所述多种驾驶功能分别由有限状态机说明。至少一个有限状态机是摩尔型的并且包括具有有限量的状态的结构。所述状态通过边相互连接，其中，一条边定义从一种初始状态到来自所述有限量的状态的一种目标状态的转换，其方式是，所属的边条件是真或者是假。所述有限状态机基于所述结构在运行时是能访问的，从而实现对所述状态和所述边的访问，以便改变所述状态和/或所述边。
-
-
-
Search Results
4
records
(took 0.017 seconds)
