港澳六宝大全

讲座名称：From Theory to tools for embedded software design & update

讲座人：王义 教授

讲座时间：4月4日9:00

地点：南校区会议中心B101报告厅

讲座人介绍：

王义，瑞典Uppsala大学讲席教授，欧洲科学院院士，瑞典皇家学会会员，ACM & IEEE Fellow，国家级人才。 曾任东北大学计算机学院院长。欧盟ERC Advanced Grant获得者。2013年获形式化验证领域最高奖CAV Award、2019年获IEEE实时系统领域终身成就奖IEEE TCRTS Award、2022年获瑞典Uppsala大学杰出科学成就奖Rudbeck Medal。

讲座内容：

今天，工业系统和产品的功能和经济价值，如汽车、飞机和医疗设备，都是由嵌入式软件定义和实现的。动态软件更新对于新功能、产品定制和安全补丁是至关重要的，但目前还不支持安全关键系统，MIMOS是一个提供新的设计范例和软件的工具环境。用于构建嵌入式软件的工具，可以在其运行生命周期内动态、安全、可靠地按需更新。这次演讲将附带一个工具演示。

主办单位：计算机科学与技术学院