报告题目：MIMOS: from theories to tools for embedded software design & updates

报告时间：7月4日  09:00-10:00

线下报告地点：理科大楼B1002

主持人：邓玉欣 教授

报告摘要：

MIMOS is a tool environment for the design and update of high-performance and timing-predictable embedded systems. It provides tools for modelling, simulation, verification, scheduling and code generation for developing embedded software on heterogeneous multi- & many-core platforms as well as dynamic software updates for systems in operation.

报告人简介：

王义，瑞典乌普萨拉大学讲席教授，东北大学特聘教授。主要研究兴趣：嵌入式系统设计与更新。主要奖项：2013年CAV奖，2019年IEEE TCRTS奖及2022年乌普萨拉大学Rudbeck Medal。王义教授是IEEE & ACM Fellow 及欧盟ERC advanced grant获得者。