Implications of Dynamics
Manage multiple versions of components and systems
- Modeling
- Static and runtime selection
- Concurrent execution
Static vs. runtime assertion of properties
Modeling of change and reconfiguration
- difference between variants
- transition between variants
- system/component state transfer