Coordinated Model-Based Testing of Cyber-Physical Systems Mohammad Mousavi Halmstad University

Challenges: - Testing, verification and certification: labor intensive and unstructured -Variability: often neglected -Huge data / trajectory space: unclear notion of coverage, impossible to cover exhaustively

Key goals: -Efficient data and trajectory selection (for discrete and continuous data) -Model mining, refining and traceability in scenario generation -Coordinated test campaign / addressing variability -Model-based consequence analysis and runtime diagnosis -Resource and scheduling-aware test-suites and testing

Desired expertise: OEMs and key manufacturers (e.g., in healthcare and automotive domain) Tier-1 and Tier-2 suppliers Certification and standardization bodies