钟德明
??
职???????称?????????副教授
行政职务?????????无
所在机构?????????软件可信性工程研究中心
座???????机?????????07961@buaa.edu.cn
办公地址?????????为民楼412
电子邮箱?????????07961@buaa.edu.cn
个人主页????????

--> 研究方向
C程序自动证明，云计算平台应用，模型检测（Model checking），系统安全性分析方法，与软件相关的适航技术，嵌入式软件安全分析，综合化航空电子系统安全性分析,软件开发等。欢迎计算机、自动控制及本院同学联系就读研究生！ 教育背景
1999.9-2005.4北航工程系统工程系，获博士学位 1995.9-1999.8北航自控控制系，获学士学位 学术兼职
讲授课程
曾经讲授学院本科专业课《软件质量与可靠性保证》。 奖励与荣誉
2010年国防科技进步一等奖 2010北京优秀青年工程师 学术成果
近年承担的部分课题：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.Translating Software Requirement form Natural Language to Automaton International Conference on Mechatronic Sciences Electric Engineering and Computer (MEC2013) 第二作者 2013 EI检索2.Research on Mehtodology for Safety Generation and Verification International Conference on Mechatronic Sciences Electric Engineering and Computer (MEC2013) 第二作者 2013 EI检索3.A STAMP Analysis on the China-Yongwen Railway Accident Computer Safety Reliability and Secruity Lecture Notes in Computer Science 第二作者 2012 ISTP检索4.Software Safety Certification framework based on Safety Case Computer Science & Service System(CSSS) 2012 International Conference 第三作者 2012，EI检索5.Engineering safety informationin in software intensive system Reliability Maintainability and Safety(ICRMS) 9th International Conference 第二作者 2011 EI检索6.Designing generic safety test cases for airborne software Reliability Maintainability and Safety (ICRMS) 9th International Conference 第三作者 2011 EI检索7.On modeling approach for embedded real-time software simulation testing Systems Engineering and Electronics 第三作者 2009 EI检索8.代码走查辅助工具的MDA开发模式计算机工程第三作者2007.12核心期刊9.航电软件系统测试环境比较分析国防科工委软件评测技术交流会/国防科工委科技与质量司第二作者2007.1210.Research on Test Requirement Modeling for Software-intensive AvionicsInternational Conference on ReliabilityMaintainability and Safety第二作者200711.The Research on the Software Quality Evaluation ArchitectureInternational Conference on ReliabilityMaintainability and Safety第二作者200712.Research on a Method of Software Code InspectionInternational Conference on ReliabilityMaintainability and Safety第二作者2007 13.Research on Test Requirement Modeling for Software-intensive Avionics and The Tool ImplementationIEEE/AIAA Digital Avionics Systems Conference Proceedings第二作者2007.10ISTP检索14.国内航电软件第三方系统测试的文档问题及其解决方法中国航空学会可靠性工程专业委员会第十届学术年会论文集 2006年第二作者15.航电软件系统测试环境PIM模型的研究中国航空学会可靠性工程专业委员会第十届学术年会论文集第一作者2006.716.The Domain Analysis and Design of System-testingIEEE AUTOTESTCON Proceedings第一作者2006.9ISTP检索17.Domain-Specific Software Architecture of Avionics Testing System24th IEEE/AIAA Digital Avionics Systems Conference Proceedings第一作者2005.10EI检索18.嵌入式软件仿真测试环境的软件体系结构研究北京航空航天大学学报第一作者2005.10EI检索19.航电设备测试系统的面向对象分析与设计计算机工程与应用2005年第18期第一作者核心期刊20.基于虚拟机的嵌入式软件测试环境计算机应用第三作者2005.12核心期刊21.软件可靠性测试的理论分析测控技术第二作者22.实时嵌入式软件仿真测试建模方法研究系统工程与电子技术第三作者核心EI源期刊23.General Development framework and Its Application Method for Software Safety Case Journal of Software 第三作者 EI检索本人历年所指导学生的毕业去向如下： 华为、腾讯、优酷、中国银行、中国农业银行、中国空间技术研究院、Honeywell公司、中国商飞上海飞机设计研究院、中国电子科技集团公司第十研究所、中航工业青云仪表公司、中国航天科工集团第二研究院总体部、中航工业综合技术研究所、北京全路通信信号研究设计院、中国航天科技集团公司上海航天技术研究院、法国里尔一大、英国约克大学，中国试飞院。
资质证书