Congratulations to our Associate Professor, Dr Nan Guan, on receiving the Best Paper Award in the ACM SIGBED International Conference on Embedded Software (EMSOFT) 2020 under the 16thACM/IEEE Embedded Systems Week held from 20 to 25 September 2020 with the paper titled “Efficient Feasibility Analysis for Graph-based Real-Time Task Systems”. Dr Guan’s paper was the only one selected among all EMSOFT accepted papers.
Many real-time systems are safe-critical, so it must be ensured that their run-time behaviours satisfy the pre-specified timing constraints under any circumstances. To provide such guarantees, one must describe the system behaviour with formal models, based on which properties of interest can be proved. It is a well-known trade-off between the expressiveness and the tractability of the models. In this paper, Dr Guan and his team have developed techniques to efficiently analyse DRT, the most expressive real-time task model of which the timing analysis problem remains in the pseudo-polynomial class. Their techniques can improve the efficiency by orders of magnitude in common cases comparing with the state-of-the-art, and thus making the online analysis and iterative analysis of models as expressive as DRT to be feasible.
Dr Guan joined COMP in 2015 and his research interests include real-time embedded systems and cyber-physical systems. He received the ACM SIGBED Early Career Researcher Award in 2020, the Best Paper Award in ISORC 2019 and the Outstanding Paper Award in RTSS 2019. Dr Guan has also served on the TPC of RTSS, DAC, RTAS, EMSOFT, ECRTS, LCTES, RTCSA, ASP-DAC in recent years.
EMSOFT is one of the three top conferences listed by CSRankings in the field of "Embedded and Real-Time Systems". Since 2001, EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development.
