公开(公告)号：CN109271286A

公开(公告)日：2019-01-25

申请号：CN201810792419.3

申请日：2018-07-18

Applicant: 罗伯特·博世有限公司 ,  弗劳恩霍夫应用研究促进协会

Inventor： M·利斯伯格 ,  P·蒙克 ,  E·M·塔登 ,  M·施韦泽 ,  C·德罗普曼 ,  J·贾西奇 ,  D·尤克尔 ,  C·佩珀

IPC: G06F11/16

Abstract: 一种配置至少一个执行单元以识别其运行状态的方法，包括：分配应用软件的第一副本以在至少一个执行单元的至少一个计算核上根据至少一个执行单元的至少一个硬件或操作系统的信息而执行；分配第二副本以在至少一个计算核上根据至少一个硬件或操作系统的信息而执行；分配至少一个比较逻辑以在至少一个计算核上执行以将第一副本的执行的第一结果的第一信息与第二副本的执行的第二结果的第二信息比较以确定比较结果；配置识别逻辑以在至少一个计算核上执行以根据比较结果识别运行状态；配置接口以在至少一个计算核上执行以读取第一信息和第二信息，接口提供来自至少一个执行单元的至少一个存储器的第一信息和第二信息，以与硬件和操作系统无关地访问。

公开(公告)号：CN115033372A

公开(公告)日：2022-09-09

申请号：CN202210196944.5

申请日：2022-03-02

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

Inventor： T·格尔曼 ,  A·埃尔 ,  A·瑙尔兹 ,  E·M·塔登 ,  M·施维泽尔 ,  P·蒙克

IPC: G06F9/50

Abstract: 一种例如针对车辆的用于处理数据的方法、例如计算机实现的方法，例如用于在云计算和/或边缘计算领域应用，所述方法具有：在使用至少两个不同的硬件资源的情况下提供多个计算服务；使用所述多个计算服务。

公开(公告)号：CN113934580A

公开(公告)日：2022-01-14

申请号：CN202110716794.1

申请日：2021-06-28

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

Inventor： A·诺德曼 ,  P·蒙克 ,  A-J·罗哈切克 ,  E·M·塔登 ,  L·高尔霍夫 ,  M·施韦泽

IPC: G06F11/22

Abstract: 本发明涉及一种用于测试技术系统、尤其是安全相关的技术系统的方法（100），该系统尤其包括软件，其中该系统通过包括至少两个或更多个组件（210、220）的模型（200）来表示，而且通过安全合约规定了相应的组件（210、220）关于安全相关的系统方面的假设（A）以及相应的组件（210、220）对所述安全相关的系统的保证（G），其特征在于，在一个步骤（110）中基于至少一个假设（A）并且基于至少一个保证（G）来产生可执行的程序代码（C），并且在接下来的步骤（120）中通过执行该程序代码（C）来测试所述安全相关的系统。

公开(公告)号：CN119086809A

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

申请号：CN202410718027.8

申请日：2024-06-04

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

Inventor： P·诺尔特 ,  E·M·塔登 ,  P·N·M·库马尔 ,  W·陈

IPC: G01N33/00

Abstract: 用于确定相关函数的方法、用于气体确定的方法和气体传感器。本发明涉及用于确定利用气体传感器(100)使用的相关函数的方法，包括：提供(300)测试测量值(302)，所述测试测量值借助气体传感器从一个或多个不同的特定气体气氛中的一个或多个不同检查物质所检测；提供(310)参考测量值(312)，所述参考测量值借助参考气体传感器从一个或多个不同气体气氛中的一个或多个不同检查物质所检测；从所述测试测量值和所述参考测量值确定(320)相关函数(322)，其中所述相关函数将所述气体传感器的测量值映射到所述参考气体传感器的测量值；以及提供(330)所述相关函数，用于利用所述气体传感器和/或在所述一个或另一参考气体传感器上训练的机器学习模型使用。

公开(公告)号：CN114201937A

公开(公告)日：2022-03-18

申请号：CN202111093122.6

申请日：2021-09-17

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

Inventor： A·诺德曼 ,  P·蒙克 ,  A-J·罗哈切克 ,  E·M·塔登 ,  L·高尔霍夫 ,  M·施魏策尔

IPC: G06F30/3323

Abstract: 本发明涉及一种用于测试技术系统、尤其是安全性相关的技术系统的计算机实现的方法(100)，所述技术系统尤其包括软件组件和/或硬件组件，其中，所述方法包括以下步骤：提供(110)所述技术系统的模型(200)；提供(120)对所述技术系统的要求(A，G)的集合；将相应的要求(A，G)转换为至少一个形式逻辑的至少一个形式表达，其中，基于所述要求(A，G)的特性从包括至少两个形式逻辑的逻辑集合(L)中选择(130)所述形式逻辑；检验(150)所述模型(200)是否满足相应的要求(A，G)，其中，通过实施用于相应的形式表达的至少一个程序求解器来进行所述检验(150)。本发明还涉及一种计算机程序以及一种设备。