Modelling ambulance deployment with CARMA

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

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.
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
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
Country/TerritoryGreece
CityHeraklion
Period6/06/169/06/16
Internet address

Fingerprint

Dive into the research topics of 'Modelling ambulance deployment with CARMA'. Together they form a unique fingerprint.

Cite this