-
公开(公告)号：CN105868060B
公开(公告)日：2020-11-10
申请号：CN201610078103.9
申请日：2016-02-04
Applicant: 罗伯特·博世有限公司
Inventor： T·施瓦茨 , M·弗里施科 , P·坎特 , T·耶格尔 , A-J·罗哈切克 , U·博伊特纳格尔-布赫纳 , B·米勒 , M·尼克纳哈德 , C·拉萨尔钦克 , T·库恩 , M·S·V·切比亚托夫斯基 , T·基希纳 , W·克尼 , K-P·马特恩 , S·阿马亚
IPC: G06F11/22
Abstract: 本发明涉及一种用于运行驾驶员辅助系统的数据处理单元(100)的方法(400)。所述数据处理单元(100)具有主计算机(102)和辅计算机(104)。所述主计算机(102)构造用于在使用处理规则(110)的情况下由周围环境检测装置(106)的周围环境信息(108)求取周围环境数据(112)。所述辅计算机(104)构造用于在使用通信规则(116)的情况下运行所述数据处理单元(100)的通信接口(114)。所述方法(400)具有初始化的步骤(402)、测试的第一步骤(404)、执行的步骤(406)、所述测试的第二步骤(408)和转发的步骤(410)。
-
公开(公告)号：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）来测试所述安全相关的系统。
-
公开(公告)号：CN105868060A
公开(公告)日：2016-08-17
申请号：CN201610078103.9
申请日：2016-02-04
Applicant: 罗伯特·博世有限公司
Inventor： T·施瓦茨 , M·弗里施科 , P·坎特 , T·耶格尔 , A-J·罗哈切克 , U·博伊特纳格尔-布赫纳 , B·米勒 , M·尼克纳哈德 , C·拉萨尔钦克 , T·库恩 , M·S·V·切比亚托夫斯基 , T·基希纳 , W·克尼 , K-P·马特恩 , S·阿马亚
IPC: G06F11/22
Abstract: 本发明涉及一种用于运行驾驶员辅助系统的数据处理单元(100)的方法(400)。所述数据处理单元(100)具有主计算机(102)和辅计算机(104)。所述主计算机(102)构造用于在使用处理规则(110)的情况下由周围环境检测装置(106)的周围环境信息(108)求取周围环境数据(112)。所述辅计算机(104)构造用于在使用通信规则(116)的情况下运行所述数据处理单元(100)的通信接口(114)。所述方法(400)具有初始化的步骤(402)、测试的第一步骤(404)、执行的步骤(406)、所述测试的第二步骤(408)和转发的步骤(410)。
-
公开(公告)号：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)。本发明还涉及一种计算机程序以及一种设备。
-
-
-
Search Results
4
records
(took 0.016 seconds)
