Upload
hillary-craig
View
217
Download
2
Embed Size (px)
Citation preview
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