-
公开(公告)号:CN112328319A
公开(公告)日:2021-02-05
申请号:CN202011063640.9
申请日:2020-09-30
Applicant: 北京空间飞行器总体设计部
Abstract: 本发明涉及一种支持RAM文件系统的星载APP动态加载方法,包括:步骤一:将星载APP应用程序编译链接,生成ELF格式的可执行文件;步骤二:将步骤一中生成的ELF文件注入到星载计算机并保存到所述星载计算机内的RAM中,保持ELF文件格式不变;步骤三:分析和转换ELF文件布局;步骤四:分配内存,将目标ELF文件的代码段和数据段复制到星载计算机的内存中;步骤五:计算重定位地址;步骤六:执行重定位;步骤七:从ELF文件头中获取可执行程序的入口,执行函数,运行APP。该方法可以在不更改当前星载计算机硬件配置的情况下,实现卫星在轨应用软件动态加载与运行功能,使得卫星功能升级或新增功能更加方便。
-
公开(公告)号:CN115437560A
公开(公告)日:2022-12-06
申请号:CN202210838649.5
申请日:2022-07-18
Applicant: 北京空间飞行器总体设计部
IPC: G06F3/06
Abstract: 本发明公开了一种支持包存储与控制的星上存储和获取方法,通过在星载计算机中设置APID(应用过程标识)控制结构和包存储选择控制结构,即通过改变存储使能标志,能根据不同的应用需求,实现对源包的存储或不存储(增加或删除);通过设置不同的包存储区长度,并根据源包长度选择相应的包存储区,并填充未占用空间,实现源包占用空间定长,有选择的存储和读取指定的源包数据。该方法灵活地新增某些源包的存储和获取,或者不再存储和获取某项源包,大大提高了源包存储和获取的灵活性,解决了原有方法无法按源包有选择的存储和检索的问题。
-
公开(公告)号:CN108964978A
公开(公告)日:2018-12-07
申请号:CN201810578117.6
申请日:2018-06-05
Applicant: 北京空间飞行器总体设计部
Abstract: 本发明公开了一种基于三机通信有限状态机模型的三机表决方法,提供了一种可靠的三机数据比对和切机策略,当某机出现故障或者软件运行异常时,能够通过另外两机的状态进行三取二识别,并有效地将故障机切除,避免其影响系另外两机正常工作;采用软硬件协同设计,将三机通信中各种复杂状态统一为三机通信有限状态机模型,并依据该模型进行表决和切机,解决了三机表决过程中的多种分支状态导致紊乱的难题,提高了三机系统的可靠性和确定性;统一了硬件异常、通信链路失效和软件运行异常的状态,将其统一为通信异常,并通过软件有效判别。
-
公开(公告)号:CN110851403A
公开(公告)日:2020-02-28
申请号:CN201911018749.8
申请日:2019-10-24
Applicant: 北京空间飞行器总体设计部
Abstract: 本发明公开了一种基于ROM和RAM的星载文件管理方法,采用了顺序存放策略,每个文件的数据都能连续存放,读取过程中只需要一次寻址操作,就可以读写整块数据,因此文件数据读写效率比较传统的文件系统有较大提高;通过基于ROM和RAM星载文件系统的装订参数管理方法,实现多个装订参数文件与星载软件的分离,解决了星载软件装订参数频繁更改带来的安全性问题,提高了软件开发效率和可靠性,有利于实现星载软件二类继承和参数化配置。
-
公开(公告)号:CN108964978B
公开(公告)日:2021-03-16
申请号:CN201810578117.6
申请日:2018-06-05
Applicant: 北京空间飞行器总体设计部
Abstract: 本发明公开了一种基于三机通信有限状态机模型的三机表决方法,提供了一种可靠的三机数据比对和切机策略,当某机出现故障或者软件运行异常时,能够通过另外两机的状态进行三取二识别,并有效地将故障机切除,避免其影响系另外两机正常工作;采用软硬件协同设计,将三机通信中各种复杂状态统一为三机通信有限状态机模型,并依据该模型进行表决和切机,解决了三机表决过程中的多种分支状态导致紊乱的难题,提高了三机系统的可靠性和确定性;统一了硬件异常、通信链路失效和软件运行异常的状态,将其统一为通信异常,并通过软件有效判别。
-
-
-
-