彭亮
- 作品数:7 被引量:1H指数:1
- 供职机构:北京航天自动控制研究所更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于TCL脚本构建PLC外围设备等效器的方法与装置
- 公开了一种基于TCL脚本构建PLC外围设备等效器的方法与装置。所述方法包括:根据待测PLC的测试任务,从预先设置的PLC测试脚本库中选取与测试任务对应的PLC控制指令;基于所述PLC控制指令及TCL内建指令构建测试用例;...
- 王丹彭亮钱杰阳徽
- 文献传递
- 一种基于TCL脚本构建PLC外围设备等效器的方法与装置
- 公开了一种基于TCL脚本构建PLC外围设备等效器的方法与装置。所述方法包括:根据待测PLC的测试任务,从预先设置的PLC测试脚本库中选取与测试任务对应的PLC控制指令;基于所述PLC控制指令及TCL内建指令构建测试用例;...
- 王丹彭亮钱杰阳徽
- 一种基于软总线的数据同步及交换方法
- 本发明公开了一种基于软总线的数据同步及交换方法,在冗余设计软件的全数字仿真环境基础上,使用基于PC值同步的方法,解决了在以往的系统级全数字仿真环境中无法满足短时间内多次交互的需求。本发明的基于软总线的数据同步及交换方法,...
- 王亚飞王洋申彪彭亮宋子溦王瀚超薛静黄鹂杨娇茹林桂芳阳徽费亚男
- PLC层次化建模和使用其的测试方法
- 公开了PLC层次化建模和使用其的测试方法,其中该测试方法包括:根据待测PLC的参数信息查询预设的PLC模型库,获取与待测PLC对应的PLC模型;基于PLC模型,查询预设的PLC模型库与预设的测试资源库之间的连接关系,确定...
- 彭亮王丹钱杰丁名晓阳徽
- 文献传递
- SOPC片上系统仿真验证方法研究被引量:1
- 2017年
- 从物理板级验证与RTL代码仿真2个方面介绍了现阶段SOPC的验证方法,重点分析了基于SOPC的RTL仿真处理流程与运行机制,通过搭建SOPC软件仿真平台,完成SOPC片上系统硬件逻辑的功能验证与处理性能评估,最后提供了仿真覆盖率指标,可确保测试验证的充分性。
- 周辉费亚男朱伟杰李洋彭亮
- PLC层次化建模和使用其的测试方法
- 公开了PLC层次化建模和使用其的测试方法,其中该测试方法包括:根据待测PLC的参数信息查询预设的PLC模型库,获取与待测PLC对应的PLC模型;基于PLC模型,查询预设的PLC模型库与预设的测试资源库之间的连接关系,确定...
- 彭亮王丹钱杰丁名晓阳徽
- 一种面向多虚拟处理器的程序条件断点技术
- 2023年
- 考虑到载人航天、探月工程中嵌入式软件的编译器存在差异,编译器生成的目标文件格式和嵌入式处理器的不同,基于嵌入式处理器虚拟化技术,提出一种通用的调试信息存储结构,支持不同目标文件调试信息的通用存储;提出一种条件断点控制技术和一种通用条件断点控制模型,实现了面向多种架构虚拟处理器的程序条件断点控制;完成调试器DIP开发和功能测试。将以上技术应用于载人航天、探月工程中多个安全关键嵌入式软件测试,发现了嵌入式软件中的深层软件问题。
- 王洋申彪彭亮戴丽虹武咏晗
- 关键词:虚拟处理器调试器