一种基于有限状态机的卫星分包遥控接收控制方法技术

本发明专利技术涉及一种基于有限状态机的卫星分包遥控接收控制方法，属于航天器上的遥控接收处理技术领域。基于有限状态机，提出一种多包序列遥控接收控制方法，将多包序列遥控接收控制所具有的6个状态及11个激励条件进行条目化，辅助软件完成所有工况的考虑及设计，避免状态遗漏，同时，为遥控功能的测试全面性提供有力支持。

A remote control method of satellite subcontract receiving based on FSM

【技术实现步骤摘要】
一种基于有限状态机的卫星分包遥控接收控制方法
本专利技术涉及一种基于有限状态机的卫星分包遥控接收控制方法，属于航天器上的遥控接收处理

技术介绍
为了保证航天器安全，空间站GNC分系统应用软件对接收到的遥控注入都进行基本格式的有效性验证，并对每条指令进行内容的有效性验证。航天器注入指令总共有两大类：常规指令和不定长指令。其中，不定长指令长度不固定，长度超出一个遥控帧的数据范围时，地面需要对不定长指令进行分包，采用多包序列遥控帧进行注入，航天器收全指令的所有数据后才执行指令。正常状态下，多包序列遥控帧按顺序注入；异常状态下，各分包的注入顺序混乱，甚至存在多包、丢包的情况。
技术实现思路
本专利技术要解决的技术问题为：克服现有技术的不足，提供一种基于有限状态机的卫星分包遥控接收控制方法，通过有限状态机来维护多包序列遥控帧的所有接收状态以及所有输入激励，保证各种工况设计全覆盖，规避逻辑遗漏设计所带来的软件风险，从而提高软件运行的可靠性和安全性。本专利技术的技术解决方案为：一种基于有限状态机的卫星分包遥控接收本文档来自技高网...

【技术保护点】
1.一种基于有限状态机的卫星分包遥控接收控制方法，其特征在于：/n该方法的步骤包括：/n(1)判断有限状态机所处的状态，有限状态机所处的状态包括六种状态，六种状态分别为：无任何缓存包状态、首包状态、中间包状态、尾包状态、无效包状态和独立包状态；/n(2)当有限状态机所处的状态为无任何缓存包状态时，且接收到t0激励条件时，则有限状态机所处的状态更新为独立包状态；/n当有限状态机所处的状态为无任何缓存包状态时，且接收到t1激励条件时，则有限状态机所处的状态更新为首包状态；/n当有限状态机所处的状态为无任何缓存包状态时，且接收到t9激励条件时，则有限状态机所处的状态更新为无效包状态；/n(3)当有限...

【技术特征摘要】
1.一种基于有限状态机的卫星分包遥控接收控制方法，其特征在于：
该方法的步骤包括：
(1)判断有限状态机所处的状态，有限状态机所处的状态包括六种状态，六种状态分别为：无任何缓存包状态、首包状态、中间包状态、尾包状态、无效包状态和独立包状态；
(2)当有限状态机所处的状态为无任何缓存包状态时，且接收到t0激励条件时，则有限状态机所处的状态更新为独立包状态；
当有限状态机所处的状态为无任何缓存包状态时，且接收到t1激励条件时，则有限状态机所处的状态更新为首包状态；
当有限状态机所处的状态为无任何缓存包状态时，且接收到t9激励条件时，则有限状态机所处的状态更新为无效包状态；
(3)当有限状态机所处的状态为首包状态时，且接收到t2激励条件时，则有限状态机所处的状态更新为中间包状态；
当有限状态机所处的状态为首包状态时，且接收到t7激励条件时，则有限状态机所处的状态更新为无效包状态；
(4)当有限状态机所处的状态为中间包状态时，且接收到t3激励条件时，则有限状态机所处的状态更新为中间包状态；
当有限状态机所处的状态为中间包状态时，且接收到t4激励条件时，则有限状态机所处的状态更新为尾包状态；
当有限状态机所处的状态为中间包状态时，且接收到t8激励条件时，则有限状态机所处的状态更新为无效包状态；
(5)当有限状态机所处的状态为尾包状态时，且接收到t5激励条件时，则有限状态机所处的状态更新为无任何缓存包状态；
当有限状态机所处的状态为尾包状态时，且接收到除t5之外的其他激励条件时，则有限状态机所处的状态不进行响应，即有限状态机所处的状态不进行更新；
(6)当有限状态机所处的状态为无效包状态时，且接收到t6激励条件时，则有限状态机所处的状态更新为无任何缓存包状态；
当有限状态机所处的状态为无效包状态时，且接收到除t6之外的其他激励条件时，则有限状态机所处的状态不进行响应，即有限状态机所处的状态不进行更新；
(7)当有限状态机所处的状态为独立包状态时，且接收到t10激励条件时，则有限状态机所处的状态更新为无任何缓存包状态；当有限状态机所处的状态为独立包状态时，且接收到除t10之外的其他激励条件时，则有限状态机所处的状态不进行响应，即有限状态机所处的状态不进行更新；
六种状态的含义如下：
无任何缓存包状态为初始化状态，未接收到多包序列中的任意包；
首包状态是指遥控帧为多包序列中的首包；
中间包状态是指遥控帧为多包序列中的中间包；
尾包状态是指遥控帧为多包序列中的尾包；
无效包状态是指遥控帧为无效包；
独立包状态是指遥控帧为独立包；
十一个个激励条件，分别是：
t0：一次注入遥控接收完成，且包序列标识＝＝11b；
t1：一次注入遥控接收完成，且包序列标识＝＝01b，源包序列计数>1；

【专利技术属性】
技术研发人员：杨俊春，李经松，党纪红，尚葳蕤，于海心，王晶，李川，陈朝晖，牛和明，王振华，张国峰，张维瑾，
申请(专利权)人：北京控制工程研究所，
类型：发明
国别省市：北京;11