KAIST

< KAIST Professor Insik Shin >

KAIST announced on December 21st that Professor Insik Shin from the School of Computing has received the Influential Paper Award 2025 at the IEEE Real-Time Systems Symposium (RTSS), the world's most prestigious international conference in the field of real-time systems.

This honor is a "Test of Time Award," presented to papers that have exerted a sustained and significant influence on both academia and industry for more than 10 years after publication. This marks the first time a Korean researcher has received this prestigious award. The ceremony took place at IEEE RTSS 2025 in Boston, USA, on December 4th (local time).

Professor Shin’s award-winning research is the "Periodic Resource Model," co published in 2003 with Professor Insup Lee of the University of Pennsylvania. Rather than trying to verify a complex machine or system all at once, this study developed a method to verify individual components—much like LEGO blocks—to ensure each meets its designated timing requirements. It mathematically guarantees that when these components are assembled, the entire system will operate safely.

• Paper Title: Periodic Resource Model for Compositional Real-Time Guarantees

• DOI: 10.1109/REAL.2003.1253249

Thanks to this research, it has become possible to design real-time systems that cannot tolerate even a moment of delay—such as autonomous vehicles, aircraft, and industrial robots—with greater precision and safety. This breakthrough overcame the limitations of existing methods that required analyzing an entire system at once, which had become nearly impossible as the complexity of modern real-time systems increased rapidly.

Professor Shin presented a method to divide a system into small modules, verify that each module satisfies its time constraints, and mathematically prove that the safety of the entire system is guaranteed upon integration. This work is credited with establishing the foundation for modern compositional real-time scheduling theory.

At the time of its initial publication in 2003, this paper won the 'Best Paper Award' at RTSS—another first for a Korean researcher. Now, 20 years later, its academic and industrial value has been officially recognized once again. This is because the theory has transcended academic boundaries to become a core analytical tool in various safety-critical industries, including autonomous driving, aerospace control, and industrial automation.

The IEEE Technical Committee stated, "This model has established itself as a core language for modern real-time system design and has guided the direction of research and industry for the past 20 years." The paper is currently featured in textbooks at major universities in the United States and Europe, serving as a standard theory in the field.

"As a scholar, this is the award I have wanted most in my life," said Professor Shin. "I am honored to have it recognized that research from 20 years ago has truly had a major impact on the world. This was made possible by the many researchers and companies who applied this theory to actual systems."

Meanwhile, Professor Shin is expanding his research beyond real-time systems into the field of Artificial Intelligence (AI). He founded the faculty-led startup Fluiz and developed FluidGPT, a mobile AI agent technology that allows users to execute smartphone apps via voice commands. This technology recently won the AI Champion Competition hosted by the Ministry of Science and ICT. Experts evaluate Professor Shin as achieving rare success by bridging basic theory and applied technology, effectively linking research to industry.