-
-
公开(公告)号：CN108279591A
公开(公告)日：2018-07-13
申请号：CN201711386677.3
申请日：2017-12-20
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 一种仿真平台数字量通用输出方法，首先定义初始化设置描述，包括发送模式、脉冲宽度、脉冲个数、电平状态、信号触发延时时间以及外部信号同步设置参数，判断发送使能或同步信号有效，等待相应延时时间后依据参数配置信息产生相应高低电平输出、正负单脉冲输出、有限个数脉冲输出和连续脉冲输出。本发明实现了数字量输出信号的统一描述，克服了传统数字量输出方法通用性差、研制周期长、成本高的缺陷，具有规范性、复用性强，研制周期短、成本低的优点。
-
公开(公告)号：CN104836611B
公开(公告)日：2018-04-27
申请号：CN201510164291.2
申请日：2015-04-09
Applicant: 北京控制工程研究所
IPC: H04B7/185
Abstract: 一种基于事件的星载软件运行状态监控方法，首先建立有限的关键事件存储空间和软件运行过程中关键事件信息编号，并确保每个关键事件信息的编号唯一性；然后，通过关键事件信息在软件中的触发点将关键事件信息存储在预先设置的有限事件存储空间中；最后，在到达关键事件信息存储时间上限或关键事件信息存储数目上限时，对固定下传数目的关键事件信息进行下传，保证关键事件信息下传的及时性。本发明通过有限存储空间内完成所有关键事件信息记录，节省了事件信息存储空间，另外本发明在关键事件信息被触发时才进行记录和下传，提高存储空间和遥测下行通道使用效率。
-
公开(公告)号：CN104898645B
公开(公告)日：2018-02-09
申请号：CN201510219987.0
申请日：2015-04-30
Applicant: 北京控制工程研究所
IPC: G05B23/02
Abstract: 本发明公开了一种卫星故障检测隔离恢复策略及策略动态调整方法，包括步骤如下：根据遥控指令，动态调整卫星故障检测隔离恢复策略；顺序取出故障检测隔离恢复策略队列中的故障检测隔离恢复策略，并根据故障检测隔离恢复策略进行故障检测；若故障检测结果为产生故障，则进行故障隔离和故障恢复。本发明解决了传统星载嵌入式软件必须通过钩子函数、替换现有功能以及修改堆栈窗口等复杂方法实现软件新增功能的不足，提高了卫星故障检测隔离恢复策略的可调整能力，为今后XX‑3B卫星平台提供了良好的应用基础。
-
公开(公告)号：CN106411675A
公开(公告)日：2017-02-15
申请号：CN201610833842.4
申请日：2016-09-19
Applicant: 北京控制工程研究所
IPC: H04L12/40
CPC classification number: H04L12/40013 , H04L2012/4028
Abstract: 本发明公开了一种基于时间片规划的集中式总线时序控制方法，包括向卫星综合电子系统上的ADU发送快帧消息步骤；延时1.6ms从BC消息栈读取ADU回送的闭环反馈数据步骤；根据64ms周期计数CNT1、448ms周期计数CNT2发送A类消息帧或B类消息帧步骤；下一控制周期从BC消息栈读取RT回送的遥测数据步骤；每控制周期CMU软件进行总线故障判断，根据RT消息状态字判断BC与RT的总线通信状态，从A总线切到B总线的步骤。本发明将总线操作严格控制在一个控制周期内，避免了突发事件导致的临时性消息帧收发，提高了系统通信实时性，降低了总线负载，保证了系统运行状态可预测性。
-
Patent Agency Ranking
公开(公告)号：CN106325860A
公开(公告)日：2017-01-11
申请号：CN201610676562.7
申请日：2016-08-16
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 一种航天嵌入式软件接口数据的自动化维护方法，监测航天嵌入式软件代码中的数据自动化维护指令并判断，当为分组控件时，生成分组控件显示当前及下一个分组控件语句间所有变量及变量取值，当为复选框控件或者编辑框控件时，通过复选框或者编辑框改变前置变量取值，当为下拉列表框控件时，生成下拉列表框改变被选中的变量赋值，当为单选按钮控件时，生成单选按钮改变被选中变量赋值，当为数组编辑窗口控件时，生成数组编辑窗口修改被选变量的取值，当为生成文件选择窗控件时，生成文件选择窗口查看系统文件。
-
公开(公告)号：CN103744813B
公开(公告)日：2016-03-30
申请号：CN201310751624.2
申请日：2013-12-31
Applicant: 北京控制工程研究所
Abstract: 一种保障1553B总线通信时序正确性的时序确定方法，根据1553B总线各个子地址通讯方式和特点，确定了通讯的时序要求，保障了总线通讯时序正确性。本发明解决了传统分析中时间要求不全面的问题。本发明识别出各个通讯功能的通讯时间和通讯间时间间隔要求，为分析提供了更为系统全面的因素。本发明不仅分析不同通讯功能之间有先后顺序和时间要求，还给出了多个通讯共同完成同一系统功能时，需要考虑的时序问题。这样减少了软件系统行为的不确定性。
-
公开(公告)号：CN103092760B
公开(公告)日：2015-11-11
申请号：CN201310036432.3
申请日：2013-01-30
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种软件修正性在轨维护优化方法，步骤为：（1）确定星上软件代码中需要实施在轨维护函数的最后一个修改点语句；（2）在所述新函数的最后一个修改点语句之后，进行恢复寄存器现场和修改所述新函数的返回地址的操作，将新函数的返回地址修改为所述需要实施在轨维护函数在其最后一个修改点语句之后的下一条语句的地址；（3）将所述新函数与原有星上软件代码进行联合编译；（4）提取联合编译之后的所述新函数对应的代码并且上注到星上用于替换所述需要实施在轨维护函数。采用本发明方法实现了软件修正性在轨维护的优化设计，可明显减少程序的注入量，降低注入程序被单粒子打翻的风险。
-
公开(公告)号：CN103678136B
公开(公告)日：2015-07-08
申请号：CN201310744664.4
申请日：2013-12-30
Applicant: 北京控制工程研究所
Abstract: 一种基于控制流的数据竞争误报降低方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法，目的在于降低误报、提高分析准确度。一般认为，主程序和中断服务程序具有共享变量时，如果二者中至少一个对该共享变量进行了写操作，那么该变量可能会发生数据竞争。本发明以语法分析技术为基础，结合领域特征，识别无害的数据竞争，降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率，有利于发现真正有害的数据竞争。
-
公开(公告)号：CN103677849B
公开(公告)日：2015-04-15
申请号：CN201310738865.3
申请日：2013-12-26
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。
-
-
-
-
-
-
-
-
-
Search Results
113
records
(took 0.04 seconds)
