-
公开(公告)号:CN106326114A
公开(公告)日:2017-01-11
申请号:CN201610677177.4
申请日:2016-08-16
Applicant: 北京控制工程研究所
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3688
Abstract: 一种近自然语言测试用例脚本的航天软件自动测试方法,首先定义近自然语言规则中数值判读条件描述、执行开始条件、指令描述、预期结果判读描述,然后监测执行开始条件,当待检测航天软件达到执行开始条件时,令待检测航天软件执行指令描述语句,得到待判读数据,最后监测预期结果判读描述中的判读开始条件,当待检测航天软件达到判读开始条件时,在持续时间条件内根据判读内容条件对比待判读数据,完成航天软件测试。本发明通过使用近自然语言规则描述测试操作、结果判读过程,避免了传统航天软件测试中需要首先编写测试用例,然后将测试用例翻译为某种自动测试脚本的重复性工作,具有测试用例既可以归档保持,又可以执行自动测试的优点。
-
公开(公告)号:CN112256493B
公开(公告)日:2023-07-14
申请号:CN202011033016.4
申请日:2020-09-27
Applicant: 北京控制工程研究所
IPC: G06F11/18
Abstract: 由于实现四机同步运行需要每个控制周期进行大量输入数据和输出数据的交换比对,如何快速访问这些数据项是数据交换比对中需要解决的关键问题。本发明提出了一种基于数据池的四机热备份计算机数据快速访问方法,以四机需要交换比对的数据为对象分别建立数据缓冲池,并建立二级索引表的数据访问机制,使得软件在数据采集、输入交换比对、算法计算、输出交换比对、数据输出的过程中与数据解耦,同时也提高了四机交换比对数据的访问效率和处理能力。
-
公开(公告)号:CN111431665B
公开(公告)日:2023-02-28
申请号:CN202010172252.8
申请日:2020-03-12
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种针对卫星遥控注入状态的错误分级报警方法及系统。卫星遥控注入是实现地面对卫星的干预和控制的重要手段,通过对卫星遥控注入状态的错误分级报警,对卫星遥控注入的各个验证阶段实行错误分级编码的形式,全面准确地标识错误位置,分级错误码通过遥测报警下传至地面,错误码可以帮助地面快速进行故障定位,提高了地面排查注入失败原因的效率。
-
公开(公告)号:CN113438008B
公开(公告)日:2022-10-28
申请号:CN202110425173.8
申请日:2021-04-20
Applicant: 北京控制工程研究所
IPC: H04B7/185 , H04B17/391 , H04J3/06 , G06F9/54
Abstract: 本发明一种适用于姿轨控系统多机容错架构的多机时标仿真方法,在多机的共享内存中设计了独立互斥的数据空间,为时标的统一管理提供数据基础,采用多次时标同步的方式,将多机共享内存中数据交换和传输的过程进行阶段划分,保证多机在不同的数据处理阶段均为同步状态,避免将非同步的数据引入计算,实现了任务级的多机时标统一,然后设计了同步控制器,使用同步控制器与各机通信,以仿真时间为控制基准进行同步,设计了高优先级的同步参数,让单机调试过程与多机的时标统一不再矛盾,实现了系统级的多机时标统一。最终解决了容错架构下多机时标统一问题,该仿真方法不仅实现了任务级的时标统一,也实现了系统级的时标统一,目前已在空间站仿真环境中成功运用。
-
-
公开(公告)号:CN110764926A
公开(公告)日:2020-02-07
申请号:CN201910896595.6
申请日:2019-09-23
Applicant: 北京控制工程研究所
Abstract: 一种1553B总线RT端消息堆栈串并交叉查询方法,为提高1553B总线RT端消息收发的实时性与灵活性,简化软件设计时序,本发明提出了一种1553B总线RT端消息堆栈串并交叉查询设计策略,根据系统时序要求实现多次消息堆栈查询操作,并按需分布在任务或中断中,使得系统的每个控制周期实现多次消息堆栈查询操作,多次查询操作既可以为串行形式,又可以为并行形式,也可以串并交叉形式。此方法灵活可靠,时序设计简单,一方面,有效解决特殊消息收发时机需要特殊处理问题;另一方面,有效解决消息堆栈查询所面临的消息处理时延过长问题。本发明能够提高RT端软件设计灵活性,降低通信协议更动带来的变更影响,便于特殊消息时序处理,有效提升系统通讯功能设计能力。
-
公开(公告)号:CN110750869A
公开(公告)日:2020-02-04
申请号:CN201910896582.9
申请日:2019-09-23
Applicant: 北京控制工程研究所
IPC: G06F30/20
Abstract: 本发明公开一种姿轨控系统多部件动力学仿真模块的设计方法,采用动力学仿真模块分散细化的插针思路,不再将动力学仿真模块的运行时域统一放置于控制周期的固定位置,而是将动力学仿真模块拆分为若干子模块,按照实际性能需求决定细化程度,每个子模块按照其执行序列及时间裕度要求,重新安排执行时域,并且为每个部件设置调用标志,仅在需调用的周期进行数据输出,尽可能优化、均衡仿真性能。在不损失系统仿真度的前提下,成功解决了多部件动力学仿真的时间瓶颈问题。该方法目前已在空间站仿真环境中成功运用。
-
公开(公告)号:CN106325860B
公开(公告)日:2019-11-12
申请号:CN201610676562.7
申请日:2016-08-16
Applicant: 北京控制工程研究所
Abstract: 一种航天嵌入式软件接口数据的自动化维护方法,监测航天嵌入式软件代码中的数据自动化维护指令并判断,当为分组控件时,生成分组控件显示当前及下一个分组控件语句间所有变量及变量取值,当为复选框控件或者编辑框控件时,通过复选框或者编辑框改变前置变量取值,当为下拉列表框控件时,生成下拉列表框改变被选中的变量赋值,当为单选按钮控件时,生成单选按钮改变被选中变量赋值,当为数组编辑窗口控件时,生成数组编辑窗口修改被选变量的取值,当为生成文件选择窗控件时,生成文件选择窗口查看系统文件。
-
-
公开(公告)号:CN108279591A
公开(公告)日:2018-07-13
申请号:CN201711386677.3
申请日:2017-12-20
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 一种仿真平台数字量通用输出方法,首先定义初始化设置描述,包括发送模式、脉冲宽度、脉冲个数、电平状态、信号触发延时时间以及外部信号同步设置参数,判断发送使能或同步信号有效,等待相应延时时间后依据参数配置信息产生相应高低电平输出、正负单脉冲输出、有限个数脉冲输出和连续脉冲输出。本发明实现了数字量输出信号的统一描述,克服了传统数字量输出方法通用性差、研制周期长、成本高的缺陷,具有规范性、复用性强,研制周期短、成本低的优点。
-
-
-
-
-
-
-
-
-