Data as processes: introducing measurement data into CARMA models

TL;DR

This paper presents a novel approach to integrating measurement data directly into CARMA system models, enabling detailed analysis of system properties with embedded data.

Contribution

It introduces a model-based representation of measurement data within CARMA, allowing direct use of data in system modeling and analysis.

Findings

Enhanced ability to assess liveness and safety properties with embedded data

Demonstrates integration of measurement data into formal models

Improves accuracy of system behavior analysis

Abstract

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.