[发明专利]分析系统的实时能力的方法

说明书

技术领域

本发明涉及一种用于分析包括程序模块(任务)和/或电子电路模块的复杂分布式系统的时间响应的计算机实现方法。

背景技术

这样的系统包括以程序模块(任务)和/或电子电路模块形式的多个组件。所述组件互相通信并处理或转换数据。而且，这样的系统可以包括用于检测数据的传感器、用于与用户交互的模块、用于物理地影响环境或其他系统的致动器以及用于将信息发送给用户或环境的输出媒介。

接着，某些组件(执行资源)可以部分地执行一个或多个程序模块。如果执行较多模块，则可以利用序列规划方法或排程方法为单个模块指定执行时间的顺序或分配。

执行的排程方法可能是静态排程方法以及动态排程方法，在静态排程方法中，静态地确定待执行的模块的执行顺序和执行时间的分配，在动态排程方法中，根据与以下有关的预定策略来确定顺序和执行时间分配：取决于待处理的数据的运行时间、其他模块的执行、环境和/或用户交互。

这样的系统和组件可能对时间要求严格，因为它们不仅对正确地确定结果和控制决策有要求，还对检测时间段以及提供结果的时间点有要求。这样的要求的示例为确定结果的最大延迟时段或者对值、传感器或输入数据的变化保证的响应时间。然而，这样的要求还可能在定期的时间延迟中或固定的时间范围内提供新的计算结果。

模块可以通过通信线路互相激活和/或同时交换数据。为了模拟所述通信线路或激活线路，已开发出大量事件模型。这样的关系可以通过例如仅单一周期、一个周期和抖动、事件流[Gresser：Echtzeitnachweis Ereignisgesteueter Realzeitsysteme，M üchen 1993，(通过引用方式并入本文)]或者分层事件流(参见WO2008/003427)来模拟。很多其他的事件模型也是可能的。

就实时系统的分析而论，重要的是尽可能地接近真实系统中的变化过程。在实际嵌入系统中，各种组件和任务在很大程度上是隐含地互相联系的，其并不包括执行场景，但在实时分析中，执行场景不能被排除在外，而不必考虑这些相关性。因此，实时分析可能产生更保守的结果，比如最大反应时间(响应时间)比真实系统所需的最大反应时间长。

在目前的实时分析中，考虑一系列的相关性。然而，这总是需要具体地扩展用于精确考虑所需的相关性的类型的分析算法。因此，在分析中考虑新类型的相关性是复杂的。而且，目前的实时分析方法仅涵盖部分相关性。

因此，有利的是将相关性的确定和模拟与实际的实时分析分开的机制。因此，在实时分析中，仅需要考虑此抽象相关性模型以考虑可以确定所述抽象模型的所有相依关系。

发明内容

根据本发明，建议了限制串件流这样的机制。

根据第一方面，本发明提供了一种用于分析系统的实时能力的计算机实现方法，所述系统具体而言是计算机系统，在该系统上提供各种任务，

其中所述任务被重复执行，以及

其中任务的执行是由该任务的启动触发的，这表示所述任务的事件，

其中提供多个描述性要素以将事件的时间关联描述为事件流，

其中所述事件流可以检测事件的最大时间密度和/或事件的最小时间密度，

且其中有至少另一描述性要素，许多事件流分配给所述至少另一描述性要素，且该至少另一描述性要素描述由至少两个事件流获取的全部事件的时间关联。

所述至少另一描述性要素描述限制事件流。

优选的是，所述至少另一描述性要素或限制事件流中的至少一个描述由至少两个事件流获取的全部事件的最大时间关联，其中对于至少一时间区间(dt)，所述限制事件流在dt中所允许的事件的数量小于非限制事件流在dt中所允许的事件的和。

所述至少另一描述性要素或限制事件流的至少一个优选地描述由至少两个事件流获取的全部事件的最小时间关联，其中对于至少一时间区间(dt)，所述限制事件流在dt中所允许的事件的数量大于所述非限制事件流在dt中所允许的事件之和。

所述系统优选地被分配有至少一个组件或资源，所述组件中的至少一个被分配有至少两个任务。

优选地，至少两个任务组成一个组，一组中的任务分配给一资源，所述任务为所述资源竞争或者此组的任务仅可以在不同的时间处理所述资源，所述系统包括用以确定所述资源被分配给所述组中的某一任务的时间点的方法。