公开(公告)号：CN109271286A

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

申请号：CN201810792419.3

申请日：2018-07-18

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

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

IPC: G06F11/16

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）来测试所述安全相关的系统。