Abstract: Verification and validation (V&V) are essential stages in the design cycle of automotive controllers to remove the gap between the designed and implemented controller. In this paper, an early modelbased methodology is ...