个人简介

开授课程 《操作系统》《操作系统实践》 《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项；