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.