快速搜索

最近发布

芜湖市委常委、常务副市长张东一行来所调研

我所荣获长安汽车“创新支持奖”

广汽集团、广州开发区、工信部电子五所签订三方战略合作框架协议

武汉市制造业可靠性提升与企业卓越质量管理活动成功举办

中国电子科技委副主任朱立锋一行来所调研交流

我所软件中心与何积丰院士团队开展学术交流活动

  • 2016-09-28
  • 来源:软件中心
  • 供稿人:刘奕宏
  • 字体:

9月9日,我所软件中心、华东分所团队来到上海,与华东师范大学计算机学院何积丰院士团队就嵌入式软件功能安全领域开展了学术交流活动。

在交流过程中,何院士亲自带领来访人员参观了其主持的国家可信嵌入式软件工程中心,并全程参与了研讨会。双方就软件形式化验证技术、软件正确性证明技术、软件自动化测试技术、嵌入式软件安全性检测技术等共同关注的学术和技术问题进行了广泛深入的交流和探讨。何院士对我所开展的嵌入式软件功能安全相关研究工作和取得的成果给予了充分肯定,并希望结合双方优势,开展更进一步的合作。

此次交流活动增进了双方的相互认识和了解,为下一步开展更深入的合作打下了基础。

部信软司陈英副司长与我所王勇副所长共同策划,促成了本次学术交流活动。陈英副司长全程参与了学术交流活动,并给双方进一步的合作指明了方向。