[发明专利]一种星载软件程序的逻辑代码监控方法和装置

说明书

本发明的一个实施例公开了一种星载软件程序的逻辑代码监控方法和装置，该方法包括：S10:CPU引导程序从FLASH中将程序按照规定的地址划分加载到RAM中；S13:获取并计算实现所述程序原有功能的逻辑代码段、实现监控逻辑代码功能的逻辑代码段和修复逻辑代码段的校验和，并将该校验和存储；S15:执行所述监控逻辑代码功能的逻辑代码段，并判断是否响应超时，如果超时，则跳至S18，否则至S17；S17:在程序运行过程中连续重复计算所述实现原有功能实现的逻辑代码段的校验和，并与上电时计算的校验和比对，如果发生改变，则跳至S18,否则到S15；S18：执行修复逻辑代码段，执行完毕，跳至S15。

技术领域

本发明涉及空间安全与维护技术领域。更具体地，涉及一种星载软件程序的逻辑代码监控方法和装置。

背景技术

随着技术的发展，卫星上各类设备的软件越来越复杂，大量的软件运行逻辑和数据均会存放在各种类型的RAM中。一般情况下，RAM器件比较容易受到单粒子(SEU)事件影响，使得RAM内存储的数据和逻辑发生改变。一般情况下，对于其中数据可采取三备份存储+三取二判决等手段消除单粒子事件影响。但逻辑代码通常无法采用简单的三备份手段消除单粒子事件影响，一旦逻辑代码受单粒子事件影响，则有可能造成程序跑飞、逻辑运行异常等不可预测的故障，给卫星上各类设备的运行带来极大隐患。

通常情况下，如果要消除逻辑代码的单粒子事件影响，可采取在RAM访问过程中增加EDAC(错误监测与纠正)等手段，有效消除单粒子事件影响。但是，增加EDAC功能一方面需要更改硬件设计并造成硬件成本较为昂贵，另一方面EDAC功能本身对RAM等器件的读写时序提出了更高的要求，给系统时序设计带来一定的难度。而一般的软件RAM监控算法由于监控算法本身的逻辑代码也在RAM中运行，在提供RAM监控能力的同时，一旦RAM监控程序逻辑代码本身受到单粒事件影响，则会出现监控失效甚至大规模改写内存数据等问题，使用的效果难以保障。

发明内容

本发明的一个目的在于提供一种软件实现逻辑代码监控的方法，当发生单粒子事件后，能够有效监测并修复RAM中逻辑代码的内容，并且能够有效降低单粒子事件对RAM监控算法本身逻辑代码的影响。

为达到上述目的，本发明第一个实施例提供一种的星载软件程序的逻辑代码监控方法，包括：

S10:CPU引导程序从FLASH中将程序按照规定的地址划分加载到RAM中；

S13:获取并计算实现所述程序原有功能的逻辑代码段、实现监控逻辑代码功能的逻辑代码段和修复逻辑代码段的校验和，并存储该校验和；

S15:执行所述实现监控逻辑代码功能的逻辑代码段，并判断是否响应超时，如果超时，则跳至S18，否则至S17；

S17:在程序运行过程中连续重复计算所述实现原有功能实现的逻辑代码段的校验和，并与上电时计算的校验和比对，如果发生改变，则跳至S18,否则到S15；

S18：执行修复逻辑代码段，执行完毕，跳至S15。

在一个具体实施例中，所述CPU引导程序从FLASH中将程序按照规定的地址划分加载到RAM中包括：

将实现所述程序原有功能的逻辑代码段存储在所述RAM的原程序功能区；

将实现监控逻辑代码功能的逻辑代码段存储在所述监控功能区。

在一个具体实施例中，所述实现监控逻辑代码功能的逻辑代码段包括逻辑代码监测段和逻辑代码修复段，其中所述逻辑代码监测段和逻辑代码修复段分别设置于所述监控功能区的不同区域。

在一个具体实施例中，所述逻辑代码修复段包括主份修复逻辑代码段和备份修复逻辑代码段。

在一个具体实施例中，所述S18包括：