-
公开(公告)号：CN117631555A
公开(公告)日：2024-03-01
申请号：CN202311416509.X
申请日：2023-10-30
Applicant: 北京轩宇信息技术有限公司
IPC: G05B17/02
Abstract: 本发明公开了一种1553B总线半物理仿真系统及方法，包括目标板、FPGA接口仿真设备、驱动封装模块、1553B总线仿真芯片和终端虚拟设备，所述目标板通过接口映射逻辑连接有FPGA接口仿真设备；仿真方法，包括步骤一，映射；步骤二，读写寄存器组；步骤三，数据存放；步骤四，发送数据；步骤五，同步数据；步骤六，存放接收和发送；步骤七，状态模拟；步骤八，发送和接收缓存区；步骤九，协议传输；该发明，采用接口物理模拟和处理逻辑仿真相结合的方式，实现1553B总线的半物理仿真，形成了由上位机软件和智能目标板组成的处理器在回路仿真测试环境，基于此种紧耦合架构的智能目标板可作为嵌入式系统的目标机快速原型，形成程序运行环境。
-
公开(公告)号：CN112015639B
公开(公告)日：2024-03-15
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
公开(公告)号：CN109474582B
公开(公告)日：2021-10-01
申请号：CN201811249953.6
申请日：2018-10-25
Applicant: 北京轩宇信息技术有限公司
IPC: H04L29/06
Abstract: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置，其中，所述方法包括：依据所述仿真嵌入式系统中的协议对传输协议层进行配置，其中，所述传输协议层包含多个数据节点；参照所述传输协议层中各所述数据节点，对数据字典层进行配置；根据配置后的传输协议层和数据字典层，建立数据通信协议；基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法，传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换，使得数据协议处理过程层次清晰，面向仿真的物理数据可操作性强且处理结果重用性强，数据交互方便可靠且不易出错。
-
公开(公告)号：CN119847607A
公开(公告)日：2025-04-18
申请号：CN202411781459.X
申请日：2024-12-05
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开一种将指令集构建为离散化三维矩阵的流水线仿真方法。包括：根据处理器的指令集语义，依照执行功能、执行时间、执行属性三个维度，构建出全部指令的离散化三维矩阵模型；解析目标码中指令内容，建立指令内容与所述的离散化三维矩阵模型的对应关系；将目标码指令的离散化三维矩阵模型按照目标码中的指令执行顺序放入指令集运行象限，从而生成三维指令集流水线矩阵，进一步将其依照执行功能与执行时间的关系进行串行化转换；串行化后的指令集流水线是一种按照时间顺序进行单点功能执行的二维序列，执行属性用于辅助完成单点功能仿真，从而完成指令集流水线的仿真。解决了现有模拟器针对高复杂度的指令集流水线难以进行排序的仿真问题。
-
公开(公告)号：CN112015639A
公开(公告)日：2020-12-01
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
Patent Agency Ranking
公开(公告)号：CN109474582A
公开(公告)日：2019-03-15
申请号：CN201811249953.6
申请日：2018-10-25
Applicant: 北京轩宇信息技术有限公司
IPC: H04L29/06
Abstract: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置，其中，所述方法包括：依据所述仿真嵌入式系统中的协议对传输协议层进行配置，其中，所述传输协议层包含多个数据节点；参照所述传输协议层中各所述数据节点，对数据字典层进行配置；根据配置后的传输协议层和数据字典层，建立数据通信协议；基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法，传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换，使得数据协议处理过程层次清晰，面向仿真的物理数据可操作性强且处理结果重用性强，数据交互方便可靠且不易出错。
-
公开(公告)号：CN115454862A
公开(公告)日：2022-12-09
申请号：CN202211139603.0
申请日：2022-09-19
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于关键字驱动的自动化测试并行执行系统，包括：并行执行管理模块，用于对测试子线程进行管理；关键字步骤并行执行模块，用于创建测试子线程的可执行环境；信息交互模块，用于实现线程间的信息传递和交互；异常处理模块，用于在关键字步骤执行错误时判断测试用例是否继续执行；执行结果管理模块，用于对关键字步骤的执行结果进行统计和管理；日志信息模块，用于形成完整的测试执行过程记录；并行执行关键字库，用于将并行执行机制融入基于关键字驱动的自动化测试架构；并行测试驱动模块，用于实现对嵌入式软件全数字自动化测试。本发明解决了现有的基于关键字驱动的自动化测试框架下因单线程执行关键字步骤导致测试效率不高的问题。
-
公开(公告)号：CN114866178A
公开(公告)日：2022-08-05
申请号：CN202210343890.0
申请日：2022-03-31
Applicant: 北京轩宇信息技术有限公司
IPC: H04J3/06
Abstract: 本发明公开了一种基于步长的分布式仿真系统时间同步方法，包括：确定不同仿真节点之间的同步步长；确定在每台计算机上的各仿真节点之间的本地时间同步步长t；确定分布式仿真系统时间同步步长T；要求T是t的整数倍；在每台计算机上，各个仿真节点按照本地时间同步步长t进行同步运行，每个仿真节点在运行至本地同步基准线；当所有仿真节点第n次到达本地同步基准线，且满足条件n*t＝T时，向网络中其他计算机发送该机已经运行至下一个分布式同步基准线的信号，并检查是否已经接收到所有其他计算机已经运行至下一个分布式同步基准线的信号。本发明可以减少网络延迟的影响，降低虚拟仿真节点之间的时间同步开销，从而提升分布式仿真系统性能。
-
公开(公告)号：CN108710551B
公开(公告)日：2021-12-07
申请号：CN201810398608.2
申请日：2018-04-28
Applicant: 北京轩宇信息技术有限公司
Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
-
公开(公告)号：CN115935872A
公开(公告)日：2023-04-07
申请号：CN202211018041.4
申请日：2022-08-24
Applicant: 北京轩宇信息技术有限公司
IPC: G06F30/331
Abstract: 本发明涉及一种可扩展的FPGA仿真验证自动化方法，步骤包括：建立标准规范文件；通过元语法符号和模板引擎建立转换器模型；根据元模型设计转换器，提供专用环境读取被测单元信息；根据元元模型设计转换器，按照表单化视图输入验证用例步骤，生成用户自定义格式的验证报告；定义新的标准规范文件类型进行功能扩展，设计抽象模型实现更高抽象序列层的视图转换。本发明增强了验证工具的适应性，提升了工具应用的灵活性。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.029 seconds)
