报告题目: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.报告人简介:王义,瑞典乌普萨拉大学讲席教授,东北大学特聘教授。主