Verification and validation of SAFESPOT vehicle based applications