Formal verification of cyber-physical systems (CPS) requires reasoning methods for not just software, but also analyzing how the physical side of the system will behave. As the laws of nature are written in differential equations, CPS formal verification researchers have inevitably needed to create analysis methods that can analyze systems with differential equations. For […]
This article argues that a key new frontier for the real-time systems research community lies in developing the architectural and algorithmic foundations of real-time artificial intelligence. As always, by “real-time” we do not mean fast (or “streaming”), but rather “with a capability to respond predictably to different urgency (and criticality) requirements”. A key challenge in […]
For most of my professional research career, I have sought more deterministic mechanisms for solving various engineering problems. My focus has always been on systems that combine the clean and neat world of computation with the messy and unpredictable physical world (cyber-physical systems). Given the messiness and unpredictability of the real world, why the obsession […]
Introduction There is considerable interest to use modules developed using deep learning in embedded software for complex cyber-physical systems (CPS) such as automobiles, aerial vehicles, and robots. Traditionally, such CPS applications have relied on human supervision for defining high-level plans, while using automated control techniques for lower level tasks; e.g., humans driving automobiles or pilots […]
No one will forget 2020. The pandemic forced most of us to stay at home and we all had to learn new ways to do things that we used to do in-person: conferences, classes, meetings, etc. Against the backdrop of this pandemic, we launched the SIGBED blog in April 2020 with an aim to provide [...]
This post was originally published on the Ericsson blog. Emerging real-time systems such as smart manufacturing demand millisecond latency, something which cannot be guaranteed by today’s cloud services. But what if we could replace these models with a new computing paradigm – ingrained within the network, offering real-time compute? Welcome to the real-time cloud. [...]
I like to think about research on CPS as a battle for the survival of the world as we know it and being fought on multiple fronts. Much like in a Tolkienian world, the battlefield is lined with individuals, i.e. researchers, holstering unique abilities. Schedulability analysis brandished by Ents, Elves in charge of static WCET [...]
I have worked in research for a decade and a half, and I am privileged to have been a part of different research communities during this time. As a researcher, I was born in the design automation community, but I got increasingly involved in the real-time community as I grew up. This was very interesting [...]
The TCRTS Conferences Planning Sub-Committee is responsible for determining the policies for TCRTS sponsored conferences including the Real-Time Systems Symposium (RTSS) and the Real-Time and Embedded Technology and Applications Symposium (RTAS). In doing so in 2020, we have been guided by three key principles: Transparency, meaning openly sharing information; Equity, meaning fair and respectful treatment […]
Generating utilization vectors The real-time systems research literature is full of papers on scheduling policies and schedulability analyses, covering a wide variety of different task and systems models, and analysis methods. There is however one key aspect that the vast majority of these works have in common, and that is the need for a [...]
EMSOFT, the ACM SIGBED International Conference on Embedded Software, is one of the three core conferences of the annual Embedded Systems Week (ESWEEK). The other two conferences are CASES, the International Conference on Compilers, Architecture and Synthesis, and CODES+ISSS, the International Conference on Hardware/Software Codesign and System Synthesis. The 16th edition of ESWEEK and the […]
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 [...]