Modelling Ambulance Deployment with CarmaCARMA

Abstract : Carma is a 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.
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01631713
Contributor : Hal Ifip <>
Submitted on : Thursday, November 9, 2017 - 4:13:39 PM
Last modification on : Thursday, February 7, 2019 - 3:04:27 PM
Long-term archiving on : Saturday, February 10, 2018 - 2:10:00 PM

File

416253_1_En_8_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Vashti Galpin. Modelling Ambulance Deployment with CarmaCARMA. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.121-137, ⟨10.1007/978-3-319-39519-7_8⟩. ⟨hal-01631713⟩

Share

Metrics

Record views

32

Files downloads

114