Towards Modeling Cyber-Physical Systems From Multipe Viewpoints

Cyber-physical systems are gaining more and more importance even in critical domains, where model-based development and runtime monitoring is becoming an important research area. However, traditional approaches do not always provide the suitable toolset to model their dynamic characteristics. In this paper, we aim to overview and highlight the strengths and limitations of existing runtime and design time modeling techniques that can help runtime monitoring and verification from the viewpoint of dynamic cyber-physical systems. We evaluated instance modeling, metamodeling, and metamodeling with templates, and provided example use-case scenarios for these approaches. We also overview the applicability of SysML in these contexts