报告题目：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获得者。