Post by: Edward Lee in SIGBED Blog
Unlike most disciplines, in Computer Science, conference publications dominate over journals, and program committees carry out the bulk of the peer reviewing. Serving on a PC is a yeoman’s service, and the community owes them a debt of gratitude. However, I believe that a toxic culture has emerged. This blog is a call for PCs to change their priorities. We…
Post by: Anam Farrukh, Richard West in SIGBED Blog
“FlyOS: Integrated Modular Avionics for Autonomous Multicopters” by Anam Farrukh and Richard West won the best student paper award from amongst the outstanding category of papers at the 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) in 2022. This blog post gives an overview of the work. From Federated to Integrated Architectures Traditionally, flight management systems across all…
Post by: Christian Dietrich in SIGBED Blog
Milan Cathedral is the largest Gothic cathedral in the world 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…
Post by: Alessandro Biondi in SIGBED Blog
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 technological domains are evolving thanks…
Post by: Timothy Bourke, Basile Pesin, Paul Jeanmaire, Marc Pouzet in SIGBED Blog
"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 of links between the article…
Post by: Björn Brandenburg in SIGBED Blog
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 event-driven workloads. As we'll compare…
Post by: Gerhard Fohler in SIGBED Blog
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 of Euromicro, has changed, and…
Post by: Renato Mancuso, Dakshina Dasari, Arne Hamann in SIGBED Blog
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…
Post by: Chenyang Lu in SIGBED Blog
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 cities to smart healthcare. In…
Post by: Heechul Yun, Sophie Quinton in SIGBED Blog
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 far, the blog has published…