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.
Type de document :
Communication dans un congrès
Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.121-137, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_8〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01631713
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 novembre 2017 - 16:13:39
Dernière modification le : jeudi 9 novembre 2017 - 16:15:57
Document(s) archivé(s) le : samedi 10 février 2018 - 14:10:00

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Vashti Galpin. Modelling Ambulance Deployment with CarmaCARMA. Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.121-137, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_8〉. 〈hal-01631713〉

Partager

Métriques

Consultations de la notice

13