王金波
- 作品数:38 被引量:87H指数:5
- 供职机构:中国科学院更多>>
- 发文基金:国家科技重大专项中国科学院国防科技创新基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信航空宇航科学技术更多>>
- 基于SPIN的Linux管道模型检测研究
- 2018年
- 针对科学实验载荷使用的Linux操作系统,对其测试方法等做了研究总结。模型检测作为一种全自动运行的形式化验证手段,在其适用领域对发现系统逻辑错误意义重大。针对操作系统测试需要,对Linux管道通信进行了源代码研究,使用有限状态自动机进行建模并转化为Promela语言,并运用SPIN模型检测工具对其进行了形式化验证;对之前研究中模型不完整、不够细化、主体间关联性等问题进行了改进和完善,并就实验中发现的问题进行分析,并提出了改进方案。
- 速昱行王金波
- 关键词:形式化验证LINUX进程间通信
- 一种基于ATE的FPGA器件测试系统及方法
- 本发明涉及一种基于ATE的FPGA器件测试系统及方法,其中系统包括测试控制装置、波形转换装置和测试监显装置;所述测试控制装置控制激励控制信号通过波形转换装置输入到被测FPGA器件,FPGA器件接收激励控制信号,并根据所述...
- 周珊王金波孔璐
- 文献传递
- 一种航空发动机故障诊断方法、系统及电子设备
- 本发明涉及一种航空发动机故障诊断方法、系统及电子设备,对待诊断航空发动机的参数进行两次分析,具体为采用至少三种分析法对待诊断航空发动机的参数进行分析,以及采用至少三种相关系数算法对所述第一敏感参数并集集合中的每两个敏感参...
- 马云云王建敏王彬张弛王金波周珊
- 文献传递
- 实时嵌入式软件时间抽象状态机的扩展被引量:4
- 2019年
- 针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。
- 单锦辉张路王金波张涛
- 关键词:嵌入式软件形式化定义
- 一种基于ATE的FPGA器件测试装置
- 本实用新型涉及一种基于ATE的FPGA器件测试装置,包括测试控制器、波形转换器和测试显示器;所述测试控制器通过波形转换器与被测FPGA器件相连接;所述波形转换器分别与测试控制器和被测FPGA器件双向连接;所述波形转换器与...
- 周珊王金波孔璐
- 文献传递
- 基于DDS总线的节点管理方法及系统
- 本发明公开了基于DDS总线的节点管理方法及系统,涉及网络技术领域。该方法包括:获取待接入节点的操作系统信息和CPU架构信息;调用与操作系统信息对应的DDS总线的库函数;根据CPU架构信息选择与DDS总线对应的交叉编译环境...
- 周珊王金波杨雅雯张弛
- 文献传递
- 一种基于ATE的FPGA器件测试系统及方法
- 本发明涉及一种基于ATE的FPGA器件测试系统及方法,其中系统包括测试控制装置、波形转换装置和测试监显装置;所述测试控制装置控制激励控制信号通过波形转换装置输入到被测FPGA器件,FPGA器件接收激励控制信号,并根据所述...
- 周珊王金波孔璐
- 一种软件测试方法和系统
- 本发明涉及一种软件测试方法和系统,属于软件测试技术领域。其中,方法包括:获取待测软件的软件需求规约中的需求信息;根据需求信息对软件需求规约进行拆分,得到多个特征,每个特征包括:特征信息;根据每个特征信息中的任务边界信息,...
- 王晓华王金波张涛瞿跃龙马云云
- 文献传递
- 一种航空发动机故障诊断方法、系统及电子设备
- 本发明涉及一种航空发动机故障诊断方法、系统及电子设备,对待诊断航空发动机的参数进行两次分析,具体为采用至少三种分析法对待诊断航空发动机的参数进行分析,以及采用至少三种相关系数算法对所述第一敏感参数并集集合中的每两个敏感参...
- 马云云王建敏王彬张弛王金波周珊
- 一种软件配置项的测试装置
- 本实用新型涉及一种软件配置项的测试装置,包括网络接口、CPU处理器、FPGA芯片、信号转换器、接口转换器和存储器;所述网络接口、CPU处理器、FPGA芯片、信号转换器和接口转换器依次双向连接;所述CPU处理器通过网络接口...
- 周珊王彬王金波
- 文献传递