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 TypeConference Paper
Year of Publication2014
AuthorsOuzzif, M, Hamdani, M, Mountassir, H, Erradi, M
EditorHanachi, C, Benaben, F, Charoy, F
Conference NameINFORMATION SYSTEMS FOR CRISIS RESPONSE AND MANAGEMENT IN MEDITERRANEAN COUNTRIES
PublisherISCRAM Assoc; IRIT Lab Toulouse; Univ Toulouse; Univ Lorraine; Ecole Mines Albi Carmaux
ISBN Number978-3-319-11817-8
Abstract

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.

Revues: 

Partenaires

Localisation


Location map

Suivez-nous sur

  

Contactez-nous

ENSIAS

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

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

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