钟德明(1977- )，男，工学博士，高级工程师，毕业于北京航空航天大学，2005年4月博士毕业留校至今，任教于北京航空航天大学可靠性与系统工程学院。北京市优秀青年工程师，省部级软件专家，北航学院优秀学业导师。发表SCI、EI、ISTP等论文50余篇。长期从事软件验证、软件工程、系统和软件安全性、嵌入式软件开发等方面的工作。

研究方向：安全关键软件开发，嵌入式软件质量和系统安全。

最近期望招收研究生从事以下工作：１）嵌入式软件开发实验。使用ＲＴ－Ｔｈｒｅａｄ操作系统和ＡＲＭ的ＳＴＭ３２芯片。２）航空发动机控制软件缺陷分析。       期望同学学习过操作系统、模电、数电、自控原理，对嵌入式软件的开发和分析感兴趣，喜欢动手，有耐心，渴望解决实际工程问题。

申请的专利:

1.受理发明专利1项：“一种潜在不安全控制动作的生成方法”（申请号202211388197.1）

2.受理发明专利1项：“一种基于模型检测的功能共振分析方法”（申请号202210785132.4）

3.授权发明专利1项：“一种基于仿真的系统理论过程分析方法”（授权公告号CN112783005B）。

近年承担的部分课题：

1.“先进发动机软件涌现危险识别方法研究”，工信部可靠性与环境工程重点实验室基金项目，2021年-2022年
2.“航电演化机理和安全性分析方法研究”，国家自然科学基金委和中国民航总局联合重点支持项目，2016年-2020年；
3.“综合化系统资源能力综合的安全性问题”（编号：2014CB744900），科技部项目973课题，2014年－2018年；
4.“嵌入式软件安全性分析技术研究”，工信部技术基础项目，2016年-2018年
5.“软件可靠性设计分析评估及集成技术”（编号：5131980102），工信部“十二五”预研项目，2011年－2015年；
6.“软件管理和关键技术研究”，工信部项目，2009年－2014年；
7.“嵌入式软件安全性技术研究”（编号：200914164）， 工信部项目，2010年；
8.“直升机飞控软件安全性要求分析”，工信部项目，2012年－2014年；
9.“面向交互的安全性分析方法研究”，工信部项目，2012年－2014年；
10.“飞行控制软件安全性要求分析”，工信部项目，2012年；
11.“导航系统故障排查攻关研究”，工信部项目，2008年。

近年的部分论文：
1、System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV[J]，Applied Sciences,2022

2、一种准确识别损失场景的STPA方法，北航学报，2021

3、Formal system interactive failure analysis method based on systems theoretic process analysis model,Engineering Failure Analysis,2019，SCI检索
4、Integrating Model Checking With SysML in Complex System Safety Analysis，IEEE ACCESS 2019，SCI检索
5、Avionics system failure analysis and verification based on model Checking,Engineering Failure Analysis,2019，SCI检索
6、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检索