鐘德明(北京航空航天大學可靠性與系統工程副教授)

個人經歷

[1] 北京航空航天大學 | 軟體工程 | 博士學位

[2] 北京航空航天大學 | 工程系統工程 | Master's Degree

[3] 北京航空航天大學 | 自動控制 | Bachelor's Degree

[1] 2005.4-可靠性與系統工程學院

長期從事軟體驗證、軟體工程、系統和軟體安全性等方面的研究。

主要是控制危險自動識別技術。涉及的工作包括：文本模型處理、算法設計、雲計算套用、網路套用開發、模型檢測技術套用、實時嵌入式系統建模、控制危險識別理論和方法、程式開發等。

發表SCI、EI、ISTP等論文40餘篇。是國家重點基礎研究發展計畫(973)課題“綜合化航電系統資源融合安全性問題研究”的技術負責人，自然科學基金課題“航電演化機理和分析方法研究”的負責人。是某部級軟體法規檔案《軟體研製管理辦法》的主要起草人之一。

近年承擔的部分課題：

1.“航電演化機理和安全性分析方法研究”，國家自然科學基金重點支持項目，2016年-2019年；

2.“綜合化系統資源能力綜合的安全性問題”（編號：2014CB744900），科技部項目973課題，2014年－2018年；

3.“航空機載軟體安全性分析技術研究”，工信部技術基礎項目，2016年-2018年

4.“軟體可靠性設計分析評估及集成技術”（編號：5131980102），工信部“十二五”預研項目，2011年－2015年；

5.“飛機全機軟體管理和關鍵技術研究”，工信部項目，2009年－2014年；

6.“飛機軟體安全性技術研究”（編號：200914164），西安飛機設計研究所資助項目，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檢索