Influential cyber-physical systems paper earns ICCPS Test-of-Time Award for Martin Törngren and co-authors

Digital Futures faculty member Martin Törngren has been awarded the prestigious ICCPS Test-of-Time Award for the paper “Cyber-physical system design contracts”, co-authored with Patricia Derler, Edward A. Lee, and Stavros Tripakis. The paper was originally presented at the ACM/IEEE International Conference on Cyber-Physical Systems and has now been recognized for its lasting impact on the field of cyber-physical systems research.

The award citation highlights the paper’s “foundational contributions to cyber-physical systems design methodology through pioneering inter-domain design contracts.” The ICCPS Test-of-Time Award honors papers that, over at least a decade, have significantly influenced both research and practice within cyber-physical systems.

The award-winning work builds on ideas that Martin Törngren had explored much earlier in his 1998 article “Fundamentals of Implementing Real-Time Control Applications in Distributed Computer Systems”, published in the journal Real-Time Systems. The concepts were further developed during his sabbatical at University of California, Berkeley between 2011 and 2012, where collaboration with leading researchers in embedded and cyber-physical systems helped shape the foundations of the ICCPS 2013 paper.

The paper introduced design contracts as a systematic way to manage the complexity of cyber-physical systems by enabling clear interactions across engineering domains. Over the past decade, the work has become highly influential in advancing methodologies for the design and verification of complex, interconnected systems.

“Research impact often takes time to emerge. Seeing this work continue to shape the field more than a decade later is both humbling and gratifying,” says Martin Törngren.

The award was officially announced during CPS-IoT Week at Saint Malo, France, May 11-14, 2026.