头像

杜德慧

教授/博导

软件工程学院      

个人资料

  • 部门: 软件工程学院
  • 毕业院校:
  • 学位: 工学博士
  • 学历: 博士研究生
  • 邮编: 200060
  • 联系电话: 021-62233169
  • 传真:
  • 电子邮箱: dhdu@sei.ecnu.edu.cn
  • 办公地址: 理科大楼B1104
  • 通讯地址: North Zhongshan Road3663,Science building b1104

教育经历

工作经历

个人简介

社会兼职

  1. 中国计算机协会软件工程专委委员/形式化方法专委委员

  2. 上海市计算机协会形式化方法专委委员、上海市协同计算专委委员 

  3. 美国IEEE,ACM工程协会会员

  4. 计算机学报、JCST期刊,ICFEM12等国际会议审稿人



研究方向

  1. 可信人工智能、人工智能系统的正确性、安全性建模与验证

  2. 信息物理融合系统的建模及验证

  3. 统计模型检测技术

  4. 实时系统建模及验证,建模、验证工具研发、应用研究


急需具有良好的英语基础、较强的编程实践经验、扎实的数学功底、做事情认真负责的同学加入我们的团队!博士、硕士研究生招生正在进行中,请将简历直接发送邮箱dhdu@sei.ecnu.edu.cn

欢迎各位同学加入我们项目组,您将得到全方位的发展,并获得较多的出国交流学习的机会。我们的理念是“快乐研究,快乐生活”!

开授课程

《操作系统》《操作系统实践》

《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, 中国, CN201110423095.4 (授权专利)

专利申请:

1. 嵌入式系统软件的模型驱动与构件化开发方法,专利申请号:200610124600.4
2. 一种基于性质规约模式生成LTL公式的UML模型检测系统和方法,专利申请号:200910047164.9,
3. 一种验证UML模型中动态行为与时序契约的一致性的方法,专利申请号:20091047165.3
   获软件著作权7项;


荣誉及奖励

招生信息

10 访问

相关教师