Formal architecture and verification of a smart flood monitoring system-of-systems
Joint Authors
Akhtar, Nadim
Khan, Saima
Sarwar, Ambreen
Source
The International Arab Journal of Information Technology
Issue
Vol. 16, Issue 2 (31 Mar. 2019)7 p.
Publisher
Publication Date
2019-03-31
Country of Publication
Jordan
No. of Pages
7
Main Subjects
Information Technology and Computer Science
Abstract EN
In a flood situation, forecast of necessary information and an effective evacuation plan are vital.
Smart Flood Monitoring System-of-Systems(SoS) is a flood monitoring and rescue system.
It collects information from weather forecast, flood onlookers and observers.
This information is processed and then made available as alerts to the clients.
The system also maintains continuous communication with the authorities for disaster management, social services, and emergency responders.
Smart Flood Monitoring System-of-System synchronizes the support offered by emergency responders with the community needs.
This paper presents the architecture specification and formal verification of the proposed Smart Flood Monitoring SoS.
The formal model of this SoS is specified to ensure the correctness properties of safety and liveness.
American Psychological Association (APA)
Akhtar, Nadim& Khan, Saima& Sarwar, Ambreen. 2019. Formal architecture and verification of a smart flood monitoring system-of-systems. The International Arab Journal of Information Technology،Vol. 16, no. 2.
https://search.emarefa.net/detail/BIM-895000
Modern Language Association (MLA)
Akhtar, Nadim…[et al.]. Formal architecture and verification of a smart flood monitoring system-of-systems. The International Arab Journal of Information Technology Vol. 16, no. 2 (Mar. 2019).
https://search.emarefa.net/detail/BIM-895000
American Medical Association (AMA)
Akhtar, Nadim& Khan, Saima& Sarwar, Ambreen. Formal architecture and verification of a smart flood monitoring system-of-systems. The International Arab Journal of Information Technology. 2019. Vol. 16, no. 2.
https://search.emarefa.net/detail/BIM-895000
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-895000