[發明專利]一種衛星操作系統的同功能多版本軟件在軌同步運行方法

在審

• 申請號: 202310024375.0
• 申請日: 2023-01-07
• 公開（公告）號: CN115934208A
• 公開（公告）日: 2023-04-07
• 發明（設計）人: 韋杰;段欣欣;王盛;白亮;彭娜
• 申請（專利權）人: 上海航天計算機技術研究所
• 主分類號: G06F9/445
• 分類號: G06F9/445;G06F8/71
• 代理公司: 上海漢聲知識產權代理有限公司 31236
• 代理人: 黃超宇;胡晶

1.一種衛星操作系統的同功能多版本軟件在軌同步運行方法，其特征在于，包括以下步驟：

步驟S1：針對衛星操作的某個功能，采用多種方法設計出多個版本的軟件，軟件分多個步驟執行，每個步驟均會輸出數據或運行狀態參數；

步驟S2：衛星在軌運行期間，針對該功能，至少同時運行兩個版本的軟件；

步驟S3：衛星操作系統對這個功能軟件的每一步輸出結果進行比對，并記錄比對次數；

步驟S4：如果比對結果不一致，衛星操作系統設置重新執行標志，要求這個功能的所有軟件重新執行；如果比對結果一致，衛星操作系統運行這個功能的所有軟件繼續執行；

步驟S5：如果比對次數超過閾值，衛星操作系統將重新啟動這個功能的所有軟件。

2.根據權利要求1所述的一種衛星操作系統的同功能多版本軟件在軌同步運行方法，其特征在于，所述步驟S1包括如下步驟：

步驟S11：所述衛星操作的某個功能是由星載軟件輸出一系列的指令和數據控制星載電子設備完成；

步驟S12：所述星載軟件采用CPU軟件實現或采用FPGA實現；

步驟S13：所述實現衛星操作某個功能的星載軟件可采用多種方法設計實現，包括不同的設計師來設計；

步驟S14：所述衛星操作系統具備對星載軟件進行管理功能和輸出結果比對功能，能夠中止、啟動星載軟件的執行；

步驟S15：所述星載軟件的輸出包括指令、數據和運行狀態參數。

3.根據權利要求1所述的一種衛星操作系統的同功能多版本軟件在軌同步運行方法，其特征在于，所述步驟S2包括至少同時運行兩個版本的軟件，其中這兩個版本的軟件功能一樣，設計方法包括架構、算法不同。

4.根據權利要求1所述的一種衛星操作系統的同功能多版本軟件在軌同步運行方法，其特征在于，所述步驟S3中輸出結果包括寄存器值、計算結果以及系統狀態。

5.根據權利要求1所述的一種衛星操作系統的同功能多版本軟件在軌同步運行方法，其特征在于，所述步驟S3中記錄比對次數包括不同軟件版本輸出結果都不一致，重新執行比對的次數；還包括針對某一版本執行結果和其它軟件版本執行結果都不一致，判定該軟件執行結果異常次數。

6.根據權利要求1所述的一種衛星操作系統的同功能多版本軟件在軌同步運行方法，其特征在于，所述步驟S4中比對結果不一致包括對于多版本軟件運行時，如果有超過三分之二的軟件執行的結果都一致，認為結果比對一致，只記錄余下結果不一致的軟件的執行異常計數；如果沒有達到三分之二的軟件執行結果一致，衛星操作系統設置重新執行標志，要求這個功能的所有軟件重新執行。

7.根據權利要求1所述的一種衛星操作系統的同功能多版本軟件在軌同步運行方法，其特征在于，所述步驟S5中比對次數超過閾值包括對某一步驟執行結果不一致重新執行次數超過閾值，還包括衛星操作系統重新啟動該功能所有軟件時，判斷每個軟件的執行異常次數，如執行異常次數超過閾值時，該軟件不再重啟，退出執行結果比對。