-
公开(公告)号：CN114201937A
公开(公告)日：2022-03-18
申请号：CN202111093122.6
申请日：2021-09-17
Applicant: 罗伯特·博世有限公司
IPC: G06F30/3323
Abstract: 本发明涉及一种用于测试技术系统、尤其是安全性相关的技术系统的计算机实现的方法(100)，所述技术系统尤其包括软件组件和/或硬件组件，其中，所述方法包括以下步骤：提供(110)所述技术系统的模型(200)；提供(120)对所述技术系统的要求(A，G)的集合；将相应的要求(A，G)转换为至少一个形式逻辑的至少一个形式表达，其中，基于所述要求(A，G)的特性从包括至少两个形式逻辑的逻辑集合(L)中选择(130)所述形式逻辑；检验(150)所述模型(200)是否满足相应的要求(A，G)，其中，通过实施用于相应的形式表达的至少一个程序求解器来进行所述检验(150)。本发明还涉及一种计算机程序以及一种设备。
-
公开(公告)号：CN116643781A
公开(公告)日：2023-08-25
申请号：CN202310143469.X
申请日：2023-02-20
Applicant: 罗伯特·博世有限公司
Abstract: 按照各种实施方式，描述了一种用于控制机器人装置的方法，其中对于控制软件的不是该控制软件的对其来说由测试提供的测试值至少部分地没有处在指定范围内的该第一版本的版本来说，检查该控制软件的该版本是否满足如下安全标准，这些安全标准是针对对其来说由这些测试提供的测试值至少部分地没有处在这些指定范围内但是却安全的先前版本所创建的(并且是被该先前版本所满足的)。如果情况如此，则利用该控制软件的该版本来控制该机器人装置。
-
公开(公告)号：CN109271286A
公开(公告)日：2019-01-25
申请号：CN201810792419.3
申请日：2018-07-18
Applicant: 罗伯特·博世有限公司 , 弗劳恩霍夫应用研究促进协会
IPC: G06F11/16
Abstract: 一种配置至少一个执行单元以识别其运行状态的方法，包括：分配应用软件的第一副本以在至少一个执行单元的至少一个计算核上根据至少一个执行单元的至少一个硬件或操作系统的信息而执行；分配第二副本以在至少一个计算核上根据至少一个硬件或操作系统的信息而执行；分配至少一个比较逻辑以在至少一个计算核上执行以将第一副本的执行的第一结果的第一信息与第二副本的执行的第二结果的第二信息比较以确定比较结果；配置识别逻辑以在至少一个计算核上执行以根据比较结果识别运行状态；配置接口以在至少一个计算核上执行以读取第一信息和第二信息，接口提供来自至少一个执行单元的至少一个存储器的第一信息和第二信息，以与硬件和操作系统无关地访问。
-
公开(公告)号：CN117719533A
公开(公告)日：2024-03-19
申请号：CN202311204621.7
申请日：2023-09-18
Applicant: 罗伯特·博世有限公司
Abstract: 本发明涉及一种用于基于触发事件和安全度量改进至少部分自动移动的车辆的安全预防措施的方法，包括：如果在某一时刻在车辆中满足一个安全度量，则从多个至少部分自动移动的车辆中的一个或每个车辆获得(220)场景信息和安全度量信息；确定(240)在该时刻存在的场景的至少一个安全度量的相关性分布，其中相关性分布说明在该场景下满足或曾满足相应安全度量的频率；将确定的相关性分布与定义了触发事件的至少一个已经存在的场景的相关性分布比较(250)；如果在该时刻存在的场景的相关性分布与定义了触发事件的至少一个已经存在的场景的相关性分布在预给定限制内一致，则将该时刻存在的场景确定(260)为潜在触发事件；以及提供(262)关于潜在触发事件的信息。
-
公开(公告)号：CN114940187A
公开(公告)日：2022-08-26
申请号：CN202210146198.9
申请日：2022-02-17
Applicant: 罗伯特·博世有限公司
Abstract: 一种用于对自动化车辆(10)的周围环境建模的方法，其中，持续地从车辆自身的和/或车辆外部的多个当前可用的信息源(1，2，3)接收环境信息，其中，每个信息源提供一个或多个环境信息以供使用，其中，每个环境信息配属有形式假设和形式保证，其中，如果相应的配属于环境信息的形式假设被满足，则保证该环境信息满足其所配属的形式保证，其中，每个信息源向由其所提供的环境信息提供所配属的形式假设和形式保证以供使用，其中，借助所接收到的环境信息和所配属的假设和保证来该车辆的周围环境的至少一个世界模型(51)，以这种方式：在给定的时间点，仅当配属于环境信息的形式假设在该时间点被满足时，才将该环境信息用于计算世界模型。
-
Patent Agency Ranking
公开(公告)号：CN110582751A
公开(公告)日：2019-12-17
申请号：CN201880029110.7
申请日：2018-03-21
Applicant: 罗伯特·博世有限公司
Abstract: 一种包括多个处理装置和一个比较装置的处理系统。一种用于控制该处理系统的方法，所述方法包括以下步骤：通过该处理装置借助所分配的处理方法对相同的输入信息进行处理；分别根据所进行的处理提供每个处理方法的特征参量；借助比较装置比较所述特征参量；以及基于所述比较来确定错误地工作的处理方法。在此，通过在相同处理装置上重新启动的处理方法取代错误地工作的处理方法。
-
公开(公告)号：CN110582751B
公开(公告)日：2024-06-11
申请号：CN201880029110.7
申请日：2018-03-21
Applicant: 罗伯特·博世有限公司
Abstract: 一种包括多个处理装置和一个比较装置的处理系统。一种用于控制该处理系统的方法，所述方法包括以下步骤：通过该处理装置借助所分配的处理方法对相同的输入信息进行处理；分别根据所进行的处理提供每个处理方法的特征参量；借助比较装置比较所述特征参量；以及基于所述比较来确定错误地工作的处理方法。在此，通过在相同处理装置上重新启动的处理方法取代错误地工作的处理方法。
-
公开(公告)号：CN117111570A
公开(公告)日：2023-11-24
申请号：CN202310581281.3
申请日：2023-05-22
Applicant: 罗伯特·博世有限公司
IPC: G05B23/02
Abstract: 本发明涉及一种基于触发事件和安全指标而验证针对至少部分地自动移动的车辆的安全预防措施的方法，包括：如果在某个时间点时在车辆中满足被分配给所述车辆的多个触发事件中的一个或至少一个，和/或被分配给所述车辆的多个安全指标中的一个或至少一个超过或低于极限值，则从至少部分地自动移动的多个车辆中的一个或每个车辆获得所述时间点时存在和/或所检测的车辆的运行数据，特别是与所述触发事件和/或安全指标有关的运行数据；分析所获得的运行数据，其中确定以超过预给定的频率出现的触发事件和/或关于所述一个或多个至少部分地自动移动的车辆的静态和/或动态车辆数据的安全指标的相关性；并提供所确定的相关性。
-
-
公开(公告)号：CN113934580A
公开(公告)日：2022-01-14
申请号：CN202110716794.1
申请日：2021-06-28
Applicant: 罗伯特·博世有限公司
IPC: G06F11/22
Abstract: 本发明涉及一种用于测试技术系统、尤其是安全相关的技术系统的方法（100），该系统尤其包括软件，其中该系统通过包括至少两个或更多个组件（210、220）的模型（200）来表示，而且通过安全合约规定了相应的组件（210、220）关于安全相关的系统方面的假设（A）以及相应的组件（210、220）对所述安全相关的系统的保证（G），其特征在于，在一个步骤（110）中基于至少一个假设（A）并且基于至少一个保证（G）来产生可执行的程序代码（C），并且在接下来的步骤（120）中通过执行该程序代码（C）来测试所述安全相关的系统。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.02 seconds)
