个人简历

开授课程
《操作系统》《操作系统实践》
《UML及形式化建模》《模型驱动软件开发》
《软件工程与过程》《可信软件开发》

科研项目
主持项目：
1. 国家自然科学基金面上项目：时空数据驱动的安全攸关信息物理融合系统建模及验证方法研究；
2. 国家自然科学基金面上项目：信息物理融合系统的随机行为建模及验证方法研究；
3. 国家自然科学基金青年基金：服务构件安全协同建模与验证方法研究；
4.上海市自然科学基金：基于统计模型检测的信息物理融合系统的验证方法研究；
5. 软件工程国家重点实验室开放基金：基于契约的可信服务构件建模与验证方法的研究；
6. 华东师范大学科研创新基金：基于MARTE的实时系统建模与验证方法研究
参与项目：
1. 金砖国家合作项目“时空数据驱动的高可信关键技术及应用研究”
2. 国家自然科学基金重大研究计划培育项目：模型驱动式可信软件构造方法的研究
3. 国家重点基础研究发展计划973项目：主体化、服务化的网构软件模型、方法及可信保障
4. 国家高技术研究发展计划863项目：模型驱动式高可信软件开发技术
5. 中法合作项目：模型驱动式 UML/MARTE 模型形式验证方法
6. 基金委重大国际合作项目 中丹国际合作项目：IDEA4CPS
获奖：
(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 (授权专利)
专利申请：
1. 嵌入式系统软件的模型驱动与构件化开发方法，专利申请号：200610124600.4
2. 一种基于性质规约模式生成LTL公式的UML模型检测系统和方法，专利申请号：200910047164.9，
3. 一种验证UML模型中动态行为与时序契约的一致性的方法，专利申请号：20091047165.3
获软件著作权7项；

研究领域

可信人工智能、人工智能系统的正确性、安全性建模与验证
信息物理融合系统的建模及验证
统计模型检测技术
实时系统建模及验证，建模、验证工具研发、应用研究""

近期论文

(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 (会议论文)
中国计算机协会软件工程专委委员/形式化方法专委委员
上海市计算机协会形式化方法专委委员、上海市协同计算专委委员
美国IEEE，ACM工程协会会员
计算机学报、JCST期刊，ICFEM12等国际会议审稿人