个人简历
钟德明(1977- )，男，工学博士，高级工程师，毕业于北京航空航天大学，2005年4月博士毕业留校至今，任教于北京航空航天大学可靠性与系统工程学院。是某部软件专家组成员，北京市优秀青年工程师。发表SCI、EI、ISTP等论文40余篇。长期从事软件验证、软件工程、系统和软件安全性等方面的研究。作为课题负责人或骨干成员承担了多项国防预研、国防技术基础研究及军内科研项目等研究课题。是国家重点基础研究发展计划(973)课题“综合化航电系统资源融合安全性问题研究”的技术负责人，自然科学基金课题“航电演化机理和分析方法研究”的负责人。是某部级软件法规文件《软件研制管理办法》的主要起草人之一。获国防科技进步一等奖、二等奖各一项，参加国家科技进步特等奖两项。欢迎计算机、自动控制以及安全性等专业的同学联系读研究生。研究方向：
主要是控制危险自动识别技术。 涉及的工作包括：文本模型处理、算法设计、云计算应用、网络应用开发、模型检测技术应用、实时嵌入式系统建模、控制危险识别理论和方法、程序开发等。
近年承担的部分课题：
1.“航电演化机理和安全性分析方法研究”，国家自然科学基金重点支持项目，2016年-2019年；
2.“综合化系统资源能力综合的安全性问题”（编号：2014CB744900），科技部项目973课题，2014年－2018年；
3.“航空机载软件安全性分析技术研究”，工信部技术基础项目，2016年-2018年
4.“软件可靠性设计分析评估及集成技术”（编号：**），工信部“十二五”预研项目，2011年－2015年；
5.“飞机全机软件管理和关键技术研究”，工信部项目，2009年－2014年；
6.“飞机软件安全性技术研究”（编号：**）， 西安飞机设计研究所资助项目，2010年；
7.“直升机飞控软件安全性要求分析”，工信部项目，2012年－2014年；
8.“面向交互的安全性分析方法研究”，成都飞机设计研究所资助项目，2012年－2014年；
9.“飞控软件安全性要求分析”，成都飞机设计研究所资助项目，2012年；
10.“导航系统故障排查攻关研究”，工信部项目，2008年。
部分论文列举：
1、Formal system interactive failure analysis method based on systems theorectic process analysis model,Engineering Failure Analysis,2019，SCI检索
2、Integrating Model Checking With SysML in Complex System Safety Analysis，IEEE ACCESS 2019，SCI检索
3、Avionics system failure analysis and verification based on model Checking,Engineering Failure Analysis,2019，SCI检索
4、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检索
本人历年所指导学生的就业或升学去向如下：东软、华为、腾讯、优酷、中国银行总部、农业银行总部、法国里尔一大、英国约克大学、中国试飞院、中国空间技术研究院、Honeywell公司、商飞上海飞机设计研究院、中电十所、中航青云、中国航天科工集团第二研究院总体部、中航综合技术研究所、北京全路通信信号研究设计院、中国航天科技集团公司上海航天技术研究院、中航无线电研究所。
教育经历
[1] 北京航空航天大学 | 软件工程 | 博士学位[2] 北京航空航天大学 | 工程系统工程 | Master's Degree
[3] 北京航空航天大学 | 自动控制 | Bachelor's Degree
工作经历
[1] 2005.4-至今可靠性与系统工程学院
研究方向
[1] 主要研究定位是控制危险自动识别技术。涉及的工作包括：文本模型处理、算法设计、云计算应用、模型检测技术应用、实时嵌入式系统建模、控制危险识别理论和方法、程序开发。
研究领域
当前位置: 中文主页 >> 研究领域开授课程
当前位置: 中文主页 >> 开授课程共0条0/0
科研项目
当前位置: 中文主页 >> 科研项目共0条0/0
论文
当前位置: 中文主页 >> 论文共0条0/0
荣誉及奖励
当前位置: 中文主页 >> 荣誉及奖励共0条0/0
