7月4日：王义（瑞典乌普萨拉大学）
发布时间：2023-07-03 浏览量：378
报告题目：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获得者。