report title: mimos: from courses to tools for embedded software design&updates
report time: july 4th, 09:00-10:00
offline report location: b1002, science building
host: professor deng yuxin
abstract:
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.
introduction of lectuer:
wang yi, chair professor at uppsala university in sweden and distinguished professor at northeastern university. main research interests: embedded system design and updates. main awards: 2013 cav award, 2019 ieee tcrts award, and 2022 uppsala university rudbeck medal. professor wang yi is a recipient of ieee&acm fellow and the eu erc advanced grant.