Statistical analysis of CARMA models: an advanced tutorial

Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin

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

Abstract

CARMA (Collective Adaptive Resource-sharing Markovian Agents) is a process-algebra-based quantitative language developed for the modeling of collective adaptive systems. A CARMA model consists of an environment in which a collective of components with attribute stores interact via unicast and broadcast communication, providing a rich modeling formalism. The semantics of a CARMA model are given by a continuous-time Markov chain which can be simulated using the CARMA Eclipse Plug-in. Furthermore, statistical model checking can be applied to the trajectories generated through simulation using the Multi-VeStA tool. This advanced tutorial will introduce some of the theory behind CARMA and MultiVeStA as well as demonstrate its application to collective adaptive system modeling.
Original languageEnglish
Title of host publication2018 Winter Simulation Conference (WSC)
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages395-409
Number of pages15
ISBN (Electronic)978-1-5386-6572-5
ISBN (Print)978-1-5386-6573-2
DOIs
Publication statusE-pub ahead of print - Dec 2018
EventWinter Simulation Conference - Gothenburg, Sweden
Duration: 9 Dec 201812 Dec 2018
http://meetings2.informs.org/wordpress/wsc2018/

Publication series

Name
PublisherIEEE
ISSN (Print)0891-7736
ISSN (Electronic)1558-4305

Conference

ConferenceWinter Simulation Conference
Abbreviated titleWSC 2018
Country/TerritorySweden
CityGothenburg
Period9/12/1812/12/18
Internet address

Fingerprint

Dive into the research topics of 'Statistical analysis of CARMA models: an advanced tutorial'. Together they form a unique fingerprint.

Cite this