신인식 교수. KAIST 제공한국과학기술원(KAIST)은 전산학부 신인식 교수가 실시간 시스템 분야에서 세계 최고 권위를 지닌 국제 학술대회 IEEE 실시간 시스템 심포지엄(RTSS)에서 '가장 영향력 있는 논문상 2025'을 수상했다고 21일 밝혔다.
이 상은 발표 후 10년 이상 학계와 산업계 전반에 지속적인 영향을 미친 논문에 수여되는 세월의 검증을 거친 상으로, 한국 연구자가 이 상을 받은 것은 이번이 처음이다.
신 교수의 수상 논문은 2003년 미국 펜실베이니아대학교 이인섭 교수와 공동 발표한 '주기적 자원 모델'에 관한 연구다. 이 연구는 복잡한 기계나 시스템을 한꺼번에 검증하려 하지 않고, 레고 블록처럼 작은 부품 하나하나가 정해진 시간 약속을 잘 지키는지만 먼저 개별적으로 확인한 뒤, 이들을 다시 조립해도 전체가 안전하게 작동함을 보장하는 방법을 만든 것이다.
이 덕분에 자율주행차나 항공기, 산업용 로봇 처럼 순간의 지연도 허용되지 않는 실시간 시스템을 더 정확하고 안전하게 설계할 수 있게 됐다. 특히 복잡성이 급격히 증가하는 현대 실시간 시스템에서, 시스템 전체를 한 번에 분석해야 했던 기존의 한계를 극복했다.
신 교수는 시스템을 작은 모듈(부품) 단위로 나누어 각 모듈이 시간 제약을 만족하는지를 검증하고, 이를 다시 결합하더라도 전체 시스템의 안전성이 보장됨을 수학적으로 증명하는 방법을 제시했다. 이로써 현대 실시간 스케줄링 이론의 기초를 정립한 연구로 평가받고 있다.
해당 논문은 발표 당시인 2003년에도 RTSS에서 한국인 최초로 '최우수 논문상'을 수상했으며, 20년이 지난 지금 다시 한 번 그 학문적·산업적 가치를 공식적으로 인정받게 됐다.
신 교수는 "학자로서 평생 가장 받고 싶었던 상이 바로 이 상"이라며, "20년 전의 연구가 실제로 세상에 큰 영향을 미쳤다는 점을 인정받아 영광이고, 이 이론을 실제 시스템에 적용해 준 많은 연구자와 기업 덕분"이라고 소감을 밝혔다.