Title: Ensuring Safety and Security in Software-Based Systems

Abstract:
How can we develop and verify safe and secure software that will make intelligent decisions when transporting us? This presentation provides an introduction to formal methods. It addresses the demonstration of safety and security for automatic/autonomous ground mobility. It presents the technical challenges that need to be met.