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