[发明专利]一种基于有限状态机的火星车主从软件自动更新方法

权利要求书

1.一种基于有限状态机的火星车主从软件自动更新方法，其特征在于步骤如下：

(1)确定火星车主从软件在轨更新方式；

(2)根据主软件、从软件的大小，以及在RAM中开辟的缓存空间大小，确定一次在轨更新需要进行的两段更新操作的次数，即由上注程序FLASH暂存区更新到RAM缓存区，再由RAM缓存区更新到软件存储区的次数；

(3)确定主从软件自动更新过程中的各种状态以及激励条件，建立有限状态机；

(4)收到在轨更新指令后，进入到有限状态机中，根据当前状态以及激励条件，进行状态迁移，完成主从软件自动更新；

所述步骤(1)的具体过程为：根据用户需求，结合主软件、从软件分别三份冗余存储的存储方式，即主软件1、主软件2、主软件3，互为备份；从软件1、从软件2、从软件3，互为备份，共设计以下12种在轨更新方式；

所述12种在轨更新方式具体为：

方式1：仅更新主软件1；

方式2：仅更新从软件1；

方式3：更新主软件1和从软件1；

方式4：仅更新主软件2；

方式5：仅更新从软件2；

方式6：更新主软件2和从软件2；

方式7：仅更新主软件3；

方式8：仅更新从软件3；

方式9：更新主软件3和从软件3；

方式10：更新主软件1、主软件2、主软件3；

方式11：更新从软件1、从软件2、从软件3；

方式12：更新主软件1、主软件2、主软件3、从软件1、从软件2、从软件3；

所述步骤(3)的具体过程为：根据火星车主从软件多种在轨更新方式，以及一次在轨更新需要进行多次的步骤(2)中所述两段更新操作，火星车主从软件自动更新有限状态机共设计13个状态、32个激励条件；

所述13个状态分别是：

a：空闲状态；

b1：更新主软件1区，FLASH暂存区到RAM缓冲区；

b2：更新主软件2区，FLASH暂存区到RAM缓冲区；

b3：更新主软件3区，FLASH暂存区到RAM缓冲区；

b4：更新从软件1区，FLASH暂存区到RAM缓冲区；

b5：更新从软件2区，FLASH暂存区到RAM缓冲区；

b6：更新从软件3区，FLASH暂存区到RAM缓冲区；

c1：RAM缓冲区到主软件1区；

c2：RAM缓冲区到主软件2区；

c3：RAM缓冲区到主软件3区；

c4：RAM缓冲区到从软件1区；

c5：RAM缓冲区到从软件2区；

c6：RAM缓冲区到从软件3区；

所述32个激励条件分别是：

t1：收到在轨更新指令，且更新方式为：方式1或方式3或方式10或方式12；

t2：主软件1由FLASH暂存区到RAM缓冲区一次更新完毕；

t3：主软件1尚未全部更新完毕；

t4：主软件1已全部更新完毕，且更新方式为：方式1；

t5：主软件1已全部更新完毕，且更新方式为：方式10或方式12；

t6：主软件1已全部更新完毕，且更新方式为：方式3；

t7：收到在轨更新指令，且更新方式为：方式4或方式6；

t8：主软件2由FLASH暂存区到RAM缓冲区一次更新完毕；

t9：主软件2尚未全部更新完毕；

t10：主软件2已全部更新完毕，且更新方式为：方式4；

t11：主软件2已全部更新完毕，且更新方式为：方式10或方式12；

t12：主软件2已全部更新完毕，且更新方式为：方式6；

t13：收到在轨更新指令，且更新方式为：方式7或方式9；

t14：主软件3由FLASH暂存区到RAM缓冲区一次更新完毕；

t15：主软件3尚未全部更新完毕；

t16：主软件3已全部更新完毕，且更新方式为：方式7；

t17：主软件3已全部更新完毕，且更新方式为：方式12；

t18：主软件3已全部更新完毕，且更新方式为：方式9；

t19：收到在轨更新指令，且更新方式为：方式2或方式11；

t20：从软件1由FLASH暂存区到RAM缓冲区一次更新完毕；

t21：从软件1尚未全部更新完毕；

t22：从软件1已全部更新完毕，且更新方式为：方式2；

t23：从软件1已全部更新完毕，且更新方式为：方式11；

t24：收到在轨更新指令，且更新方式为：方式5；

t25：从软件2由FLASH暂存区到RAM缓冲区一次更新完毕；

t26：从软件2尚未全部更新完毕；

t27：从软件2已全部更新完毕，且更新方式为：方式5；

t28：从软件2已全部更新完毕，且更新方式为：方式11；

t29：收到在轨更新指令，且更新方式为：方式8；

t30：从软件3由FLASH暂存区到RAM缓冲区一次更新完毕；

t31：从软件3尚未全部更新完毕；

t32：从软件3已全部更新完毕；

所述步骤(4)中进行状态迁移的具体过程为：

初始状态为a，若激励条件为t1，则迁移为状态b1；若激励条件为t7，则迁移为状态b2；若激励条件为t13，则迁移为状态b3；若激励条件为t19，则迁移为状态b4；若激励条件为t24，则迁移为状态b5；若激励条件为t29，则迁移为状态b6；

当前状态为b1时，若激励条件为t2，则迁移为状态c1；

当前状态为b2时，若激励条件为t8，则迁移为状态c2；

当前状态为b3时，若激励条件为t14，则迁移为状态c3；

当前状态为b4时，若激励条件为t20，则迁移为状态c4；

当前状态为b5时，若激励条件为t25，则迁移为状态c5；

当前状态为b6时，若激励条件为t30，则迁移为状态c6；

当前状态为c1时，若激励条件为t3，则迁移为状态b1；若激励条件为t4，则迁移为状态a；若激励条件为t5，则迁移为状态b2；若激励条件为t6，则迁移为状态b4；

当前状态为c2时，若激励条件为t9，则迁移为状态b2；若激励条件为t10，则迁移为状态a；若激励条件为t11，则迁移为状态b3；若激励条件为t12，则迁移为状态b5；

当前状态为c3时，若激励条件为t15，则迁移为状态b3；若激励条件为t16，则迁移为状态a；若激励条件为t17，则迁移为状态b4；若激励条件为t18，则迁移为状态b6；

当前状态为c4时，若激励条件为t21，则迁移为状态b4；若激励条件为t22，则迁移为状态a；若激励条件为t23，则迁移为状态b5；

当前状态为c5时，若激励条件为t26，则迁移为状态b5；若激励条件为t27，则迁移为状态a；若激励条件为t28，则迁移为状态b6；

当前状态为c6时，若激励条件为t31，则迁移为状态b6；若激励条件为t32，则迁移为状态a。

2.根据权利要求1所述的一种基于有限状态机的火星车主从软件自动更新方法，其特征在于：所述步骤(2)的具体过程为：设定主软件大小为^s1KB，从软件大小为^s2KB，RAM缓存空间大小为m KB，则主软件共需进行上述两段更新操作次，从软件共需进行上述两段更新操作次。