基本信息
王金波 男 硕导 空间应用工程与技术中心
电子邮件:wangjinbo@csu.ac.cn
通信地址:北京海淀邓庄南路9号中科院北京新技术基地PITC楼
邮政编码:

招生信息

   
招生专业
081203-计算机应用技术
招生方向
高可靠软件测试与验证

教育背景

2003-09--2008-06 中国科学院大学 博士学位

工作经历

   
工作简历
2010-12--今 中国科学院空间应用工程与技术中心 副研究员
2008-07--2010-12 中国科学院光电研究院 工程师

专利与奖励

   
奖励信息
(1) 军队科技进步奖,三等奖,部委级,2012
(2) 军队科技进步奖,二等奖,专项级,2009

出版信息

   
发表论文
[1] Zhou, Shan, Wang, Jinbo, Jia, Jiao, Zhang, Chi, Wang, Ruixue. A Formal Verification Method for the SOPC Software. IEEE TRANSACTIONS ON RELIABILITY[J]. 2022, 71(2): 818-829, http://dx.doi.org/10.1109/TR.2022.3166548.
[2] Senjie Zhang, Shuai Wang, Jinbo Wang, Shan Zhou, Zhaohui Yao. Quantitative Analysis of Information Leakage Hardware Trojans in IP Cores. 2022 International Conference on Dependable Systems and Their Applications 2022[J]. 2022, [3] Wang, Mengru, Wang, Jinbo, Wang, Jianmin, Zhou, Shan. Single Particle Fault Injection Signal Generation Method Using Gaussian Cloud Model. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS[J]. 2021, 37(1): 127-140, http://dx.doi.org/10.1007/s10836-021-05928-2.
[4] Lu Kong, JinBo Wang, Shan Zhou, MengRu Wang. A Multiple-Fault Localization Method for Embedded Software with Applications in Engineering. MATHEMATICAL PROBLEMS IN ENGINEERING[J]. 2021, 2021: https://doaj.org/article/9e3f279425cc493284fe9640e32c04b8.
[5] 王梦茹, 周珊, 张弛, 王金波. 一种SRAM型FPGA单粒子故障注入实验集的筛选方法. 微电子学与计算机[J]. 2021, 38(1): 38-44, https://nxgp.cnki.net/kcms/detail?v=3uoqIhG8C46NmWw7YpEsKMypi3qVj28LEUDxQXHYyS3fbyEOrIfBzPezEu06tMYqMvCN5FFv1LVAK2HTHd98YKDsuDp4DLPo&uniplatform=NZKPT.
[6] 王梦茹, 周珊, 薛盼盼, 孔璐, 王金波. 基于SEM IP和部分重配置的SRAM型FPGA单粒子故障注入. 微电子学与计算机[J]. 2021, 38(8): 8-12, http://lib.cqvip.com/Qikan/Article/Detail?id=7105272461.
[7] Wang, MengRu, Zhang, Tao, Wang, JinBo, Zhou, Shan, Kong, Lu. SEE Fault Sensitivity Analysis and Security Reinforcement Design for FPGA Circuits Based on Complex Network. IEEE ACCESS[J]. 2020, 8: 95618-95628, https://doaj.org/article/f34324b1363440ec8b3fdbeb977fb125.
[8] Wang, MengRu, Zhang, Tao, Wang, JinBo, Zhou, Shan, Kong, Lu. SEE Fault Sensitivity Analysis and Security Reinforcement Design for FPGA Circuits Based on Complex Network (vol 8, pg 95618, 2020). IEEEACCESSnull. 2020, 8: 163501-163501, https://www.webofscience.com/wos/woscc/full-record/WOS:000572897100001.
[9] Yao, Zhexi, Zhu, Lingchao, Zhang, Tao, Wang, Jinbo. Optimal Selection of Tests for Fault Diagnosis in Multi-Path System with Time-delay. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS[J]. 2020, 36(1): 75-86, http://dx.doi.org/10.1007/s10836-020-05854-9.
[10] Wang, Jianmin, Wang, Jinbo. Credibility Evaluation for Small Sample Data based on Grey System Theory and Cloud Model. JOURNAL OF GREY SYSTEM[J]. 2020, 32(1): 59-77, https://www.webofscience.com/wos/woscc/full-record/WOS:000589825600005.
[11] 江志强, 王金波, 王晓华. 基于特征模型和遗传算法的测试用例自动生成. 计算机与数字工程[J]. 2019, 47(12): 3219-3224, http://lib.cqvip.com/Qikan/Article/Detail?id=7100573603.
[12] 单锦辉, 张路, 王金波, 张涛. 实时嵌入式软件时间抽象状态机的扩展. 北京大学学报:自然科学版[J]. 2019, 55(2): 197-208, http://lib.cqvip.com/Qikan/Article/Detail?id=7001461132.
[13] Yao, Zhexi, Zhang, Tao, Wang, Jinbo, Zhu, Lingchao. A Feature Selection Approach based on Grey Relational Analysis for Within-project Software Defect Prediction. JOURNAL OF GREY SYSTEM[J]. 2019, 31(3): 105-116, [14] 张弢, 王金波, 张涛. 基于相关矩阵与概率模型的故障模糊诊断. 系统工程与电子技术[J]. 2018, 40(2): 346-352, http://lib.cqvip.com/Qikan/Article/Detail?id=674337096.
[15] 王梦茹, 周珊, 王金波, 薛盼盼. 基于MATLAB的智能测试系统PMSM物理实时仿真平台. 系统仿真学报[J]. 2018, 30(6): 2225-2235,2244, http://lib.cqvip.com/Qikan/Article/Detail?id=675386809.
[16] 速昱行, 王金波. 基于SPIN的Linux管道模型检测研究. 电子设计工程[J]. 2018, 26(23): 163-168, http://lib.cqvip.com/Qikan/Article/Detail?id=676782192.
[17] 苏宇, 孔璐, 张弢, 王金波, 周珊. 一种分布式半实物仿真测试前端系统的研究. 电子设计工程[J]. 2018, 26(1): 1-6, http://lib.cqvip.com/Qikan/Article/Detail?id=674231334.
[18] 刘宇帅, 苏宇, 王金波, 吴晨阳. 航天嵌入式Linux实时性能优化研究. 航天控制[J]. 2018, 36(3): 57-62,78, http://lib.cqvip.com/Qikan/Article/Detail?id=675483386.
[19] 张弢, 王金波, 张涛, 王建敏. 基于灰色理论的复杂系统多故障模糊诊断. 北京航空航天大学学报[J]. 2017, 43(9): 1832-1840, http://lib.cqvip.com/Qikan/Article/Detail?id=66747275504849554857484953.
[20] 周珊, 杨雅雯, 王金波. 航天高可靠FPGA测试技术研究. 计算机技术与发展[J]. 2017, 27(3): 1-5, http://lib.cqvip.com/Qikan/Article/Detail?id=671586356.
[21] 马云云, 张弛, 王金波, 瞿跃龙. 嵌入式航天软件汇编代码覆盖测试方案. 航天控制[J]. 2017, 35(5): 68-73, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=6102901&detailType=1.
[22] Wang, Jianmin, Wang, Jinbo, Zhang, Tao, Wu, Yunjie. Probability estimation based on grey system theory for simulation evaluation. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS[J]. 2016, 27(4): 871-877, https://www.webofscience.com/wos/woscc/full-record/WOS:000383009000015.
[23] 孔璐, 张涛, 王金波, 周珊. 基于硬件加速的实时仿真平台构建技术. 微电子学与计算机[J]. 2016, 33(1): 34-36, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=5611594&detailType=1.
[24] Shan, JinHui, Zhao, HaiYan, Wang, JinBo, Wang, RuiXue, Ruan, ChengLin, Yao, ZheXi, Zhang, L, Xu, C. An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study. SOFTWARE ENGINEERING AND METHODOLOGY FOR EMERGING DOMAINSnull. 2016, 675: 19-34, [25] 周珊, 王金波, 王晓丹. 基于时序路径的FPGA时序分析技术研究. 微电子学与计算机[J]. 2016, 33(1): 76-80, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=5611603&detailType=1.
[26] 马云云, 王金波, 张弢, 王晓华. 基于模型的方法在软件测试领域的应用与发展. 计算机系统应用[J]. 2016, 274-278, http://lib.cqvip.com/Qikan/Article/Detail?id=669127032.
[27] 苏宇, 孔璐, 周珊, 马云云, 王金波. 基于ARM&FPGA的1394仿真测试前端系统设计. 计算机测量与控制[J]. 2016, 24(3): 35-39, http://lib.cqvip.com/Qikan/Article/Detail?id=668294631.
[28] 周珊, 王金波. 基于软件和逻辑联合仿真的SOPC验证技术研究. 微电子学与计算机[J]. 2016, 33(6): 82-86, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=5720606&detailType=1.
[29] 苏宇, 胡珩, 张涛, 王金波. 基于PTPd的精准时钟同步技术的研究. 计算机技术与发展[J]. 2016, 26(1): 175-180, http://lib.cqvip.com/Qikan/Article/Detail?id=667697801.
[30] 苏宇, 张涛, 王相阳, 王金波. 有限转角直流无刷电机的建模与实现. 计算机仿真[J]. 2013, 257-261, http://lib.cqvip.com/Qikan/Article/Detail?id=45496616.
[31] 王金波, 张涛. 基于故障注入的嵌入式软件安全性测试框架及实现. 计算机应用研究[J]. 2012, 29(8): 2991-2995, http://lib.cqvip.com/Qikan/Article/Detail?id=42855697.
[32] 王晓华, 张涛, 尚景亮, 王金波. 多维标度法选择回归测试子集. 计算机科学[J]. 2010, 37(11): 131-134,140, http://lib.cqvip.com/Qikan/Article/Detail?id=35822970.
[33] 王金波, 赵光恒, 陈蔚薇. 基于任务剖面关键度划分的嵌入式软件可靠性增长模型. 吉林大学学报:工学版[J]. 2009, 436-439, http://lib.cqvip.com/Qikan/Article/Detail?id=1000650865.
[34] 王金波, 赵光恒, 陈蔚薇. 安全关键软件的安全性保障工作研究. 计算机工程与设计[J]. 2008, 29(5): 1072-1075, http://lib.cqvip.com/Qikan/Article/Detail?id=26717885.

科研活动

   
科研项目
(1) T2软件第三方评测,主持,专项级,2012-01--2014-01