Edinburgh Research Explorer

Modelling movement for collective adaptive systems with CARMA

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

https://arxiv.org/abs/1607.02963
Original languageEnglish
Title of host publicationFormal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop of STAF 2016
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/

Conference

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

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.

Download statistics

No data available

ID: 26327400