个人简历

钟德明(1977- )，男，工学博士，高级工程师，毕业于北京航空航天大学，2005年4月博士毕业留校至今，任教于北京航空航天大学可靠性与系统工程学院。北京市优秀青年工程师，省部级软件专家，守锷书院优秀导师。发表SCI、EI、ISTP等论文50余篇。长期从事软件验证、软件工程、系统和软件安全性等方面的研究。\r
\r
教育经历\r
北京航空航天大学 航空宇航科学与技术 博士学位\r
北京航空航天大学 工程系统工程 硕士学位\r
北京航空航天大学 自动控制 学士学位\r
\r
工作经历\r
2005.4 - 至今 可靠性与系统工程学院

研究领域

安全关键软件开发。包括：嵌入式软件需求、设计、编码、验证、质量保证、配置管理等方面的内容\r
\r
\r
\r
"安全关键软件开发方法及应用\r
软件密集型系统的安全性分析方法及应用"

近期论文

System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV[J]，Applied Sciences,2022\r
\r
一种准确识别损失场景的STPA方法，北航学报，2021\r
\r
Formal system interactive failure analysis method based on systems theoretic process analysis model,Engineering Failure Analysis,2019，SCI检索\r
\r
Integrating Model Checking With SysML in Complex System Safety Analysis，IEEE ACCESS 2019，SCI检索\r
\r
Avionics system failure analysis and verification based on model Checking,Engineering Failure Analysis,2019，SCI检索\r
\r
A STAMP Analysis on the China-Yongwen Railway Accident Computer Safety Reliability and Secruity Lecture Notes in Computer Science,2012，International Conference on Computer Safety,Reliability and Security,ISTP检索