Post by: Nan Guan in SIGBED Blog
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…
Post by: Hasindu Gamaarachchi in SIGBED Blog
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…
Post by: Björn Brandenburg in SIGBED Blog
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.
Post by: Chang-Gun Lee in SIGBED Blog
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…
Post by: Tarek Abdelzaher in SIGBED Blog
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…