Modelling ambulance deployment with CARMA

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

Abstract / Description of output

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 International Publishing
Number of pages16
ISBN (Electronic)978-3-319-39519-7
ISBN (Print)978-3-319-39518-0
Publication statusPublished - 2016
Event18th IFIP International Conference on Coordination Models and Languages - Heraklion, Greece
Duration: 6 Jun 20169 Jun 2016

Publication series

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


Conference18th IFIP International Conference on Coordination Models and Languages
Abbreviated titleCOORDINATION 2016
Internet address


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

Cite this