Edinburgh Research Explorer

Modelling ambulance deployment with CARMA

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-319-39519-7_8
Original languageEnglish
Title of host publicationCoordination Models and Languages
Subtitle of host publication18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
EditorsAlberto Lluch Lafuente, Jose Proenca
PublisherSpringer International Publishing
Pages1-16
Number of pages16
ISBN (Electronic)978-3-319-39519-7
ISBN (Print)978-3-319-39518-0
DOIs
Publication statusPublished - 2016
Event18th IFIP International Conference on Coordination Models and Languages - Heraklion, Greece
Duration: 6 Jun 20169 Jun 2016
http://2016.discotec.org/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume9686
ISSN (Print)0302-9743

Conference

Conference18th IFIP International Conference on Coordination Models and Languages
Abbreviated titleCOORDINATION 2016
CountryGreece
CityHeraklion
Period6/06/169/06/16
Internet address

Abstract

CARMA is process-algebra influenced language for the quantitative modelling of collective adaptive systems which involve collaboration and coordination. These systems consist of multiple components that interact to achieve certain goals and that adapt to changes in the environment. As a case study for the application of CARMA, this paper presents an ambulance deployment system where ambulances go to medical incidents and either treat patients at the scene or transfer them to hospital. The Eclipse CARMA Plug-in is used to simulate the system, and demonstrate its behaviour in different circumstances.

Event

18th IFIP International Conference on Coordination Models and Languages

6/06/169/06/16

Heraklion, Greece

Event: Conference

Download statistics

No data available

ID: 25046538