数据作为过程：将测量数据引入CARMA模型
Data as processes: introducing measurement data into CARMA models
摘要：
测量数据提供了复杂系统中组件的精确和详细描述，但很少直接用作系统模型的组件。在本文中，我们介绍了一个基于模型的测量数据表示，并使用它与模型定义的组件表示的CARMA建模语言。我们评估这些模型的活性和安全性与嵌入数据。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
