ACM/IEEE Fellow、欧洲科学院院士王义教授将在2023年CCF中国软件大会上作特邀报告...

2023年CCF中国软件大会（CCF ChinaSoft 2023）邀请王义作大会特邀报告。

特邀嘉宾

王义

ACM/IEEE Fellow、欧洲科学院院士

Wang is a chair professor at Uppsala University. He has a Ph.D. in Computer Science from Chalmers. His interests are mainly in embedded systems design. He received CAV award in 2013 for the development of UPPAAL, IEEE TCRTS Award in 2019 for technical contributions to real-time computing, and Uppsala University's Rudbeck Medal in 2022 for achievements in science. He is a recipient of ERC advanced grant and the KAW grant (the Swedish equivalent of ERC grant supported by Wallenberg foundations). He is a fellow of ACM & IEEE.

报告主题

MIMOS: from theory to tools for (safety-critical) embedded software design & updates

报告摘要

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 framework providing a new design paradigm and software tools for building embedded software which can be updated on demand dynamically and safely over their operational life-time.

MIMOS is essentially an asynchronous design paradigm aiming at deterministic, composable, verifiable and performance-oriented design for embedded systems deployed on heterogeneous multi-core platforms with stringent timing and resource constraints. In this talk, I will motivate the design principles of the MIMOS model in comparison with the well-developed synchronous design paradigm based on Scade/Lustre and Simulink. I will present the underlining semantic theory as well as the architecture and implementation of the tool-chain, including a tool demo.

2023年CCF中国软件大会（CCF ChinaSoft 2023）由CCF主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办，将于2023年12月1-3日在上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”，学术、工业、教育、竞赛等分论坛活动40余场，期待您的参与！

目前大会火热报名中！早鸟注册（early-bird registration）10月22日截止，提前注册付费锁定注册费优惠权益。

CCF ChinaSoft 2023官方首页：http://chinasoft.ccf.org.cn/

点击文末“阅读原文”或扫描下方二维码进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023