A formal modeling approach for emergency crisis response in health during catastrophic situation

TitreA formal modeling approach for emergency crisis response in health during catastrophic situation
Publication TypeJournal Article
Year of Publication2014
AuthorsOuzzif, Ma, Hamdani, Mb, Mountassir, Hc, Erradi, Md
JournalLecture Notes in Business Information Processing

The EMS (Emergency Medical Services: “SAMU”), which is affiliated to the Moroccan Ministry of Health, is normally dedicated to coordinate, regulate and carry the sick and road casualty to the most suitable hospital facilities. In times of crisis, the EMS (SAMU) collaborates and coordinates with other stakeholders namely Civil Protection and Military health services by setting up advanced Medical positions (PMA). In this work we will focus mainly on the collaborative work between doctors and the EMS (SAMU) in order to provide a remote diagnosis during emergency situations. One objective of this paper is to formally specify the behavior of different components of a collaborative system architecture in telemedicine. The objective of these formal specifications is to increase the confidence in the collaborative architecture and to verify the consistency of the components assembly. This is important towards building a robust system free from specification errors and inconsistencies. © Springer International Publishing Switzerland 2014.




Suivez-nous sur




Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

 Télécopie : (+212) 5 37 77 72 30

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 70 77 02

        Service des affaires estudiantines : 06 62 44 87 47

        Résidences : 06 61 82 89 77


    Compteur de visiteurs:400,924
    Education - This is a contributing Drupal Theme
    Design by WeebPal.