Title: MIMOS: from theory to tools for embedded software design & update

Speaker: 王義 教授 （東北大學特聘教授，瑞典Uppsala大學講席教授）

Time: 4月7日（周五）上午10:00

Venue: 中科院軟件所五號樓三層 337會議室

Abstract: Today, the functionality and economical value of industrial systems and products, such as cars, airplanes, and medical equipment, is de？ned and realized by embedded software. Dynamic software updates are critical for new features, product customization and security patches, but presently are not well supported for safety-critical systems. MIMOS is a tool environment providing a new design paradigm and software tools for building embedded software  which can be updated on demand dynamically, safely, and securely over their operational life-time. The talk will be concluded with a tool demo.

Bio: 王義，東北大學特聘教授，瑞典Uppsala大學講席教授。歐盟ERC Advanced Grant獲得者。因其在形式化驗證領域及嵌入式系統，實時系統領域的杰出貢獻，2013年獲CAV Award、2019年獲IEEE TCRTS Award。王義教授是ACM & IEEE Fellow.