教育背景

博士 202012 美国俄亥俄州立大学  核工程

硕士 201407 中国科学技术大学   核能科学与工程

学士 201107 中国科学技术大学   核能科学与工程

工作履历

202012-202207 美国俄亥俄州立大学 博士后

202209-至今 清华大学核研院  助理研究员

研究领域

核电仪控系统网络安全、先进反应堆仪控系统设计、数字化仪控系统安全级软件的验证与确认、仪控系统的可靠性与安全性

学术成果

文章：

Boyuan Li, Duo Li, Chao Guo, Jianghai Li, and Xiaojin Huang. "Heuristics for Strongly Killing Mutants in Software Mutation Testing." In 2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), pp. 1-10. IEEE, 2024.

Boyuan Li, Duo Li, Jianghai Li, Chao Guo, Huasheng Xiong, Shuqiao Zhou, and Xiaojin Huang. "Quantifying Software Safety in Nuclear Power Plants: A Framework for Requirements Phase Assessment." In International Conference on Nuclear Engineering, vol. 88308, p. V010T12A013. American Society of Mechanical Engineers, 2024.

Canxing Huang, Huasheng Xiong, Zhe Dong, Boyuan Li, and Shuqiao Zhou. "A Coordinated Control Strategy for NHR200-II Under Load Rejection Condition." In International Conference on Nuclear Engineering, vol. 88230, p. V003T03A022. American Society of Mechanical Engineers, 2024.

Boyuan Li, Duo Li, Chao Guo, Huasheng Xiong, Xiaojin Huang, “Simplifying Reactor Protection Systems in High-Temperature GasCooled Reactors An Exploration”, the 11th International Topical Meeting on High Temperature Reactor Technology, 2024.

Jianghai Li, Boyuan Li*, Si Yao, Chao Guo, Xiaojin Huang“Cyber anomaly detection based on physical raw signal monitoring”, the International Symposium on Future I&C for Nuclear Power Plants, 2024.

Boyuan Li, and Carol Smidts. "A Zone-based Model for Analysis of Dependent Failures in Requirements Inspection." IEEE Transactions on Software Engineering, 2023.

Boyuan Li, Xiaoxu Diao, Pavankumar Vaddi, Wei Gao, Carol Smidts, “A propagation-based fault detection and discrimination method and the optimization of sensor deployment”, Annals of Nuclear Energy, 166, 2022

Boyuan Li, Xiaoxu Diao, Wei Gao, Carol Smidts, “A Requirements Inspection Method Based on Scenarios Generated by Model Mutation and the Experimental Validation”, Empirical Software Engineering, 26(5), 2021

Boyuan Li, Carol Smidts, Ted Quinn, “Effects Assessment for Requirements Faults of Safety Critical Software in Nuclear Industry”, Annual Reliability and Maintainability Symposium (RAMS), IEEE, 2020.

Boyuan Li, Fuqun Huang, Carol Smidts, Ted Quinn, “A Quantification Framework for Software Safety in the Requirements Phase”, Annual Reliability and Maintainability Symposium (RAMS), IEEE, 2018.

Boyuan Li, Carol Smidts, “Extension of Mutation Testing for the Requirements and Design Faults”, Proc. Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, 2017.

Boyuan Li, Rongxiang Hu, Jin Wang, Fang Wang “A New Reliability Allocation Method Based on FTA and AHP for Nuclear Power Plant.” Proc. Probabilistic Safety Assessment and Management, June 2014, Hawaii, USA.

Boyuan Li, Fuqun Huang, Tedd Quinn, Carol Smidts, “Importance Ranking of Software Dependability Attributes in the Nuclear Industry”, Transactions of the American Nuclear Society, 114(1), 2016

Xiaoxu Diao, Pavan Kumar Vaddi, Boyuan Li, Wei Gao, Carol Smidts, “A Model-Based Symbolic Inference for Sensor Deployment Optimization for Fault Detection of the EBR-II Reactor”, 12th Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, 2021

Fuqun Huang, Boyuan Li, Carol Smidts, “A Method for Merging Experts’ Cause-Effect Knowledge in Software Dependability,” Annual Reliability and Maintainability Symposium, IEEE (RAMS), 2018.

Fuqun Huang, Boyuan Li, Mike Pietrykowski, Carol Smidts, “Using Causal Mechanism Graphs to Elicit Software Safety Measures”, The 39th Enlarged Halden Programme Group Meeting, 2016.

Carol Smidts, Fuqun Huang, Boyuan Li and Ted Quinn, “Software Dependability for Digital Instrumentation and Control Systems in Nuclear Power Plants-Lessons Learnt from a DOE Sponsored Project”, Transactions of the American Nuclear Society, 114(1), 2016

专利：

李博远, 胡戎翔, 汪进, 王芳, 贾伟, 吴宜灿, “一种基于故障树和层次分析法的可靠性分配系统及分配方法”, 2016, 中国专利,专利编号 CN103617105B

胡戎翔, 李博远, 袁润, 王大桂, 吴宜灿, “一种基于数据驱动的自适应多层流模型设备诊断方法”, 2016, 中国专利,专利编号CN103440419B