TY - GEN
T1 - Statistical analysis of CARMA models: an advanced tutorial
AU - Galpin,Vashti
AU - Georgoulas,Anastasis
AU - Loreti,Michele
AU - Vandin,Andrea
PY - 2018/12
Y1 - 2018/12
N2 - 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.
AB - 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.
U2 - 10.1109/WSC.2018.8632456
DO - 10.1109/WSC.2018.8632456
M3 - Conference contribution
SN - 978-1-5386-6573-2
SP - 395
EP - 409
BT - 2018 Winter Simulation Conference (WSC)
PB - Institute of Electrical and Electronics Engineers (IEEE)
ER -