Real-Time Sys Temporal Verif

3 Credits · Level: Graduate, Undergraduate

This course teaches how to ensure computer systems are temporally correct, which is especially important for systems with interactions with the physical world such as autonomous cars, jet aircraft, robots, as well as classical embedded systems. For these systems, timing affects both system safety and performance. The course covers real-time scheduling for single and multicore systems, resource sharing protocols and analysis, practical control theory and PID control, symbolic model checking, temporal logics, automated reasoning using SMT solvers and Timed Automata.