报告人：关楠，香港城市大学大学计算机科学系 副教授

报告地点：铁道校区电子楼 414会议室

报告时间：2024年6月18日（周二）15:00-16:30

报告题目：Managing Information Synchronicity in Real-Time Systems

个人简介：

关楠，香港城市大学副教授，瑞典乌普萨拉大学博士，在实时嵌入式系统、自治系统、信息物理系统等方向取得一系列重要研究成果，于2020年获得ACM SIGBED Early Career Researcher Award，于，2014年获得EDAA Outstanding Dissertation Award，获得RTSS 2022杰出论文奖，EMSOFT 2020最佳论文奖，RTSS 2019杰出论文奖，ACM e-Energy 2018最佳论文奖，ISORC 2019最佳论文奖，DATE 2013最佳论文奖，RTSS 2009最佳论文奖。曾担任RTAS 2022大会主席，ISORC 2022, RTAS 2021, SETTA 2019, ICESS 2017, EMSOFT 2015等会议的程序委员会主席，现担任IEEE实时系统技术委员会（TCRTS）的执委。

报告简介：本次报告将重点讨论在信息同步性约束下的实时系统设计。在计算系统中，当多条信息流汇集在一起时（例如：进行数据融合），信息同步性约束要求只有当不同信息流的数据源在时间上非常接近时，数据才能融合。例如，在自动驾驶车辆中，对外部环境的感知通常依赖于多个传感器的测量数据融合。如果来自两个传感器（如摄像头和激光雷达）的测量数据在时间上相差较大，其信息融合将无法有效重建环境的准确视图。报告人将介绍最近的一些科研进展，包括如何正式证明信息同步性约束的满足情况，以及如何优化系统设计，以便更好地满足信息同步性和经典实时约束（如截止时间、迟到边界和数据新鲜度边界）。