Projects per year
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.
of these models with embedded data.
Original language | English |
---|---|
Title of host publication | Proceedings of the Workshop FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems |
Subtitle of host publication | FORMCAST 2016 |
Publisher | Open Publishing Association |
Pages | 31-42 |
Number of pages | 12 |
DOIs | |
Publication status | Published - 7 Jul 2016 |
Event | Formal methods for the quantitative Evaluation of Collective Adaptive Systems - Vienna, Austria Duration: 8 Jul 2016 → 8 Jul 2016 http://forecast.disia.unifi.it/ |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Publisher | Open Publishing Association |
Volume | 217 |
ISSN (Print) | 2075-2180 |
Conference
Conference | Formal methods for the quantitative Evaluation of Collective Adaptive Systems |
---|---|
Abbreviated title | FORECAST 2016 |
Country/Territory | Austria |
City | Vienna |
Period | 8/07/16 → 8/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.Projects
- 1 Finished
-
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
1/04/13 → 31/03/17
Project: Research