[发明专利]一种航天器软件在轨重定义方法在审
申请号: | 201910749719.8 | 申请日: | 2019-08-14 |
公开(公告)号: | CN110427176A | 公开(公告)日: | 2019-11-08 |
发明(设计)人: | 陈钢;贾庆轩;李天硕;谭春林;王一帆;申岳;王睿泉 | 申请(专利权)人: | 北京邮电大学 |
主分类号: | G06F8/20 | 分类号: | G06F8/20 |
代理公司: | 暂无信息 | 代理人: | 暂无信息 |
地址: | 100876 *** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 重定义 航天器 新配置文件 配置文件 校验 可扩展标记语言 软件配置文件 读取 正确性校验 语法规则 在轨运行 算法 配置 | ||
1.一种航天器软件在轨重定义方法,其特征在于,所述方法包括:
依据可扩展标记语言和语法规则设计航天器软件配置文件,并由航天器软件对配置文件进行读取;
依据配置文件和设计的重定义执行算法,对原配置文件进行重定义操作,获得新配置文件;
依据新配置文件,对其进行正确性校验,若校验无误,说明重定义操作正确,否则重定义操作有误,禁止下一步操作;
依据校验后无误的新配置文件,配置航天器软件,实现航天器软件在轨重定义。
2.根据权利要求1所述的方法,其特征在于,所述航天器软件对配置文件进行读取,包括:
第一步,航天器软件通过用于解析可扩展标记语言的软件程序,解析配置文件中的构件间关系,并读取到内存中;
第二步,依据内存中的信息,驱动软件加载构件生成的动态链接库,并调用这些构件,从而实现软件功能。
3.根据权利要求2所述的方法,其特征在于,所述航天器软件配置文件,包括:
(1)构件列表,列举了构件运算关系描述中所有涉及的构件;
(2)运算关系列表,列举了所有构件间存在的运算关系;
(3)构件间关系,描述了构件的运算关系和层级嵌套。
4.根据权利要求1所述的方法,其特征在于,所述依据可扩展标记语言和语法规则设计航天器软件配置文件,包括:
第一步,在构件列表中,将每个表示构件的元素作为表示构件列表元素的子元素;
第二步,在运算关系列表中,将每个表示运算关系的元素作为表示运算关系列表元素的子元素;
第三步,构件间关系可用可扩展标记语言通过由外向内不同层级嵌套的形式描述,每一层包括一个表示同外层运算关系的元素和表示第几层的元素,并将构件名称作为表示第几层的元素的属性;
第四步,依据航天器软件设计过程中各构件间的交互,确定构件之间的运算关系:
(1)如果构件A与构件B一起完成某项功能,定义为协同关系;
(2)如果构件A在运行过程中使用了构件B提供的功能,定义为调用关系;
(3)如果构件A的执行会以构件B的执行为条件,即构件B的输出结果是构件A的输入参数,定义为条件关系;
第五步,依据构件运算关系,确定构件层级:
(1)请求调用的构件位于外层,接受调用的构件位于内层;
(2)条件输出的构件位于外层,接收输入参数的构件位于内层;
(3)互为协同关系的构件位于同一层,并用两个不同属性的元素表示;
(4)位于外层的构件简称为外层构件,位于内层的构件简称为内层构件;
第六步,如果某构件存在内层构件,则将内层构件嵌套在该构件内,并添加表示运算关系的元素;
第七步,如果某构件同时存在多个同一种运算关系的内层构件,则向内嵌套时,内层构件表示成一个构件集合,在集合中嵌套表示各内层构件。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京邮电大学,未经北京邮电大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201910749719.8/1.html,转载请声明来源钻瓜专利网。