Edinburgh Research Explorer

Statistical analysis of CARMA models: an advanced tutorial

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publicationProceedings of the Winter Simulation Conference (WSC 2018)
Number of pages15
StateAccepted/In press - 11 Jun 2018
EventWinter Simulation Conference - Gothenburg, Sweden
Duration: 9 Dec 201812 Dec 2018
http://meetings2.informs.org/wordpress/wsc2018/

Conference

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

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.

Event

Winter Simulation Conference

9/12/1812/12/18

Gothenburg, Sweden

Event: Conference

ID: 64031842