Research Article
Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems
Table 3
Flood-WMR SoS requirements.
| Requirement | Description |
| Fun-1 | Flood-WMR SoS estimates the floodwater and rainfall categorized as low, medium, and high | Fun-2 | Flood-WMR SoS estimates the storage capacity of water in dams and rivers | Fun-3 | When the storage capacity of water is min rainfall = high alert flood_warning immediately | Fun-4 | When the storage capacity of water is max rainfall = high, medium alert flood_prevention immediately | Fun-5 | No rainfall, sufficient storage of water flood-WMR alerts no_flood | Fun-6 | During the disaster, guarantee the rescue services to the victims | Fun-7 | Guarantee the communication of all stakeholders during flood |
|
|