SIGBED Blog

Latest updates from the SIGBED community

RTAS’22 Trip Report

Welcome to the trip report on the 28th IEEE International Symposium on Real-Time and Embedded Technology and Applications Symposium (RTAS’22)! For the third time, our travel route does neither include planes nor trains but only a short walk to our desks. Due to the tapering pandemic, the General Chair Nan Guan had to re-organize the […]

Strong Isolation and Cyber-Security for Mixed-Criticality Cyber-Physical Systems

A story heard thousands of times “Software complexity is increasing” — I’m sure this is not the first time, nor will be the last time you read this claim. It may sound rhetorical, but repeatedly claiming overtime that software complexity is increasing is nothing but a concrete observation about the incessant pace with which several […]

[EMSOFT 2021 Best Paper] Verified Lustre normalization with node subsampling

“Verified Lustre normalization with node subsampling” by Timothy Bourke, Basile Pesin, Paul Jeanmaire, and Marc Pouzet is the best paper winner of the International Conference on Embedded Software (EMSOFT) in 2021. This blog post gives an overview of the work. The Coq development described in the paper is available online. There is also a page […]

Wait for It: A Blueprint for Sporadic Tasks on Linux

Introduction Welcome back to a second hands-on blog post in which we explore the implementation of classic real-time concepts in POSIX operating systems. In a previous post, we examined the classic periodic task abstraction and how to implement it in Linux. This time around, let’s explore its equally well-known counterpart: the sporadic task model for […]

A Look Back at ECRTS

In July, we held another successful ECRTS, with high quality papers, great sense of community, novel concepts, and the same spirit as in previous years. Behind the scenes, however, significant changes happened. The group of persons responsible for the development and organization of the conference, the Executive Board of the Technical Committee of Real-time Systems […]

Knowledge is Power. The Case for Profile-driven Resource Management in Complex Systems

Take 100 lines of C code and a hardware platform. How long will it take for the hardware to execute the code? Being able to construct an answer to this question in the scope of real-time systems is akin to solving one of the Millenium Prize Problems. Of course, the first instinct is to wonder if any loop in the code makes this question equivalent to solving the halting problem. Yet, the problem stands even if we assume a perfectly sequential list of instructions. One could even make the (not so) provocative statement that predicting the timing of a single instruction can be challenging.

Toward a Scientific and Engineering Discipline of Cyber-Physical Systems

Note: This article was originally published in ACM Transactions on Cyber-Physical Systems. The citation of and the link to the original article: C. Lu, Toward a Scientific and Engineering Discipline of Cyber-Physical Systems, ACM Transactions on Cyber-Physical Systems, 5(3), Article 22e, July 2021. Cyber-physical systems (CPS) are driving a wide range of exciting applications from smart […]

New Blog Editors

About two years ago, as new members of the SIGBED executive committee (EC), we decided to replace the SIGBED review with a blog that could serve as an informal medium for the SIGBED community. After receiving input from the SIGBED EC members and months of preparation, we finally launched the blog in April 2020. So […]

The “Android” for Autonomous Vehicles

In RTAS 2021, we organized a panel discussion on “RTOS for Autonomous Machines”. The panelists are Shinpei Kato (The University of Tokyo & Tier IV, Inc.), Andrei Kholodnyi (Wind River Systems), Shaoshan Liu (PerceptIn), Jan Staschulat (Robert Bosch GmbH), and Richard West (Boston University). An interesting topic discussed during the panel is “Will there be […]

COVID Infection Prediction using CPS Formal Verification Methods

  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 […]

Real-Time Edge Intelligence

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 […]

Determinism

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 […]

Robot Learning meets Formal Specifications: Designing Safer Embedded Software in the age of AI

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 […]

From the Editors: The First Year Report

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 [...]

What is the real-time cloud and how do we get there?

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.   [...]

Cyber-Physical Systems embody the battle between Self-Awareness and Context-Awareness

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 [...]

The Need for Empirical Survey-based Research

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 [...]

Shaping the future of real-time conferences on principles of transparency, equity, and inclusivity

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 […]

The Dirichlet Rescale (DRS) algorithm: a general-purpose method underpinning synthetic task set generation

  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 [...]

embedded systems

EMSOFT 2020 PC Chair’s Report

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 […]

About the Blog

Contribute to the SIGBED Blog

Get Blog Updates

Recent Posts

RTAS’22 Trip Report

Strong Isolation and Cyber-Security for Mixed-Criticality Cyber-Physical Systems

[EMSOFT 2021 Best Paper] Verified Lustre normalization with node subsampling

Archive