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

<table class="table-group" id="tab3"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td class="align_left">Requirement</td><td class="align_center">Description</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td class="align_left">Fun-1</td><td class="align_center">Flood-WMR SoS estimates the floodwater and rainfall categorized as low, medium, and high</td></tr><tr><td class="align_left">Fun-2</td><td class="align_center">Flood-WMR SoS estimates the storage capacity of water in dams and rivers</td></tr><tr><td class="align_left">Fun-3</td><td class="align_center">When the storage capacity of water is min rainfall = high alert flood_warning immediately</td></tr><tr><td class="align_left">Fun-4</td><td class="align_center">When the storage capacity of water is max rainfall = high, medium alert flood_prevention immediately</td></tr><tr><td class="align_left">Fun-5</td><td class="align_center">No rainfall, sufficient storage of water flood-WMR alerts no_flood</td></tr><tr><td class="align_left">Fun-6</td><td class="align_center">During the disaster, guarantee the rescue services to the victims</td></tr><tr><td class="align_left">Fun-7</td><td class="align_center">Guarantee the communication of all stakeholders during flood</td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

Scientific Programming

tab3

Table 3

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