![](/images/graphics-bg.png)
Formal architecture and verification of a smart flood monitoring system-of-systems
المؤلفون المشاركون
Akhtar, Nadim
Khan, Saima
Sarwar, Ambreen
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 16، العدد 2 (31 مارس/آذار 2019)7ص.
الناشر
تاريخ النشر
2019-03-31
دولة النشر
الأردن
عدد الصفحات
7
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-895000
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)