Model‑based assurance of security and safety for environment‑based vehicle functions: modeling, test case generation and test execution of Model‑in‑the‑loop, Software‑in‑the‑loop and Hardware‑in‑the‑loop tests for security and safety.