引领学界与产业20年的实时系统理论，在全球顶级权威学术会议上获认可
KAIST电气及计算机工程学院计算机系教授 Shin In-sik 在实时系统领域权威最高的国际学术会议——IEEE实时系统研讨会（RTSS）上获得了“最具影响力论文奖（Influential Paper Award）2025”。这是韩国研究者首次获得该奖项。
KAIST于21日表示，Shin教授发表的论文被选为授予对学界和产业界在10年以上持续产生影响的研究的所谓“经受时间检验奖（Test-of-Time Award）”。颁奖仪式于本月4日（当地时间）在美国波士顿举行的IEEE RTSS 2025上进行。
获奖论文是Shin教授于2003年与美国宾夕法尼亚大学教授 Lee In-sup 共同发表的《用于组合式实时保证的周期性资源模型（Periodic Resource Model for Compositional Real-Time Guarantees（DOI: 10.1109/REAL.2003.1253249））》。
该研究摆脱了以往一次性验证整个复杂系统的方式，提出了一种新方法：先将系统拆分为小的模块单元，分别验证其是否满足时间约束，然后证明在重新组合后仍能保证整体系统安全性。研究团队通过数学方式证明了这一点，为实时系统设计树立了新的标准。
得益于这一被称为“乐高积木”方式的模型，研究人员能够更加精确、安全地设计自动驾驶汽车、飞机、工业机器人等对瞬时延迟也无法容许的高可靠实时系统。业界评价认为，该研究克服了在系统复杂性急剧增加的现代环境下，必须整体分析系统的传统实时调度理论的局限。
该论文在2003年发表时，就以韩国人首次在IEEE RTSS上获得了“最佳论文奖（Best Paper Award）”。此后时隔20年，该论文再次在学术和产业价值方面获得正式认可，巩固了其在该领域标准理论中的地位。
IEEE技术委员会评价称：“周期性资源模型已经成为现代实时系统设计的核心语言，并在过去20年间引领了研究和产业的发展方向。”目前，该理论已被收入美国和欧洲主要大学的教材。
Shin教授表示：“作为学者，一生最想获得的奖项就是这个奖。20年前的研究被认可为对现实世界产生了有意义的影响，我感到非常荣幸，这也要归功于许多将这一理论应用到实际系统中的研究者和企业。”
另一方面，Shin教授也在以实时系统研究为基础，将研究领域拓展至人工智能（AI）方向。他创立了教员创业企业“Fluiz”，开发出了用户可以通过语音来运行智能手机应用的移动AI代理技术“FluidGPT”。该技术最近在科学技术信息通信部主办的“AI冠军竞赛”中夺得冠军。专家评价认为，Shin教授兼顾基础理论与应用技术，展现出将研究与产业紧密连接的罕见范例。
版权所有 © 阿视亚经济 (www.asiae.co.kr)。 未经许可不得转载。
