Edinburgh Research Explorer

Data as processes: introducing measurement data into CARMA models

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

https://arxiv.org/abs/1607.03733
Original languageEnglish
Title of host publicationFORECAST 2016 Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
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/

Conference

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

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.

Event

Download statistics

No data available

ID: 25506568