Post by: Nan Guan in SIGBED Blog
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 something analog to Android for…
Post by: Stanley Bak in SIGBED Blog
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 example, the behavior of an…
Post by: Tarek Abdelzaher in SIGBED Blog
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 modern AI is perception. Machine…
Post by: Edward Lee in SIGBED Blog
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…
Post by: Jyotirmoy V. Deshmukh in SIGBED Blog
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…
Post by: Heechul Yun, Sophie Quinton in SIGBED Blog
Post by: Rob Davis in SIGBED Blog
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…