Data as processes: introducing measurement data into CARMA models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationProceedings of the Workshop FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
Subtitle of host publicationFORMCAST 2016
PublisherOpen Publishing Association
Pages31-42
Number of pages12
DOIs
Publication statusPublished - 7 Jul 2016
EventFormal methods for the quantitative Evaluation of Collective Adaptive Systems - Vienna, Austria
Duration: 8 Jul 20168 Jul 2016
http://forecast.disia.unifi.it/

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
Volume217
ISSN (Print)2075-2180

Conference

ConferenceFormal methods for the quantitative Evaluation of Collective Adaptive Systems
Abbreviated titleFORECAST 2016
Country/TerritoryAustria
CityVienna
Period8/07/168/07/16
Internet address

Fingerprint

Dive into the research topics of 'Data as processes: introducing measurement data into CARMA models'. Together they form a unique fingerprint.

Cite this