一种基于星载软件防止系统失效的方法与流程

技术特征：
1.一种基于星载软件防止系统失效的方法，其特征在于：包括以下步骤：目标程序包括若干个并行的线程，将目标程序复制为两个，分别用于实体进程和虚拟进程执行；实体进程和虚拟进程异步执行所述目标程序，且虚拟进程优先于实体进程执行至少一个线程；所述虚拟进程同步执行多个线程，对执行的线程进行状态标记，若状态标记为线程正常，则记录执行结果，并通知实体进程执行该线程；若状态标记为线程异常，则结束执行该线程，并通知实体进程不执行该线程。2.根据权利要求1所述的一种基于星载软件防止系统失效的方法，其特征在于：每个所述线程中包含若干个依次连接的函数功能块；虚拟进程执行任一线程时，按顺序调用该线程中的函数功能块进行执行，当执行到某个函数功能块后，状态标记为线程正常，则继续调用并执行下一个函数功能块，直到该线程的所有函数功能块都调用并执行完毕，且所有函数功能块执行后状态标记均为线程正常，则通知实体进程执行该线程；当虚拟进程执行到某个函数功能块后，状态标记为线程异常，则虚拟进程回退至恢复点，所述恢复点为上一个函数功能块，并通知实体进程不执行该线程。3.根据权利要求2所述的一种基于星载软件防止系统失效的方法，其特征在于：当虚拟进程对某线程的状态标记为线程异常时，重启该线程，重启后从恢复点继续调用并执行下一个函数功能块，直到该线程的所有函数功能块都调用并执行完毕，且所有函数功能块执行后状态标记均为线程正常，则通知实体进程执行该线程。4.根据权利要求3所述的一种基于星载软件防止系统失效的方法，其特征在于：虚拟进程中重启的线程，在实体进程中对应的线程也进行重启。5.根据权利要求1所述的一种基于星载软件防止系统失效的方法，其特征在于：所述实体进程按照虚拟进程的通知执行完线程后，还未接收到虚拟进程通知的可执行线程时，则实体进程进入等待状态，直到接收到虚拟进程通知可执行线程，则执行该通知的线程。6.根据权利要求1所述的一种基于星载软件防止系统失效的方法，其特征在于：所述实体进程在执行虚拟进程通知执行的线程后，将执行结果与虚拟进程记录的执行结果进行比较，若比较执行结果一致，则实体进程执行虚拟进程通知执行的下一个线程；否则实体进程回退至该线程的起始点。7.根据权利要求6所述的一种基于星载软件防止系统失效的方法，其特征在于：当实体进程将执行结果与虚拟进程记录的执行结果进行比较，比较执行结果不一致，回退至该线程的起始点后，重启该线程并重新执行该线程，直到执行结果与虚拟进程的执行结果一致时，完成对该线程的执行。

技术总结
本发明涉及一种基于星载软件防止系统失效的方法，包括：目标程序包括若干个并行的线程，将目标程序复制为两个，分别用于实体进程和虚拟进程执行；实体进程和虚拟进程异步执行所述目标程序，且虚拟进程优先于实体进程执行至少一个线程；所述虚拟进程同步执行多个线程，对执行的线程进行状态标记，若状态标记为线程正常，则记录执行结果，并通知实体进程执行该线程；若状态标记为线程异常，则结束执行该线程，并通知实体进程不执行该线程。本发明不修改源程序，也不添加新的硬件支持，搭建异步虚拟容错软件对执行的目标程序进行预先异步执行，避免实体进程在正式执行程序时发生崩溃，防止程序崩溃后造成航天器控制器系统失效。效。效。


技术研发人员：魏育成 徐成华 秦刚
受保护的技术使用者：中科九度（北京）空间信息技术有限责任公司
技术研发日：2022.08.12
技术公布日：2022/11/15