Model-based Verification and Validation of an Autonomous Vehicle System

Eun-Young Kang, Dongrui Mu, Li Huang +1

The software development for Cyber-Physical Systems (CPS), e.g., autonomous vehicles, requires both functional and non-functional quality assurance to guarantee that the CPS operat…