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.
This work was supported by the CSPT Research Grant (SeCoM).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Wang D.Y.A., Pan L.W.B., Lu L.A., Zhu J.P.A., Liao G.X.A.: Integrated Emergency Response System Structure Design for a City in China. In: International Conference on Performance-based Fire and Fire Protection Engineering (2012)
Li, J., Li, Q., Liu, C., Khan, S.U., Ghani, N.: Community-based collaborativeinformation system for emergency management. Original Research Article Computers & Operations Research 42, 116–124 (2014)
Hadiguna, R.A., Kamil, I., Delati, A., Reed, R.: Implementing a web-based decision support system for disaster logistics: A case study of an evacuation location assessment for Indonesia. Original Research Article International Journal of Disaster Risk Reduction 9, 38–47 (2014)
Attebury, G., Baranovski, A., Bloom, K., Bockelman, B.: Hadoop distributed file system for the Grid. In: 2009 IEEE Nuclear Science Symposium Conference Record (NSS/MIC), Orlando, FL. Univ. of Nebraska Lincoln, Lincoln (2009)
Viana-Ferreira, C., Costa, C., Oliveira, J.: Dicoogle Relay – a Cloud Communications Bridge for Medical Imaging. In: chez 25th International Symposium on Computer-Based Medical Systems (CBMS), Rome (2012)
Manna, Z., Pnuelli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Spinger (1992) ISBN 0-387-97664-7
Holzmann, G.: The model checker Spin. IEEE Transactions on Software Enginnering 23(15) (1996)
Krombi, W., Erradi, M., Khoumsi, A.: Automata-Based Approach to Design and Analyze Security Policies. In: IEEE 12th Int. Conf. on Privacy Security and Trust, Toronto (July 2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Ouzzif, M., Hamdani, M., Mountassir, H., Erradi, M. (2014). A Formal Modeling Approach for Emergency Crisis Response in Health during Catastrophic Situation. In: Hanachi, C., Bénaben, F., Charoy, F. (eds) Information Systems for Crisis Response and Management in Mediterranean Countries. ISCRAM-med 2014. Lecture Notes in Business Information Processing, vol 196. Springer, Cham. https://doi.org/10.1007/978-3-319-11818-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-11818-5_10
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11817-8
Online ISBN: 978-3-319-11818-5
eBook Packages: Computer ScienceComputer Science (R0)