Analyzing Expensive Real-Time Task Models Inexpensively?

Many real-time systems are safe-critical, so their timing correctness must be ensured under any circumstance at runtime. To guarantee this, we should describe the system behavior by some rigorous models, based on which properties of interests can be proved. Research on formal modeling and analysis of real-time systems has been done in, at least, two research areas: real-time scheduling and…

How I ended up in the ACM SRC grand finals

My PhD research project targeted publications in leading bioinformatics and science journals. I was very keen to witness a mainstream computer science conference since I had never been to one. Last year, one of our collaborative papers got accepted into ESWEEK 2019. I was planning on taking this opportunity and attending the conference when my labmate, Hassaan Saadat, who had…

Liu and Layland and Linux: A Blueprint for “Proper” Real-Time Tasks

I think it’s fun to see this diversity also reflected in the SIGBED Blog. So for a change of pace, today I wanted to have a look at something a bit more technical and hands-on — specifically, a primer on how to connect the models studied in the real-time systems literature to actual running code.

Time-predictable hardware acceleration: we should not overlook FPGA-based SoC

“The Conference is Dead! Long live the Conference!” AKA The Case for Changing the Current Conference Submission Model in Real-time and Embedded Systems | Part II

“The Conference is Dead! Long live the Conference!” AKA The Case for Changing the Current Conference Submission Model in Real-time and Embedded Systems | Part I

Closing the gap between industry and research: Industrial challenges proposed by Bosch

Safety-Critical Neural Networks

Remembering Sang Lyul Min

Sang Lyul Min, a Professor of CSE at Seoul National University (SNU), passed away on February 24th after bravely fighting pancreatic cancer for over two years. He served on many program committees including RTSS, RTAS, and ECRTS. He also has chaired or organized many conferences and workshops. For example, he co-organized the first RTCSA in 1994 at Seoul National University…

The Paradox of Information Access

A significant contribution of the embedded systems research community to a broad spectrum of modern-day applications has been the attainment of dependability of various technological artifacts in the face of increasing unknowns. The term “dependability” here is used broadly to mean assurances on freedom from unwanted behavior. For instance, research on temporal guarantees offered solutions for satisfaction of time constraints…