杜德慧 教授/博导
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校：
学位： 工学博士
学历： 博士研究生
邮编： 200062
联系电话：
传真：
电子邮箱： dhdu@sei.ecnu.edu.cn
办公地址： 理科大楼B1109
通讯地址： North Zhongshan Road3663,Science building b1104

教育经历

工作经历

个人简介

社会兼职
中国计算机协会软件工程专委委员/形式化方法专委委员
上海市计算机协会形式化方法专委委员、上海市协同计算专委委员
美国IEEE，ACM工程协会会员
计算机学报、JCST期刊，ICFEM12等国际会议审稿人




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

课题组常年招收博士后、博士、硕士研究生，要求具有良好的英语基础、较强的编程实践经验、扎实的数学功底、做事情认真负责。请将简历直接发送邮箱dhdu@sei.ecnu.edu.cn
欢迎各位同学加入我们项目组，您将得到全方位的发展，从最新的可信软件开发理论、技术到大规模的企业应用，并获得较多的出国交流学习的机会。我们的理念是“快乐研究，快乐生活”！在科研项目中，提高解决问题的能力，实现“知识-能力-价值”的3维学习。


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



科研项目
主持项目：
1. 国家自然科学基金面上项目：时空数据驱动的安全攸关信息物理融合系统建模及验证方法研究；
2. 国家自然科学基金面上项目：信息物理融合系统的随机行为建模及验证方法研究；
3. 国家自然科学基金青年基金：服务构件安全协同建模与验证方法研究；
4.上海市自然科学基金：基于统计模型检测的信息物理融合系统的验证方法研究；
5.软件工程国家重点实验室开放基金：基于契约的可信服务构件建模与验证方法的研究；
6.华东师范大学科研创新基金：基于MARTE的实时系统建模与验证方法研究
参与项目：
1. 金砖国家合作项目“时空数据驱动的高可信关键技术及应用研究”
2. 国家自然科学基金重大研究计划培育项目：模型驱动式可信软件构造方法的研究
3. 国家重点基础研究发展计划973项目：主体化、服务化的网构软件模型、方法及可信保障
4. 国家高技术研究发展计划863项目：模型驱动式高可信软件开发技术
5. 中法合作项目：模型驱动式 UML/MARTE 模型形式验证方法
6. 基金委重大国际合作项目 中丹国际合作项目：IDEA4CPS



学术成果
详细论文列表https://dblp.uni-trier.de/pers/hd/d/Du:Dehui
代表论文主要有：
(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) 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, 中国, CN5.4 (授权专利)
专利申请：
1.嵌入式系统软件的模型驱动与构件化开发方法，专利申请号：0.4
2.一种基于性质规约模式生成LTL公式的UML模型检测系统和方法，专利申请号：4.9，
3.一种验证UML模型中动态行为与时序契约的一致性的方法，专利申请号：.3
获软件著作权7项；



荣誉及奖励


招生信息














10 访问


相关教师