[发明专利]一种基于平行签名唯一性的多维度的冗余编码方法

权利要求书

1.一种基于平行签名唯一性的多维度的冗余编码方法，其特征在于，包括以下步骤：

1)将源码分为主程序部分和独立编码部分，首次编码时分别对两部分进行编码，后续修改仅对独立编码部分进行编码；

2)在每次修改源码后，需要重新编码，仅需对有修改的部分进行编码；

3)在保证平行签名唯一的基础上，配置主程序部分和独立编码部分公共变量及其对应位置的签名，配置非编码部分到编码部分输入变量及其签名，配置编码部分到非编码部分输出变量及其签名，配置用于数值计算的汇编宏代码。

2.根据权利要求1所述的一种基于平行签名唯一性的多维度的冗余编码方法，其特征在于，所述的首次编码时分别对两部分进行编码具体为：

编码过程中基于公共变量配置文件、输入输出变量配置文件、汇编宏配置文件和两套签名表，对主程序部分和独立编码部分进行平行编码，编码时公共变量、输入变量和输出变量按照配置文件中签名以及相应的规则进行编码，所有变量分配和计算签名后均会对签名进行唯一性检查，并调整有冲突的签名，直到所有被检查的变量签名唯一。

3.根据权利要求2所述的一种基于平行签名唯一性的多维度的冗余编码方法，其特征在于，所述的签名进行唯一性检查过程如下：

1)遇到变量声明或定义时，从签名表中为变量分配签名；若遇到数值计算，则计算数值变量的签名；

2)将所分配或计算的签名与签名表中已分配的签名以及当前保存变量签名的列表中的签名进行一致性检查；

3)如果发生冲突，则重新分配签名；

4)重复2)，3)步骤，直到分配的签名不与已有签名冲突；

5)根据分配的签名和变量数值域计算变量校验域。

4.根据权利要求2所述的一种基于平行签名唯一性的多维度的冗余编码方法，其特征在于，对于主程序部分和独立编码部分进行平行编码时，分别配置两套完全不同的签名表，同时两套签名表中的签名也均与所有配置文件中分配的签名不一致，保证了主程序部分和独立编码部分除公共变量，不会出现相同的签名分配。

5.根据权利要求2所述的一种基于平行签名唯一性的多维度的冗余编码方法，其特征在于，

对主程序部分内部的签名唯一性通过以下方式保证：编码过程中会对每个变量的最新签名和其他已保存的变量签名以及所有配置文件中已分配的签名进行冲突检测，若检测到冲突，则为变量重新分配签名，直到没有冲突为止；

对独立编码部分内部签名的唯一性通过以下方式保证：变量的签名分配和调整的签名都来自独立编码部分的签名表，签名表中使用过的签名不会重复使用。

6.根据权利要求2所述的一种基于平行签名唯一性的多维度的冗余编码方法，其特征在于，对于主程序部分与独立编码公共变量的平行签名唯一性通过以下方式保证：对主程序部分进行编码，若遇到独立编码部分的函数调用，在该函数调用的冗余代码之前调整其中的公共全局变量的签名为预先配置的入口签名，在函数调用之后，调整其中的全局变量的签名为预先配置的出口签名；对独立编码部分的函数进行编码时，如果遇到与主程序部分的公共全局变量，函数内与主程序部分公共全局变量的初始签名按照预先配置的入口签名进行编码。

7.根据权利要求2所述的一种基于平行签名唯一性的多维度的冗余编码方法，其特征在于，编码部分与非编码部分的平行签名唯一性通过以下方式来保证：遇到输入变量的定义或声明，按照预先配置的签名进行编码；编码结束时，将输出变量的签名调整为预先配置的输出签名；同时，在主程序和独立编码部分编码过程中，每次分配和计算新的签名，都会与配置的输入变量和输出变量的签名进行唯一性检查，保证输入变量和输出变量的签名与编码部分的签名唯一。

8.根据权利要求2所述的一种基于平行签名唯一性的多维度的冗余编码方法，其特征在于，整个冗余代码的签名唯一性通过以下方式来保证：主程序部分编码结束后，会将保存的所有变量各个时刻的签名与独立编码部分的签名表进行冲突检测，若检测到冲突，则对主程序部分的签名表顺序进行一定的调整，然后重新对主程序部分进行编码，直至无冲突出现，以保证不会与独立编码部分的签名出现冲突。