We focus on state-of-the-art methods of model-driven development, requirements-oriented design, and component-based modeling and development. We focus on alignment of models from different fields, which allows us to combine at the architecture level models describing structure, coordination, communication (in mobile ad-hoc networks and infrastructure networks), physical laws, probability, etc. We have developed these models for multi-paradigm modeling of dynamic CPS via extended ensembles of autonomic components in the project MPM4CPS (COST). These results are further extended in the collaboration with our academic partners - GSSI (Italy), Chalmers University (Sweden).
Results and Artifacts
- TCOOF – Trait-based Coalition Formation Framework. A framework for logical design of cooperating agents supporting composable multi-paradigm concerns. (link)
Grants and Projects
- Multi-Paradigm Modelling for Cyber-Physical Systems (COST IC 1404, supported by parallel national grant of Ministry of Education and Sports of the Czech Republic), 2015 – 2017