钟德明 - 北京航空航天大学 - 可靠性与系统工程学院

个人简介

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

研究领域

安全关键软件开发，嵌入式软件质量和系统安全

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV[J]，Applied Sciences,2022 一种准确识别损失场景的STPA方法，北航学报，2021 Formal system interactive failure analysis method based on systems theoretic process analysis model,Engineering Failure Analysis,2019，SCI检索 Integrating Model Checking With SysML in Complex System Safety Analysis，IEEE ACCESS 2019，SCI检索 Avionics system failure analysis and verification based on model Checking,Engineering Failure Analysis,2019，SCI检索 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检索