-
公开(公告)号：CN103677849A
公开(公告)日：2014-03-26
申请号：CN201310738865.3
申请日：2013-12-26
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。
-
公开(公告)号：CN103218292A
公开(公告)日：2013-07-24
申请号：CN201310108724.3
申请日：2013-03-29
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 本发明公开了一种航天星载软件自动测试系统，包括主控计算机、动力学计算机、遥控计算机、遥测计算机和测试数据存储模块；所述主控计算机包括可执行脚本生成模块，自动测试执行模块和测试结果输出模块所组成；动力学计算机对接收的参数包进行参数解包，根据解包后的数据进行动力学计算获得动力学数据，并将动力学数据发送至星载计算机和测试数据存储模块；遥控计算机将接收的遥控指令发送至星载计算机；遥测计算机接收星载计算机发送的卫星运行的遥测数据；并将遥测数据发送至测试数据存储模块。本发明的自动测试系统为一种面向星载控制软件测试应用的半物理闭环实时自动测试系统，能够增强测试用例的复用性，测试过程的可重复性，提高测试覆盖率。
-
公开(公告)号：CN103164220A
公开(公告)日：2013-06-19
申请号：CN201310055488.3
申请日：2013-02-21
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 一种星载计算机在轨维护所用浮点立即数的自主处理方法，步骤为：（1）提取浮点立即数集合以及表示浮点立即数使用的浮点全局变量集合；（2）定义一个包含无符号整数类型成员与浮点型成员的共用体类型变量；（3）从提取的浮点立即数集合中选择一个未处理的浮点立即数，根据IEEE754数据格式计算该浮点立即数在计算机内存中的32位2进制表示值，并赋值给所述共用体类型变量中的无符号整数类型成员；（4）读取所述共用体类型变量中的浮点型成员的数值，并赋值给所述提取出的浮点全局变量集合中对应的一个浮点全局变量，即实现了该浮点立即数的处理，之后直至所有浮点立即数均处理完毕，星上计算机再进行后继处理。
-
公开(公告)号：CN119336619A
公开(公告)日：2025-01-21
申请号：CN202411512720.6
申请日：2024-10-28
Applicant: 北京控制工程研究所
IPC: G06F11/362 , G06F18/24 , G06F8/36
Abstract: 一种基于特征模型的航天器控制软件故障建模和表示方法，属于航空航天技术领域，包括：对航天器控制软件在轨时需要诊断的故障类型进行划分，构建各故障类型的特征模型，基于特征模型构建航天器在轨故障分类模型；针对所述航天器在轨故障分类模型中的每一类故障，构建事件和条件相匹配的故障表示模型；对于在轨实时监测到的状态信息，基于所述故障表示模型匹配对应的故障，完成在轨故障诊断。本发明能够对控制软件所需要处理的航天器故障模式进行系统化、形式化的建模表达，支持多部件故障、系统级故障、未知故障等复杂情况的故障归因分析和航天器故障表示的跨型号复用。
-
公开(公告)号：CN114625024B
公开(公告)日：2024-08-30
申请号：CN202210112578.0
申请日：2022-01-29
Applicant: 北京控制工程研究所
IPC: G05B17/02
Abstract: 一种基于软总线的组件式控制系统仿真平台及方法，将仿真软件划分为硬件抽象层、应用层、模型仿真层和管理层四个层次，硬件抽象层实现对接口资源的统一管理，应用层实现各部件单机数据及协议处理，并在应用层划分为多个功能模块并将功能模块封装，对外屏蔽功能模块的具体内容，仅通过标准接口与外界相互访问，模型仿真层实现控制系统轨道和姿态运动规律的计算，管理层通过软总线对各功能模块进行统一管理调度，并实现仿真系统的时序管理。
-
Patent Agency Ranking
公开(公告)号：CN115080201B
公开(公告)日：2024-05-14
申请号：CN202210495292.5
申请日：2022-05-07
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种面向应急任务的高可靠卫星自主任务规划方法及系统，属于航天器控制技术领域；当地面注入应急观测任务时，任务规划软件对其进行快速响应，回退未执行的非应急任务，在满足星上资源约束的情况下将应急任务与回退的非应急任务进行重规划。该方法在保证应急任务快速响应、优先规划、准确执行的同时，也实现避免因资源冲突删除非应急任务的功能，可最大限度地保证非应急任务的规划执行，提高了软件的可靠性、安全性；本发明解决了应急任务引起的资源冲突问题，在保证应急任务快速执行的前提下，最大程度地保留非应急任务，提高星上自主任务规划的可靠性。
-
公开(公告)号：CN116860232A
公开(公告)日：2023-10-10
申请号：CN202310800420.7
申请日：2023-06-30
Applicant: 北京控制工程研究所
Abstract: 本发明提供了一种航天器控制软件IP程序实体实现方法及装置，其中方法包括：基于待开发航天器控制软件的需求规格说明，获取待生成程序实体的目标IP模块；IP模块为需求规格说明中的可复用功能点；提取目标IP模块包括的接口、参数变量、状态变量和自定义函数；接口包括数据接口和服务接口；数据接口用于所述目标IP模块与外部程序的数据交互，服务接口用于向外部程序输出功能；获取对目标IP模块的接口、参数变量、状态变量和自定义函数分别进行声明或声明及定义后得到的头文件和源文件；对得到的头文件和源文件进行编译和单元测试，当测试通过后，将得到的头文件和源文件确定为目标IP模块的程序实体。本方案，能够提高IP程序实体的复用性。
-
公开(公告)号：CN113268367B
公开(公告)日：2023-07-14
申请号：CN202110453602.2
申请日：2021-04-26
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种1553B总线RT端子地址查找表在轨监测及维护方法，提供RT端子地址查找表在轨监测及维护机制，提高1553B总线运行可靠性，可用于航空、航天领域的系统可靠性设计，属于系统可靠性领域。本发明实现在轨航天器自主监测子地址查找表运行状态，若监测发生异常，首先执行在轨自主处理，若自主处理多次仍无效，将监测异常结果下传地面复核，在地面复核查找表或数据块发生异常后，为地面干预提供一键重置功能。此方法能有效提高航天器系统中1553B总线故障的在轨监测及快速修复能力，提高航天器系统长期在轨运行的可靠性。
-
公开(公告)号：CN112256311B
公开(公告)日：2023-06-06
申请号：CN202011034707.6
申请日：2020-09-27
Applicant: 北京控制工程研究所
IPC: G06F8/654
Abstract: 一种基于有限状态机的火星车主从软件自动更新方法，步骤为：(1)确定火星车主从软件在轨更新方式；(2)确定在RAM中开辟的缓存空间大小以及一次在轨更新需要进行的由上注程序FLASH暂存区更新到RAM缓存区，再由RAM缓存区更新到软件存储区的次数；(3)确定主从软件自动更新过程中的各种状态以及激励条件，建立有限状态机。在收到在轨更新指令后，进入到有限状态机中，根据当前状态以及激励条件进行状态迁移，完成主从软件自动更新。本发明通过有限状态机来维护火星车主从软件自动更新过程中的多种状态以及激励条件，严谨控制逻辑，清晰状态转换，以保证火星车主从软件多种更新方式的正确执行。
-
公开(公告)号：CN115080201A
公开(公告)日：2022-09-20
申请号：CN202210495292.5
申请日：2022-05-07
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种面向应急任务的高可靠卫星自主任务规划方法及系统，属于航天器控制技术领域；当地面注入应急观测任务时，任务规划软件对其进行快速响应，回退未执行的非应急任务，在满足星上资源约束的情况下将应急任务与回退的非应急任务进行重规划。该方法在保证应急任务快速响应、优先规划、准确执行的同时，也实现避免因资源冲突删除非应急任务的功能，可最大限度地保证非应急任务的规划执行，提高了软件的可靠性、安全性；本发明解决了应急任务引起的资源冲突问题，在保证应急任务快速执行的前提下，最大程度地保留非应急任务，提高星上自主任务规划的可靠性。
-
-
-
-
-
-
-
-
-
Search Results
113
records
(took 0.026 seconds)
