This course introduces real-time system safety and simulation-based testing over automated driving systems. Throughout the course the student will prepare their system verification plans for an automated driving system including test scenarios, requirements, and verification goals. The student will gain background knowledge and practical experience on the development processes of safety critical autonomous systems.