40 likes | 173 Views
Coordinated Model-Based Testing of Cyber-Physical Systems Mohammad Mousavi Halmstad University . Challenges: - Testing , verification and certification: labor intensive and unstructured Variability : often neglected
E N D
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