-
-
公开(公告)号：CN108197042B
公开(公告)日：2020-05-12
申请号：CN201711387859.2
申请日：2017-12-20
Applicant: 北京控制工程研究所
IPC: G06F13/10
Abstract: 本发明设计一种基于FPGA的通用异步串口及其应答方法，异步串口包括寄存器模块、控制模块、接收模块、发送模块以及接收存储器和发送存储器；当通用异步串口检测到信号后，执行开始条件，按照接口配置的物理层协议特性进行数据解析还原，得到接收判读数据，然后检测接口配置的应用层协议，并且逐字节与应用层协议进行匹配，匹配全部成功，回送应答数据完成异步串口通信，匹配不成功记录错误信息，匹配成功与否均保存接收的异步串口数据供分析使用。本发明实现了异步串口通信的统一描述，克服了传统异步串口数据处理方法通用性差、研制周期长、成本高的缺陷，具有规范性、复用性强，研制周期短、成本低的优点。
-
-
公开(公告)号：CN106888121A
公开(公告)日：2017-06-23
申请号：CN201710115350.6
申请日：2017-03-01
Applicant: 北京控制工程研究所
Abstract: 一种基于数据块传输的1553B总线协议仿真方法，首先获取通讯帧，得到通讯帧中各个数据块的数据特征模型，然后修改当前通讯帧中数据块的数据特征模型中的启动标记置、数据块计数，送至数据接收端，最后控制数据接收端根据数据特征模型中的数据块长度、子地址，获取得到当前数据块的数据并进行解析，若成功获取当前数据块数据并进行解析，则通知数据发送端发送下一个数据块数据特征模型，否则通知数据发送端重新发送当前数据块的数据特征模型中，直至完成当前数据帧的所有数据块在数据接收端的成功获取并解析。
-
公开(公告)号：CN106326114A
公开(公告)日：2017-01-11
申请号：CN201610677177.4
申请日：2016-08-16
Applicant: 北京控制工程研究所
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3688
Abstract: 一种近自然语言测试用例脚本的航天软件自动测试方法，首先定义近自然语言规则中数值判读条件描述、执行开始条件、指令描述、预期结果判读描述，然后监测执行开始条件，当待检测航天软件达到执行开始条件时，令待检测航天软件执行指令描述语句，得到待判读数据，最后监测预期结果判读描述中的判读开始条件，当待检测航天软件达到判读开始条件时，在持续时间条件内根据判读内容条件对比待判读数据，完成航天软件测试。本发明通过使用近自然语言规则描述测试操作、结果判读过程，避免了传统航天软件测试中需要首先编写测试用例，然后将测试用例翻译为某种自动测试脚本的重复性工作，具有测试用例既可以归档保持，又可以执行自动测试的优点。
-
Patent Agency Ranking
公开(公告)号：CN103164220B
公开(公告)日：2016-03-02
申请号：CN201310055488.3
申请日：2013-02-21
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 一种星载计算机在轨维护所用浮点立即数的自主处理方法，步骤为：（1）提取浮点立即数集合以及表示浮点立即数使用的浮点全局变量集合；（2）定义一个包含无符号整数类型成员与浮点型成员的共用体类型变量；（3）从提取的浮点立即数集合中选择一个未处理的浮点立即数，根据IEEE754数据格式计算该浮点立即数在计算机内存中的32位2进制表示值，并赋值给所述共用体类型变量中的无符号整数类型成员；（4）读取所述共用体类型变量中的浮点型成员的数值，并赋值给所述提取出的浮点全局变量集合中对应的一个浮点全局变量，即实现了该浮点立即数的处理，之后直至所有浮点立即数均处理完毕，星上计算机再进行后继处理。
-
公开(公告)号：CN103745153A
公开(公告)日：2014-04-23
申请号：CN201310746198.3
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F21/52
CPC classification number: G06F21/52 , G06F11/3644
Abstract: 一种航天器软件空间使用安全性检查方法，是一种针对航天器软件内存空间使用安全的检查方法，目的在于检查航天器软件是否会出现内存使用违例的情况，包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时，全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时，程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下，完成上述两种软件空间使用安全问题的检查，具有良好的适应性。本发明方法的复杂度低，适用于大规模软件。
-
公开(公告)号：CN103744813A
公开(公告)日：2014-04-23
申请号：CN201310751624.2
申请日：2013-12-31
Applicant: 北京控制工程研究所
Abstract: 一种保障1553B总线通信时序正确性的时序确定方法，根据1553B总线各个子地址通讯方式和特点，确定了通讯的时序要求，保障了总线通讯时序正确性。本发明解决了传统分析中时间要求不全面的问题。本发明识别出各个通讯功能的通讯时间和通讯间时间间隔要求，为分析提供了更为系统全面的因素。本发明不仅分析不同通讯功能之间有先后顺序和时间要求，还给出了多个通讯共同完成同一系统功能时，需要考虑的时序问题。这样减少了软件系统行为的不确定性。
-
公开(公告)号：CN103678136A
公开(公告)日：2014-03-26
申请号：CN201310744664.4
申请日：2013-12-30
Applicant: 北京控制工程研究所
Abstract: 一种基于控制流的数据竞争误报降低方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法，目的在于降低误报、提高分析准确度。一般认为，主程序和中断服务程序具有共享变量时，如果二者中至少一个对该共享变量进行了写操作，那么该变量可能会发生数据竞争。本发明以语法分析技术为基础，结合领域特征，识别无害的数据竞争，降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率，有利于发现真正有害的数据竞争。
-
公开(公告)号：CN103092760A
公开(公告)日：2013-05-08
申请号：CN201310036432.3
申请日：2013-01-30
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种软件修正性在轨维护优化方法，步骤为：（1）确定星上软件代码中需要实施在轨维护函数的最后一个修改点语句；（2）在所述新函数的最后一个修改点语句之后，进行恢复寄存器现场和修改所述新函数的返回地址的操作，将新函数的返回地址修改为所述需要实施在轨维护函数在其最后一个修改点语句之后的下一条语句的地址；（3）将所述新函数与原有星上软件代码进行联合编译；（4）提取联合编译之后的所述新函数对应的代码并且上注到星上用于替换所述需要实施在轨维护函数。采用本发明方法实现了软件修正性在轨维护的优化设计，可明显减少程序的注入量，降低注入程序被单粒子打翻的风险。
-
-
-
-
-
-
-
-
-
Search Results
113
records
(took 0.028 seconds)
