Web-based platform for river flood monitoring

Ribeiro, Alexandra; Cardoso, Alberto; Marques, Alfeu Sá; Simões, Nuno

doi:10.1109/expat.2017.7984372

Cited by 3 publications

(5 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [27], a web-based distribution platform that carries together important information on river floods is presented. e method contains various types of flood associated information such as water level, rainfall, water flow, and water direction collected through geo-sensor networks.…”

Section: Literature Reviewmentioning

confidence: 99%

“…e platform acts as an information channel among authorities and experts to manage and coordinate teamwork and communication and as a web-based foundation of information for the community, sustaining their need of being timely informed about water level and flood situations. Ribeiro et al [27] proposed a system consisting of three major components: processing unit, sensor network, and database of applications. e water level is monitored using wireless sensors that use mobile general package radio service communication to broadcast the flood water information towards a web-based server.…”

Section: Literature Reviewmentioning

confidence: 99%

See 1 more Smart Citation

Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems

Rehman

Akhtar

Alhazmi

2021

Scientific Programming

View full text Add to dashboard Cite

Floods after monsoon rains are frequent disasters that affect millions of lives in Pakistan. Human lives are lost, agriculture economies are destroyed, and livestock animals, houses, fruit farms, and crops are lost which are the major livelihoods of thousands of people in Punjab. Each year there are heavy rains in the monsoon season and, due to global warming, there is the rapid melting of snow in northern glaciers; these factors subsequently cause floods. There is also loss of life due to the spread of waterborne diseases and snake bites. Flood monitoring provides early detection of a flood and the calculation of its intensity, which results in reduced human life losses and economic losses. Most casualties are caused by the lack of timely real-time, authentic information about the high-risk areas, and flood intensity, speed, and direction. Therefore, the proposed approach is centered on formal modeling and verification of safety and liveness properties of flood monitoring perceivers. Each flood perceiver has several sensors. It requires the collection of information starting from the flood perceiver, observer, and environmental forecast. This information is processed to determine the flood intensity level. We have developed a CP-Nets’ formal model and model-checked it. We have verified the safety and liveness properties of correctness by exhaustive verification of the system using model-based proof obligations (Event-B method using Rodin). Our objective in this research is to propose a correct, reliable, and efficient flood warning, monitoring, and rescue (WMR) SoS based on formal methods. We have used formal modeling and model-checking based on state-of-the-art hierarchical CP-Nets supported by exhaustive formal proof obligations of Event-B.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

Section: Literature Reviewmentioning

confidence: 99%

Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems

Rehman

Akhtar

Alhazmi

2021

Scientific Programming

View full text Add to dashboard Cite

show abstract

“…In developing the web-based system, it is important for the developer to understand all the relevant web technologies. For the communication among the web-based system components and the database, it is required the secure server-side application [14]. Firewall and network security features can help to prevent undesirable access to the server by intruders that may damage the data and the server system.…”

Section: B the Technology Of System Developmentmentioning

confidence: 99%

“…Firewall and network security features can help to prevent undesirable access to the server by intruders that may damage the data and the server system. AJAX (Asynchronous Java Script and XML) is commonly used in developing the system as it will quicken the data transfer between server and clients as well as decrease the process load at the server side [11,14]. A programming language needs to be selected to write the scripts, especially, in creating and processing the mathematical models or tools.…”

Section: B the Technology Of System Developmentmentioning

confidence: 99%

“…Therefore, user-friendly interface and easy access are the important features to be considered in developing such a system. Rich collection of web applications, which can easily be accessed by a typical web browser and can provide the users with smooth interaction with the data sources, are the necessity of a good web-based system [14].…”

Section: The Features Of the Web-based Systemmentioning

confidence: 99%

See 1 more Smart Citation

The Web-based Framework of X-Band Polarimetric Radar System

Hasan¹,

Goto²,

Miyamoto³

2019

IJRTE

View full text Add to dashboard Cite

The application of X-Band Polarimetric radar (X-Band MP radar) is very effective in disaster risk management which can help professional, researchers, private and government agencies to take actions for rainfall-related disaster preparedness and prevention activities. This needs dissemination of rainfall radar data and information for developing the methods, models and applications. With the emerging Internet technologies, many web-based systems are used as a fundamental platform for gathering, processing and delivering the data or information in many fields. This paper is aimed to recognize the requirements of a web-based framework for rainfall estimation system by using X-Band MP radar. Through the systematic approach, three requirements for the proposed architecture are identified, which are the source of rainfall data, the technology involved in the system development and the features of web-based system. Those requirements are represent the whole concept of X-Band MP radar system for Malaysia. Based on the outcome of this study, a web-based system framework is proposed and the prototype of the proposed system will be developed.

show abstract