CARMA is process-algebra influenced language for the quantitative modelling of collective adaptive systems which involve collaboration and coor- dination. 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.
Slides - PDF
Back to Publications page