Projects per year
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 | |
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 |
Fingerprint
Dive into the research topics of 'Modelling ambulance deployment with CARMA'. Together they form a unique fingerprint.Projects
- 1 Finished
-
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
Hillston, J. (Principal Investigator) & Gilmore, S. (Co-investigator)
1/04/13 → 31/03/17
Project: Research
Profiles
-
Vashti Galpin
- Laboratory for Foundations of Computer Science
- Foundations of Computation
- School of Informatics - Senior Researcher
Person: Academic: Research Active