Data as processes: introducing measurement data into CARMA models
This work addresses the challenge of integrating precise measurement data into system modeling for researchers and practitioners in complex systems, though it appears incremental as it builds on existing CARMA frameworks.
The paper tackled the problem of directly incorporating measurement data into system models by introducing a model-based representation for such data within CARMA models, and assessed both liveness and safety properties of these enhanced models.
Measurement data provides a precise and detailed description of components within a complex system but it is rarely used directly as a component of a system model. In this paper we introduce a model-based representation of measurement data and use it together with modeller-defined components expressed in the CARMA modelling language. We assess both liveness and safety properties of these models with embedded data.