用于检查有用数据处理的方法技术

根据不同实施例，描述了一种用于检查有用数据(ND0)处理的方法，包括：通过多个数据处理块(302、303、304)组成的序列将所述有用数据(ND0)与所述元数据一起处理，其中针对每个数据处理块(302、303、304)，根据被输送给所述数据处理块的有用数据版本而确定适配值，使得如果被输送给所述数据处理块的元数据数据版本被所述数据处理块(302、303、304)正确地处理成相应的处理结果，则所述处理结果在已经按照预给定的适配规则按照所述适配值被适配之后与被分配给所述数据处理块(302、303、304)的值(PK1、PK2、PKn)相等，并且每个数据处理块(302、303、304)处理其被输送的元数据版本，并且根据所述数据处理块的按照所述预给定的适配规则按照所述适配值所适配的处理结果由被输送给所述数据处理块的元数据版本而导出下一个元数据版本，并且通过检查所述元数据的最终版本是否与所述元数据的参考最终版本一致来检查所述有用数据(ND0)是否已被正确处理。

【技术实现步骤摘要】

本公开涉及用于检查有用数据处理的方法。

技术介绍

1、如今，安全关键型应用程序通常在为此目的开发的特殊硬件上执行。通常，由应用程序的安全要求产生对硬件的关于易出错性和错误率方面的要求，而这些要求通常不能通过非安全关键的、商业上广泛使用的硬件、例如处理器或工作存储器来保证。然而，目前存在如下目标：还是在非安全关键的硬件上运行安全关键应用程序，因为这通常明显更便宜且性能更强大。为了实现这一点，由软件仿真(emulieren)安全关键硬件的特定特性(feature)，例如锁步模式等。

2、例如，可以在多个独立的非安全关键系统上执行安全关键计算，然后可以比较它们的结果以检测可能的错误。在此类系统中，数据路径自然更加复杂，并且必须通过整个系统来确保遵循这些路径。因此，例如，在实际分析之前还必须对数据进行预处理的情况下，必须(通过所谓的程序流控制)经由安全关键的应用程序的多个处理模块而确保正确地遵循处理路径，以确保应用程序的正确执行。

3、因此，值得期望的是一种针对数据处理、特别是鉴于程序流方面的监控的有效方式，特别是对于分布式的可在运行时动态本文档来自技高网...

【技术保护点】

1.一种用于检查有用数据(ND0)的处理的方法，所述方法包括：

2.根据权利要求1所述的方法，其中对于每个数据处理块(302、303、304)，通过将函数应用于被输送给所述数据处理块的元数据版本以及所述数据处理块的已经利用适配值按照预给定的适配规则适配后的处理结果，从被输送给所述数据处理块的元数据版本导出下一个元数据版本。

3.根据权利要求2所述的方法，其中所述函数为循环冗余校验函数。

4.根据权利要求1至3中任一项所述的方法，其中每个数据处理块(302、303、304)根据处理有用数据(ND0)时通过的检查点来处理被输送给所述数据处理块的元数据版本，...

【技术特征摘要】

1.一种用于检查有用数据(nd0)的处理的方法，所述方法包括：

2.根据权利要求1所述的方法，其中对于每个数据处理块(302、303、304)，通过将函数应用于被输送给所述数据处理块的元数据版本以及所述数据处理块的已经利用适配值按照预给定的适配规则适配后的处理结果，从被输送给所述数据处理块的元数据版本导出下一个元数据版本。

3.根据权利要求2所述的方法，其中所述函数为循环冗余校验函数。

4.根据权利要求1至3中任一项所述的方法，其中每个数据处理块(302、303、304)根据处理有用数据(nd0)时通过的检查点来处理被输送给所述数据处理块的元数据版本，并且通过确定处理有用数据(nd0)时通过哪些检查点和/或通过的检查点数量有多少而确定所述适配值。

5.根据权利要求4所述的方法，其中，通过所述数据处理块(302、303、304)来迭代地处理被输送给所述数据处理块(302、303、304)的元数据版本，其方式为，针对所通过的每个检查点，所述元数据版本按照被分配给所述检查点的元数据处理值而被处理。

6.根据权利要求5所述的方法，其中通过所述数据处理块(302、303、304)来迭代地处理被输送给所述数据处理块(302、3...

【专利技术属性】
技术研发人员：F·黑斯，P·施耐德，S·盖布纳，V·舒马赫，
申请(专利权)人：罗伯特·博世有限公司，
类型：发明
国别省市：