-
公开(公告)号:CN119341858A
公开(公告)日:2025-01-21
申请号:CN202411084786.X
申请日:2024-08-08
Applicant: 北京控制工程研究所
IPC: H04L12/40 , H04L41/0803
Abstract: 一种基于状态机的多设备跨周期的串口复用方法,包括接收、向上位机发送和向地检发送三个过程,通过将串口的收发过程抽象为状态机,并通过状态机不同控制过程的工作模式调整,实现状态的转移来控制通信过程,能有效避免多设备跨周期复用时的冲突,保证通信的可靠性。
-
公开(公告)号:CN114035844B
公开(公告)日:2024-08-06
申请号:CN202111154217.4
申请日:2021-09-29
Applicant: 北京控制工程研究所
Abstract: 一种基于配置表的星载软件参数在轨修改方法,具体步骤如下:(1)参数信息表结构设计,每个参数信息表元素设计相关属性,将参数信息表结构体数组0号元素置空占位,利用参数信息表结构体数组下标作为参数编号;(2)参数修改地面指令处理设计,以地面指令中的参数编号作为参数信息表结构体数组下标,结合参数信息表结构体数组对参数的值进行修改。该方法利用参数信息表大大缩短指令处理函数的代码量,使得指令处理流程简洁、清晰,并能很好的应对需求变更,影响域分析简单明了,为整个研制过程中软件系统的正确性、健壮性、稳定性提供保障。
-
公开(公告)号:CN112883122B
公开(公告)日:2023-10-13
申请号:CN202110163577.4
申请日:2021-02-05
Applicant: 北京控制工程研究所
IPC: G06F16/28 , G06F16/26 , G06F16/35 , G06F40/295
Abstract: 本发明公开了一种基于多视图模型的嵌入式软件知识管理系统,该系统能够将多源、异构的嵌入式软件资产进行统一表示,使传统基于关系型数据库的资产管理模式转化为基于多视图模型的软件资产可视化管理模式,解决了嵌入式软件知识管理效率不高的问题,同时还利用多视图模型建立起了异构软件数据源间存在的显式和隐式关系,能在语义层面上对软件知识库进行高效的查询,提高了嵌入式软件的重用能力。所述方法能够直接应用于嵌入式软件领域,从而实现软件资产库的智能化管理。
-
公开(公告)号:CN112256311A
公开(公告)日:2021-01-22
申请号:CN202011034707.6
申请日:2020-09-27
Applicant: 北京控制工程研究所
IPC: G06F8/654
Abstract: 一种基于有限状态机的火星车主从软件自动更新方法,步骤为:(1)确定火星车主从软件在轨更新方式;(2)确定在RAM中开辟的缓存空间大小以及一次在轨更新需要进行的由上注程序FLASH暂存区更新到RAM缓存区,再由RAM缓存区更新到软件存储区的次数;(3)确定主从软件自动更新过程中的各种状态以及激励条件,建立有限状态机。在收到在轨更新指令后,进入到有限状态机中,根据当前状态以及激励条件进行状态迁移,完成主从软件自动更新。本发明通过有限状态机来维护火星车主从软件自动更新过程中的多种状态以及激励条件,严谨控制逻辑,清晰状态转换,以保证火星车主从软件多种更新方式的正确执行。
-
公开(公告)号:CN106326114A
公开(公告)日:2017-01-11
申请号:CN201610677177.4
申请日:2016-08-16
Applicant: 北京控制工程研究所
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3688
Abstract: 一种近自然语言测试用例脚本的航天软件自动测试方法,首先定义近自然语言规则中数值判读条件描述、执行开始条件、指令描述、预期结果判读描述,然后监测执行开始条件,当待检测航天软件达到执行开始条件时,令待检测航天软件执行指令描述语句,得到待判读数据,最后监测预期结果判读描述中的判读开始条件,当待检测航天软件达到判读开始条件时,在持续时间条件内根据判读内容条件对比待判读数据,完成航天软件测试。本发明通过使用近自然语言规则描述测试操作、结果判读过程,避免了传统航天软件测试中需要首先编写测试用例,然后将测试用例翻译为某种自动测试脚本的重复性工作,具有测试用例既可以归档保持,又可以执行自动测试的优点。
-
公开(公告)号:CN117609557A
公开(公告)日:2024-02-27
申请号:CN202311371163.6
申请日:2023-10-20
Applicant: 北京控制工程研究所
Inventor: 周艳丽 , 周中泽 , 柴志 , 王裙 , 李光旭 , 王建花 , 万丽景 , 杨璐畅 , 史晓霞 , 李经松 , 李轶 , 刘新彦 , 钟睿明 , 李晓锋 , 董晓刚 , 党纪红 , 吴培亚 , 陈志华 , 李信动 , 王昱
IPC: G06F16/901 , G06F16/906 , G06F9/445
Abstract: 一种基于快速搜索的指令可配置方法,通过地面指令的注入,卫星完成定姿,定向,机动等各种功能。提出了一种基于指令的分类,特征参数配置,快速搜索,准则判断,环形存储等多种设计的星载指令实现方法。完成了复杂星载指令的规则化,约束化,可配置、可扩展、快速搜索、快速响应。此方法具有良好的任务适应性,可满足不同卫星的多种需求,采用的高配置,快速搜索等机制能够显著降低开发时间和成本。
-
公开(公告)号:CN113268368B
公开(公告)日:2023-07-14
申请号:CN202110455131.9
申请日:2021-04-26
Applicant: 北京控制工程研究所
IPC: G06F11/07
Abstract: 基于飞行任务剖面的组合体航天器安全关键数据维护方法,将组合体航天器整个飞行任务过程根据任务特点划分为多个飞行任务剖面,每个飞行任务剖面具有各自关注的安全关键数据以及数据保存周期。打破传统的安全关键数据固定格式维护形式,实现安全关键数据格式与飞行任务剖面的动态映射,使得安全关键数据格式具有任务相关性,提高安全关键数据资源利用效率,提高系统故障发生后现场恢复完整性;通过定义安全关键数据自解析格式,为每个飞行任务剖面定义各自的安全关键数据格式,安全关键数据的存储与恢复逻辑根据表头信息实现安全关键数据内容自解析操作,有效降低安全关键数据功能维护工作量及代码规模。
-
公开(公告)号:CN112256493B
公开(公告)日:2023-07-14
申请号:CN202011033016.4
申请日:2020-09-27
Applicant: 北京控制工程研究所
IPC: G06F11/18
Abstract: 由于实现四机同步运行需要每个控制周期进行大量输入数据和输出数据的交换比对,如何快速访问这些数据项是数据交换比对中需要解决的关键问题。本发明提出了一种基于数据池的四机热备份计算机数据快速访问方法,以四机需要交换比对的数据为对象分别建立数据缓冲池,并建立二级索引表的数据访问机制,使得软件在数据采集、输入交换比对、算法计算、输出交换比对、数据输出的过程中与数据解耦,同时也提高了四机交换比对数据的访问效率和处理能力。
-
公开(公告)号:CN116360847A
公开(公告)日:2023-06-30
申请号:CN202310332177.0
申请日:2023-03-30
Applicant: 北京控制工程研究所
Abstract: 一种基于事件驱动的通用化电推进模式控制方法,属于航天器嵌入式软件技术领域。本发明针对当前电推进应用软件模式控制一般采用switch case方式进行模式控制,单个模式的所有子流程在一个函数中实现,子流程之间耦合度高,可维护性较差;针对不同型号,需要重写全部模式控制代码,灵活性低,不利于软件的构件化、通用化;若对某一子流程进行在轨修改,需要对整个模式函数进行替换,软件在轨维护困难等问题,可以有效降低子流程间的耦合度、大幅提高软件通用性、简化软件在轨维护流程,提高软件研制效率和软件质量。
-
公开(公告)号:CN113268368A
公开(公告)日:2021-08-17
申请号:CN202110455131.9
申请日:2021-04-26
Applicant: 北京控制工程研究所
IPC: G06F11/07
Abstract: 基于飞行任务剖面的组合体航天器安全关键数据维护方法,将组合体航天器整个飞行任务过程根据任务特点划分为多个飞行任务剖面,每个飞行任务剖面具有各自关注的安全关键数据以及数据保存周期。打破传统的安全关键数据固定格式维护形式,实现安全关键数据格式与飞行任务剖面的动态映射,使得安全关键数据格式具有任务相关性,提高安全关键数据资源利用效率,提高系统故障发生后现场恢复完整性;通过定义安全关键数据自解析格式,为每个飞行任务剖面定义各自的安全关键数据格式,安全关键数据的存储与恢复逻辑根据表头信息实现安全关键数据内容自解析操作,有效降低安全关键数据功能维护工作量及代码规模。
-
-
-
-
-
-
-
-
-