Not able to organize an in-person conference during COVID-19, does not mean that the online conference cannot be an interactive, social, and a wholesome experience. RTSS 2020 – the flagship conference in real-time systems – intends to change your perception about that. RTSS 2020 organizers are focused on making this conference a unique experience, not [...]
It’s a common experience: I talk to people developing safety-critical embedded systems, be it cars or medical devices, and, while clearly serious about product safety, they show little interest in security. A great example was when, as a part of an delegation of Australian academicians, I visited an automotive testing facility in another country. They […]
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 model-checking.
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 experienced the ins and outs of ACM/IEEE conferences knew of the ACM SRC at ESWEEK (through one of his colleagues at Arizona State University – Sumit Kumar Mandal) and encouraged my participation. This itself was a sufficient reason for me to attend ESWEEK 2019, and without any delay, I prepared and submitted the required abstract.
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.
“Cyber-physical systems (CPS) are facing revolution […]”: it is with a sentence like this one that many scientific papers published in these years begin to introduce new results of disparate kinds. Well, I do not want to sound rhetorical nor to bore the reader from the very beginning, but I think that also this post [...]
tl;dr proposing a rolling deadline and a “revise and resubmit” mechanism for real-time conferences; PC commitments/chairs for one full year; starting from 2021. In Part I of this series on introspecting on the conference model in our community, I highlighted some systemic issues that warrant deeper discussion. In this second part of this series, I [...]
So many papers! tl;dr single, annual, deadlines; lack of revision history for resubmissions; delays between paper submission and availability to the community; large load on reviewers; environmental costs of physical PC meetings -- all problems in the current conference model in use in the real-time and cyber-physical systems communities. We have all been there. That [...]
When looking at the current state-of-the-art in real-time systems, an observation is that there is risk of divergence between academic research and systems deployed in industry. For instance, many system models that research is based on are not expressive enough to capture the intricacies and complexity of contemporary hardware-software systems. As a consequence, many results [...]
As an undergraduate, I wanted to learn to play Go. In my AI class, we learned that although we have pretty good algorithms for games like checkers and chess, even an intermediate Go player can outperform the best computer program in existence. This was a good opportunity, I thought, to show I could beat a [...]
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 and ESWEEK 2006 in Seoul. He was a program co-chair of EMSOFT 2016 and LCTES 2000. Also, he was a general co-chair of ISCA 2016 held in Seoul, South Korea, and subsequently served on the steering committee of ISCA. With deep sadness, I am writing this post to remember his life and legacy […]
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 of increasing complexity in the presence of different sources of uncertainty […]
On January 1st, an artificial intelligence system was capable of detecting breast cancer better than human experts. February and March both witnessed discoveries about life in the universe: in fact the organic molecules detected by the Curiosity rover are consistent with the hypothesis of early life on Mars and primitive microorganisms may have existed [...]
I am an engineer. I design things that never before existed. For me, these “things” are mostly software, although I have in the past also designed some hardware. For most of my 40 years doing this, I harbored a creationist illusion that these “things” were my own personal progeny…
As computing becomes cheaper, faster, smaller, and interconnected, increasingly many aspects of our modern society—in transportation, manufacturing, agriculture, healthcare, etc—are dependent on a wide variety of embedded systems. This raises a lot of challenging and exciting research questions…