Modelling ambulance deployment with CARMA

Vashti Galpin

doi:10.1007/978-3-319-39519-7_8

Modelling ambulance deployment with CARMA

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Coordination Models and Languages
Subtitle of host publication	18th 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
Editors	Alberto Lluch Lafuente, Jose Proenca
Publisher	Springer
Pages	1-16
Number of pages	16
ISBN (Electronic)	978-3-319-39519-7
ISBN (Print)	978-3-319-39518-0
DOIs	https://doi.org/10.1007/978-3-319-39519-7_8
Publication status	Published - 2016
Event	18th IFIP International Conference on Coordination Models and Languages - Heraklion, Greece Duration: 6 Jun 2016 → 9 Jun 2016 http://2016.discotec.org/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	9686
ISSN (Print)	0302-9743

Conference

Conference	18th IFIP International Conference on Coordination Models and Languages
Abbreviated title	COORDINATION 2016
Country/Territory	Greece
City	Heraklion
Period	6/06/16 → 9/06/16
Internet address	http://2016.discotec.org/

Access to Document

10.1007/978-3-319-39519-7_8

Modelling ambulance deployment with CARMAAccepted author manuscript, 172 KB

http://link.springer.com/chapter/10.1007%2F978-3-319-39519-7_8

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
Hillston, J. (Principal Investigator) & Gilmore, S. (Co-investigator)
EU government bodies
1/04/13 → 31/03/17
Project: Research

Vashti Galpin
- Laboratory for Foundations of Computer Science
- Foundations of Computation
- School of Informatics - Senior Researcher
Person: Academic: Research Active

Cite this

Galpin, V. (2016). Modelling ambulance deployment with CARMA. In A. L. Lafuente, & J. Proenca (Eds.), Coordination Models and Languages: 18th 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 (pp. 1-16). (Lecture Notes in Computer Science; Vol. 9686). Springer. https://doi.org/10.1007/978-3-319-39519-7_8

Galpin, Vashti. / Modelling ambulance deployment with CARMA. Coordination Models and Languages: 18th 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. editor / Alberto Lluch Lafuente ; Jose Proenca. Springer, 2016. pp. 1-16 (Lecture Notes in Computer Science).

@inproceedings{055f51b2379d4e2199e00a9db8036e9e,

title = "Modelling ambulance deployment with CARMA",

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.",

author = "Vashti Galpin",

year = "2016",

doi = "10.1007/978-3-319-39519-7_8",

language = "English",

isbn = "978-3-319-39518-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--16",

editor = "Lafuente, {Alberto Lluch} and Jose Proenca",

booktitle = "Coordination Models and Languages",

address = "United Kingdom",

note = "18th IFIP International Conference on Coordination Models and Languages, COORDINATION 2016 ; Conference date: 06-06-2016 Through 09-06-2016",

url = "http://2016.discotec.org/",

}

Galpin, V 2016, Modelling ambulance deployment with CARMA. in AL Lafuente & J Proenca (eds), Coordination Models and Languages: 18th 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. Lecture Notes in Computer Science, vol. 9686, Springer, pp. 1-16, 18th IFIP International Conference on Coordination Models and Languages, Heraklion, Greece, 6/06/16. https://doi.org/10.1007/978-3-319-39519-7_8

Modelling ambulance deployment with CARMA. / Galpin, Vashti.
Coordination Models and Languages: 18th 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. ed. / Alberto Lluch Lafuente; Jose Proenca. Springer, 2016. p. 1-16 (Lecture Notes in Computer Science; Vol. 9686).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Modelling ambulance deployment with CARMA

AU - Galpin, Vashti

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-39519-7_8

DO - 10.1007/978-3-319-39519-7_8

M3 - Conference contribution

SN - 978-3-319-39518-0

T3 - Lecture Notes in Computer Science

SP - 1

EP - 16

BT - Coordination Models and Languages

A2 - Lafuente, Alberto Lluch

A2 - Proenca, Jose

PB - Springer

T2 - 18th IFIP International Conference on Coordination Models and Languages

Y2 - 6 June 2016 through 9 June 2016

ER -

Galpin V. Modelling ambulance deployment with CARMA. In Lafuente AL, Proenca J, editors, Coordination Models and Languages: 18th 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. Springer. 2016. p. 1-16. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-39519-7_8

Modelling ambulance deployment with CARMA

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

Profiles

Vashti Galpin

Cite this