Program

Program

Time Title
9:00 – 9:15 Welcome
9:15 – 10:00 Keynote: Simulating and Verifying Cyber-Physical Systems — Current Challenges and Novel Research Directions
Khalil Ghorbal
10:00 – 10:30 Coffee break
 Session 1: Modeling, Verification, and Simulation
10:30 – 11:10 The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications
Rahul Kumar Bhadani, Jonathan Sprinkle and Matthew Bunting
Presenter: Rahul Kumar Bhadani
Discussant: Mohammad Hejase
11:10 – 11:50 Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL
Maike Schwammberger
Presenter: Maike Schwammberger
Discussant: Georg Schildbach
11:50 – 12:30 Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety
Eric Kim, Murat Arcak, Sanjit A. Seshia, Baekgyu Kim and Shinichi Shiraishi
Presenter: Eric Kim
Discussant: Edward Griffor
12:30 – 14:00 Lunch break
 Session 2: Failure Analysis and Tolerance, and Safety Argumentation
14:00 – 14:40 Robust Safety for Autonomous Vehicles through Reconfigurable Networking
Khalid Halba, Charif Mahmoudi and Edward Griffor
Presenter: Edward Griffor
Discussant: Eric Kim
14:40 – 15:20 Identification of Risk Significant Automotive Scenarios Under Hardware Failures
Mohammad Hejase, Arda Kurt, Tunc Aldemir and Umit Ozguner
Presenter: Mohammad Hejase
Discussant: Rahul Kumar Bhadani
15:30 – 16:00 Coffee break
16:00 – 16:40 On the Development of a Trajectory Tracking Controller under the ISO 26262 Requirements for Functional Safety
Georg Schildbach
Presenter: Georg Schildbach
Discussant: Maike Schwammberger
16:40 – 17:30 Discussion, Demo(s), and Closing