[发明专利]用于配置自动化系统的方法

权利要求书

1.一种用于借助于处理单元对自动化系统进行计算机实现的配置的方法，自动化系统具有适于向软件系统分配资源的多个计算节点（ECU1、ECU2、FCCS），所述方法包括以下步骤：

a）在处理单元处接收（S1）计算机生成的排序约束数据集（SQ1，SQ2），所述排序约束数据集（SQ1，SQ2）描述了将在自动化系统上执行的软件系统，并且包括分布在多个计算节点（ECU1，ECU2，FCCS）之上的软件组件（SW1-SW3）和可运行功能实体（P211-P213）以及可运行功能实体（P211-P213）的时序、排序和并发性信息；

b）由处理单元从排序约束数据集（SQ1，SQ2）生成（S2）转移矩阵（P1，P2），所述转移矩阵（P1，P2）具有多个矩阵元素，它们中的每个通过转移值描述从一个可运行功能实体到另一个可运行功能实体的转移；

c）在处理单元处接收（S3）计算机生成的通信矩阵，所述计算机生成的通信矩阵描述在自动化系统中的计算节点（ECU1，ECU2，FCCS）之间的通信链路；

d）由处理单元从排序约束数据集（SQ1，SQ2）和通信矩阵中生成（S4）马尔可夫链（MC1，MC2，MC）；

e）由处理单元从马尔可夫链（MC1，MC2，MC）生成（S5）分布函数，所述分布函数针对软件组件（SW1-SW3）和可运行功能实体（P211-P213）的特定时序分布，描述要分配给软件组件（SW1-SW3）和可运行功能实体（P211-P213）的计算节点（ECU1，ECU2，FCCS）的资源；

f）由处理单元通过公式化和解决约束优化问题以精确找到时序要求来优化（S6）资源分配。

2.根据权利要求1所述的方法，其中步骤a）和步骤c）可以并行处理，随后是接着步骤a）的步骤b）。

3.根据权利要求1或2所述的方法，其中计算机生成的排序约束数据集（SQ1，SQ2）是从将自动化系统表示为统一图形符号的因子图中生成的。

4.根据前述权利要求中的一项所述的方法，其中计算机生成的排序约束数据集（SQ1，SQ2）包括每对可运行功能实体（P211-P213）的边的描述。

5.根据前述权利要求中的一项所述的方法，其中计算机生成的排序约束数据集（SQ1，SQ2）对于每对可运行功能实体（P211-P213）包括：

- 通信的方向，

- 从其发起通信的可运行功能实体和作为通信接收方的可运行功能实体的标识符，

- 通信信号的标识符，

- 在通信中牵涉到的一个或多个计算节点（ECU1，ECU2，FCCS）。

6.根据前述权利要求中的一项所述的方法，其中通信矩阵描述了在计算节点（ECU1，ECU2，FCCS）之间的消息交换连同包含在消息中的信号。

7.根据前述权利要求中的一项所述的方法，其中根据通信矩阵，可运行功能实体中的每个可以被分配给自动化系统的特定计算节点。

8.根据前述权利要求中的一项所述的方法，其中转移矩阵（P1，P2）从排序约束数据集（SQ1，SQ2）中生成，其中通信矩阵添加所述矩阵元素中的哪一个属于所述计算节点（ECU1，ECU2，FCCS）中的哪一个的信息。

9.根据前述权利要求中的一项所述的方法，其中每个可运行功能实体具有与其相关联的指示其执行时间的时序分布，其中在步骤e）中获得的分布函数是通过借助于蒙特卡罗模拟改变执行时间以迭代方式生成的，以预测软件系统的时序特性。

10.根据前述权利要求中的一项所述的方法，其中所述转移矩阵（P1，P2）的矩阵元素包括表示每个可运行功能实体的时序行为的执行时序信息。

11.根据权利要求10所述的方法，其中从所述转移矩阵获得每个计算节点的时序序列图。