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 with determinism1? An argument that…

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 manually flying airplanes. Control engineering…

From the Editors: The First Year Report

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

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

The Need for Empirical Survey-based Research

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 of all people, including changing…

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

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 19th edition of EMSOFT were…

The 41st IEEE Real-Time System Symposium RTSS 2020