Modelling movement for collective adaptive systems with CARMA

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

Abstract

Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system or environment that can change over time. When these components operate in space, then their behaviour can be affected by where they are located in that space. Examples include the possibility of communication between two components located at different points, and rates of movement of a component that may be affected by location. The CARMA language and its associated software tools can be used to model such systems. In particular, a graphical editor for CARMA allows for the specification of spatial structure and generation of templates that can be used in a CARMA model with space. We demonstrate the use of this tool to experiment with a model of pedestrian movement over a network of paths.
Original languageEnglish
Title of host publication Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)
PublisherOpen Publishing Association
Pages43-52
Number of pages10
DOIs
Publication statusPublished - 7 Jul 2016
EventFormal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop - Vienna, Austria
Duration: 4 Jul 20188 Jul 2018
http://staf2016.conf.tuwien.ac.at/proceedings/

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
Volume217
ISSN (Print)2075-2180

Conference

ConferenceFormal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop
Abbreviated titleSTAF 2016
Country/TerritoryAustria
CityVienna
Period4/07/188/07/18
Internet address

Fingerprint

Dive into the research topics of 'Modelling movement for collective adaptive systems with CARMA'. Together they form a unique fingerprint.

Cite this