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: Nan Guan in SIGBED Blog
Many real-time systems are safe-critical, so their timing correctness must be ensured under any circumstance at runtime. To guarantee this, we should describe the system behavior by some rigorous models, based on which properties of interests can be proved. Research on formal modeling and analysis of real-time systems has been done in, at least, two research areas: real-time scheduling and…