-
公开(公告)号：CN113438008B
公开(公告)日：2022-10-28
申请号：CN202110425173.8
申请日：2021-04-20
Applicant: 北京控制工程研究所
IPC: H04B7/185 , H04B17/391 , H04J3/06 , G06F9/54
Abstract: 本发明一种适用于姿轨控系统多机容错架构的多机时标仿真方法，在多机的共享内存中设计了独立互斥的数据空间，为时标的统一管理提供数据基础，采用多次时标同步的方式，将多机共享内存中数据交换和传输的过程进行阶段划分，保证多机在不同的数据处理阶段均为同步状态，避免将非同步的数据引入计算，实现了任务级的多机时标统一，然后设计了同步控制器，使用同步控制器与各机通信，以仿真时间为控制基准进行同步，设计了高优先级的同步参数，让单机调试过程与多机的时标统一不再矛盾，实现了系统级的多机时标统一。最终解决了容错架构下多机时标统一问题，该仿真方法不仅实现了任务级的时标统一，也实现了系统级的时标统一，目前已在空间站仿真环境中成功运用。
-
公开(公告)号：CN102063370A
公开(公告)日：2011-05-18
申请号：CN201010611254.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。
-
公开(公告)号：CN102063328A
公开(公告)日：2011-05-18
申请号：CN201010611695.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F9/46
Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。
-
公开(公告)号：CN110430023A
公开(公告)日：2019-11-08
申请号：CN201910667362.9
申请日：2019-07-23
Applicant: 北京控制工程研究所
IPC: H04L1/16
Abstract: 一种适用于SpaceWire总线通讯的数据传输方法，数据发送端打包数据包，拼接各个数据包生成数据块，并生成描述此数据块的特征信息表，然后启动发送，将数据块发送至数据接收端，控制数据接收端接收数据块并解析其特征信息表，根据数据块特征信息表中的数据长度、数据包的种类，解析数据块获取得到各个数据包，若成功获取所有数据包，则应答传输成功应答符，否则应答传输失败应答符，数据发送端接收到应答符，判断此次发送的数据块是否传输成功，若传输不成功则重新启动发送，若传输成功则进行下一个数据块的发送，直至完成所有数据包的发送。
-
公开(公告)号：CN103955357A
公开(公告)日：2014-07-30
申请号：CN201410178279.2
申请日：2014-04-29
Applicant: 北京控制工程研究所
IPC: G06F9/40
Abstract: 一种动态二进制翻译指令集模拟器计时方法，本方法通过有效划分基本块，使得基本块每次执行时所占用的指令周期数可以在动态翻译阶段确定，从而实现模拟器的精确计时；计时过程包括下列步骤：(1)以跳转指令、分支指令和内存访问指令作为基本块的划分依据；(2)在动态翻译过程中，计算被翻译指令的周期数及所在内存区域的内存延迟大小，从而在动态翻译阶段确定基本块每执行一次所占用的指令周期数；(3)模拟器在执行翻译代码时，并以基本块为单位判断实时事件的响应时机。本方法能够对实时事件及时响应，可以满足航天嵌入式软件的强实时性需求，同时由于不需要逐条指令判断实时事件的响应时机，计时开销较小。
-
Patent Agency Ranking
公开(公告)号：CN102063370B
公开(公告)日：2013-10-16
申请号：CN201010611254.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。
-
公开(公告)号：CN114048063B
公开(公告)日：2024-06-07
申请号：CN202111145500.0
申请日：2021-09-28
Applicant: 北京控制工程研究所
IPC: G06F11/14 , G05D1/43 , G05D109/10
Abstract: 一种火星车驶离过程中切机或复位故障处理的方法，具体步骤如下：(1)驶离过程中，将控制参数每隔s秒发送给数管分系统进行保存；(2)驶离过程中，若发生切机或复位故障，在应用软件初始时向数管分系统申请取回切机或复位前保存的驶离控制参数；(3)若发生了从数管分系统获取驶离控制参数失败的二重故障，则读取预先存储在非易失性EEPROM存储器中的默认驶离控制参数；(4)若发生了EEPROM中的默认驶离控制参数读取失败的第三重故障，则启用预先存储在SRAM中的默认驶离控制参数。本发明采用数管分系统参数保存与恢复和双重默认参数相结合的方法，对现有星载软件切机或复位故障处理进行改进，以保证火星车更加自主可靠的从着陆平台驶离。
-
公开(公告)号：CN110430023B
公开(公告)日：2022-05-24
申请号：CN201910667362.9
申请日：2019-07-23
Applicant: 北京控制工程研究所
IPC: H04L1/16
Abstract: 一种适用于SpaceWire总线通讯的数据传输方法，数据发送端打包数据包，拼接各个数据包生成数据块，并生成描述此数据块的特征信息表，然后启动发送，将数据块发送至数据接收端，控制数据接收端接收数据块并解析其特征信息表，根据数据块特征信息表中的数据长度、数据包的种类，解析数据块获取得到各个数据包，若成功获取所有数据包，则应答传输成功应答符，否则应答传输失败应答符，数据发送端接收到应答符，判断此次发送的数据块是否传输成功，若传输不成功则重新启动发送，若传输成功则进行下一个数据块的发送，直至完成所有数据包的发送。
-
公开(公告)号：CN114048063A
公开(公告)日：2022-02-15
申请号：CN202111145500.0
申请日：2021-09-28
Applicant: 北京控制工程研究所
Abstract: 一种火星车驶离过程中切机或复位故障处理的方法，具体步骤如下：(1)驶离过程中，将控制参数每隔s秒发送给数管分系统进行保存；(2)驶离过程中，若发生切机或复位故障，在应用软件初始时向数管分系统申请取回切机或复位前保存的驶离控制参数；(3)若发生了从数管分系统获取驶离控制参数失败的二重故障，则读取预先存储在非易失性EEPROM存储器中的默认驶离控制参数；(4)若发生了EEPROM中的默认驶离控制参数读取失败的第三重故障，则启用预先存储在SRAM中的默认驶离控制参数。本发明采用数管分系统参数保存与恢复和双重默认参数相结合的方法，对现有星载软件切机或复位故障处理进行改进，以保证火星车更加自主可靠的从着陆平台驶离。
-
公开(公告)号：CN113438008A
公开(公告)日：2021-09-24
申请号：CN202110425173.8
申请日：2021-04-20
Applicant: 北京控制工程研究所
IPC: H04B7/185 , H04B17/391 , H04J3/06 , G06F9/54
Abstract: 本发明一种适用于姿轨控系统多机容错架构的多机时标仿真方法，在多机的共享内存中设计了独立互斥的数据空间，为时标的统一管理提供数据基础，采用多次时标同步的方式，将多机共享内存中数据交换和传输的过程进行阶段划分，保证多机在不同的数据处理阶段均为同步状态，避免将非同步的数据引入计算，实现了任务级的多机时标统一，然后设计了同步控制器，使用同步控制器与各机通信，以仿真时间为控制基准进行同步，设计了高优先级的同步参数，让单机调试过程与多机的时标统一不再矛盾，实现了系统级的多机时标统一。最终解决了容错架构下多机时标统一问题，该仿真方法不仅实现了任务级的时标统一，也实现了系统级的时标统一，目前已在空间站仿真环境中成功运用。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.019 seconds)
