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…