[发明专利]用于影响控制程序的方法和建模系统

权利要求书

1.一种用于影响控制器(ECU)的控制程序(STP)的方法，所述控制程序具有多个第一函数(F1A、F1B、F1C、……、F1N)和分配给第一函数(F1A、F1B、F1C、……、F1N)的子程序，所述多个第一函数(F1A、F1B、F1C、……、F1N)中的至少一个第一函数构造成用于控制执行器，并且所述控制器(ECU)具有第一存储器(SP1)用于存放控制程序(STP)，所述控制程序(STP)作为二进制的程序代码存在，在控制程序(STP)的程序代码中在其中一个第一函数(F1A、F1B、F1C、……、F1N)的调用处存在转移地址并且所述转移地址指向与该函数调用相关联的第一函数的存储器地址，并且所述第一函数作为二进制的程序代码的序列存在，在子程序的程序代码的序列的末尾处存在返回指令连同分配给该返回指令的返回地址，并且所述第一函数的程序代码的序列包含第一数量的变量访问并给每个变量访问分配一个存储器地址，并且给至少一个变量分配名称和第一值，其特征在于，检查控制程序(STP)的程序代码并确定包含在控制程序(STP)的程序代码中的函数调用相关联的转移地址以及确定与相应的第一函数(F1A、F1B、F1C、……、F1N)相关联的变量连同所述变量相应的存储器地址，并将所确定的第一函数(F1A、F1B、F1C、……、F1N)和与相应的第一函数(F1A、F1B、F1C、……、F1N)相配的变量连同相关联的存储器地址存储在第一分配表(ZUORD1)中，并通过第一分配表(ZUORD1)与预先规定的第二分配表(ZUORD2)的比较，给第一函数(F1A、F1B、F1C、……、F1N)的至少一部分分配函数名，并用第二值替代其中一个变量的至少一个第一值。

2.根据权利要求1所述的方法，其特征在于，在检查控制程序(STP)的程序代码时，对于相应的变量分别确定相配的读访问或相配的写访问并将其存储到第一分配表(ZUORD1)中，在比较时，检查与变量相配的读访问和写访问的一致性。

3.根据权利要求1或2所述的方法，其特征在于，在第二分配表(ZUORD2)中，给第一函数(F1A、F1B、F1C、……、F1N)的至少一部分分别分配一个函数名和多个变量，并且给每个所述变量分配一个存储器地址。

4.根据权利要求3所述的方法，其特征在于，在比较时，对于存储在第一分配表(ZUORD1)中的第一函数(F1A、F1B、F1C、……、F1N)，根据至少在两个分配表中分别在相应第一函数(F1A、F1B、F1C、……、F1N)下存储的变量的数量和地址方面的一致性程度来指派函数名。

5.根据权利要求4所述的方法，其特征在于，仅在完全一致时才自动执行函数名的指派。

6.根据权利要求4所述的方法，其特征在于，在指派函数名之前，如果在比较时，一致性程度低于阈值，则对于第一分配表(ZUORD1)的一个第一函数(F1A、F1B、F1C、……、F1N)执行手动指派。

7.根据权利要求6所述的方法，其特征在于，只有当在比较时一致性程度超过阈值时，才执行自动指派。

8.根据权利要求7所述的方法，其特征在于，只有当在比较时函数的一致性程度超过第一阈值并且一致性次佳的函数的一致性程度低于第二阈值时，才执行自动指派。

9.根据权利要求6所述的方法，其特征在于，如果对于所有第一函数(F1A、F1B、F1C、……、F1N)，一致性程度都没有等于阈值或超过阈值，通过建模系统(MODSYS)输出消息。

10.根据权利要求1所述的方法，其特征在于，通过建模系统(MODSYS)选出一个已经分配了函数名的第一函数(F1A、F1B、F1C、……、F1N)，并且使所选出的第一函数(F1A、F1B、F1C、……、F1N)的函数调用失效和/或用第二函数替代该第一函数(F1A、F1B、F1C、……、F1N)。

11.根据权利要求1或2所述的方法，其特征在于，第二分配表(ZUORD2)设计成ASAP2文件的形式。

12.根据权利要求1所述的方法，其特征在于，对出现函数调用检查控制程序(STP)的程序代码。