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


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)
Number of pages15
ISBN (Electronic)978-1-5386-6572-5
ISBN (Print)978-1-5386-6573-2
Publication statusE-pub ahead of print - Dec 2018
EventWinter Simulation Conference - Gothenburg, Sweden
Duration: 9 Dec 201812 Dec 2018

Publication series

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


ConferenceWinter Simulation Conference
Abbreviated titleWSC 2018
Internet address


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

Cite this