杜德慧，女，博士，華東師範大學教授/博導。
基本介紹
- 中文名：杜德慧
- 學位/學歷：博士
- 職業：教師
- 專業方向：模型驅動與數據驅動相結合的軟體開發方法，形式化的軟體開發方法
- 職稱：教授
- 任職院校：華東師範大學軟體工程學院
個人經歷,研究方向,科研成果,榮譽獎項,
個人經歷
社會兼職
中國計算機學會會員,上海YOCSEF AC委員，上海市協同計算專委會及軟體工程專委會委員
IEEE，ACM工程協會會員
計算機學報、JCST期刊，ICFEM12等國際會議審稿人
研究方向
模型驅動與數據驅動相結合的軟體開發方法，形式化的軟體開發方法
人工智慧系統的正確性、安全性的建模與驗證
信息物理融合系統的建模及驗證
統計模型檢測技術、工具研發、套用研究
科研成果
主持項目
1. 國家自然科學基金面上項目：信息物理融合系統的隨機行為建模及驗證方法研究；
2.國家自然科學基金青年基金：服務構件安全協同建模與驗證方法研究；
4. 軟體工程國家重點實驗室開放基金：基於契約的可信服務構件建模與驗證方法的研究；
5. 華東師範大學科研創新基金：基於MARTE的實時系統建模與驗證方法研究
參與項目
1. 金磚國家合作項目“時空數據驅動的高可信關鍵技術及套用研究”
2.。 國家自然科學基金重大研究計畫培育項目：模型驅動式可信軟體構造方法的研究
3. 國家重點基礎研究發展計畫973項目：主體化、服務化的網構軟體模型、方法及可信保障
4. 國家高技術研究發展計畫863項目：模型驅動式高可信軟體開發技術
5. 中法合作項目：模型驅動式 UML/MARTE 模型形式驗證方法
6. 基金委重大國際合作項目 中丹國際合作項目：IDEA4CPS
發表論文
(1) 杜德慧; 昝慧; 姜凱強, 一種面向CPS的自適應統計模型檢測方法軟體學報
2017.1.20, 28(5): 1128~1143 (期刊論文)
(2) Kaiqiang Jiang; Ping Huang; Hui Zan; Dehui Du ,AL-SMC: Optimizing
Statistical Model Checking by Automatic Abstraction and Learning, International
Journal of Software and Informatics, 2016.11, 10(4): 1~21 (期刊論文)
(3) Dehui Du ; Ping Huang; Kaiqiang Jiang; Frédéric Mallet,MARTE/pCCSL:
Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical
Clocks, FACS 2016 - The 13th International Conference on Formal Aspects of
Component Software, 2016.10.19-2016.10.21 (會議論文)
(4) Juhu Liu; Kaiqiang Jiang; Xiao Wang; Bei Cheng; Dehui Du ,Improved
Co-Simulation with Event Detection for Stochastic Behaviors of CPSs, COMPSAC, 2
016.6.10-2016.6.14 (會議論文)
(5) Bei Cheng; Xiao Wang; Jing Liu; Dehui Du ,Modana: An Integrated
Framework for Modeling and Analysis of Energy-Aware CPSs, Computer Software and
Applications Conference (COMPSAC), 2015.7.1-2015.7.5 (會議論文)
(6) 杜德慧; 程貝; 劉靜，面向安全攸關係統中小機率事件的統計模型檢測軟體
學報, 2015, (02): 305~320 (期刊論文)
(7) BeiCheng; Dehui Du ,Towardsa Stochastic Occurrence-Based Modeling
Approach for Stochastic CPSs, TASE 2014, 2014.9.1-2014.9.3 (會議論文)
(8) Dehui Du ; Mingsong Chen; Xiao Liu,A Novel Quantitative Evaluation
Approach for Software Project Schedules using Statistical Model Checking, ICSE
14, 2014.5.31-2014.6.7 (會議論文)
專利申請
1. 嵌入式系統軟體的模型驅動與構件化開發方法，專利申請號：200610124600.4
2. 一種基於性質規約模式生成LTL公式的UML模型檢測系統和方法，專利申請號：200910047164.9，
3. 一種驗證UML模型中動態行為與時序契約的一致性的方法，專利申請號：20091047165.3
獲軟體著作權7項；
榮譽獎項
(1) Dehui Du ,MARTE/pCCSL: Modeling and Refining StochasticBehaviors of CPSs with Probabilistic Logical Clocks, FACS國際會議, 最佳論文獎,其他, 2016.10.19
(2) 杜德慧, 基於抽象和學習的統計模型驗證器軟體V1.0, 2017SR420485, 原始取得,全部權利, 2017.1.1 (軟體著作權)
(3) 杜德慧, 信息物理融合系統的聯合仿真軟體[簡稱：聯合仿真軟體], 2016SR153900, 原始取得, 全部權利, 2016.1.6 (軟體著作權)
(4) 杜德慧(1/5), Modana2.0：面向CPS系統的建模與驗證平台, 第十六屆全國軟體與套用學術會議, 其他, 其他, 2017.12.1(杜德慧; 敖奕; 管春琳; 白新; 姜凱強) (科研獎勵)
(5) 馮曙光; 包丹珠; 徐亞禕; 杜麗; 杜德慧; 溫岩, 基於UPPAAL的實時嵌入式系統構件間協同行為的驗證方法, 2011.12.16, 中國, CN201110423095.4 (授權專利)
