%0 Conference Proceedings
%T Modelling Ambulance Deployment with CarmaCARMA
%+ University of Edinburgh (Edin.)
%A Galpin, Vashti
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 18th International Conference on Coordination Languages and Models (COORDINATION)
%C Heraklion, Greece
%Y Alberto Lluch Lafuente
%Y José Proença
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9686
%P 121-137
%8 2016-06-06
%D 2016
%R 10.1007/978-3-319-39519-7_8
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01631713/document
%2 https://inria.hal.science/hal-01631713/file/416253_1_En_8_Chapter.pdf
%L hal-01631713
%U https://inria.hal.science/hal-01631713
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-9686