Skip to main content
SpringerLink
Log in

Integrating river basin DSSs with model checking

  • SPIN 2016
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

This paper presents a decision support system (DSS) based on formal methods for the management of complex river basins in flood scenarios. The DSS is the result of integrating two different DSSs: first, a DSS for dam management that uses the Spin model checker to produce the manoeuvres and the discharged water over time to satisfy user-defined constraints; second, a DSS that performs numeric simulations of rainfall and water flow along the river basin, taking into account the water discharged by dams. By integrating these two DSSs, the user can define constraints over the parameters of the river basin and all the dams. We use Spin to find the sequences of dam manoeuvres that mitigate the effect of floods along the river basin, according to these constraints. This work is part of the SAID project, a European demonstration project whose main goal is to smartly manage river basins by means of the integration of different DSSs. The demonstrator basin is the Guadalhorce river basin, located in the south of Spain. We apply the method to develop a DSS for this river basin in particular, but the approach is general enough that it can be applied to any river basin.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18

Similar content being viewed by others

References

  1. SAID Project (2015). http://www.said-project.eu

  2. Ahmad, S., Simonovic, S.: An intelligent decision support system for management of floods. Water Resour. Manag. 20, 391–410 (2006)

    Article  Google Scholar 

  3. Alur, R., Dill, D.: The Theory of Timed Automata. In: REX Workshop, LNCS, pp. 45–73. Springer-Verlag, Berlin, Heidelberg (1991)

  4. Cheng, C.T., Chau, K.W.: Flood control management system for reservoirs. Environ. Modelling Softw. 19(12), 1141–1150 (2004)

    Article  Google Scholar 

  5. Díaz, M., Gallardo, M.d.M., Merino, P., Panizo, L., Soler, E., Romero, S.: Smart Flood Management DSS. In: Proceedings of the International Conference and Exhibition Hydropower and Dams, Montreux, Switzerland, October 10–12 (2016)

  6. Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis (2000). AAI9980887

  7. Gallardo, M.d.M., Merino, P., Panizo, L., Salmerón, A.: River basin management with Spin. In: D. Bošnački, A. Wijs (eds.) Proceedings of the 23rd International Symposium Model Checking Software, SPIN 2016, Eindhoven, The Netherlands, April 7-8, 2016, pp. 78–96. Springer International Publishing (2016). doi:10.1007/978-3-319-32582-8_5

  8. Gallardo, M.M., Merino, P., Panizo, L., Linares, A.: Developing a decision support tool for dam management with SPIN. In: 14th International Workshop, FMICS 2009, LNCS, pp. 210–212. Springer, Eindhoven (2009)

  9. Gallardo, M.M., Merino, P., Panizo, L., Linares, A.: A practical use of model checking for synthesis: generating a dam controller for flood management. Softw. Practice Exp. 41(11), 1329–1347 (2011)

    Article  Google Scholar 

  10. Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Boston (2003)

    Google Scholar 

  11. Karbowski, A.: Fc-ros - decision support system for reservoir operators during flood. Environ. Softw. 6(1), 11–15 (1991)

    Article  MathSciNet  Google Scholar 

  12. Kars, P.: Formal methods in the design of a storm surge barrier control system. In: Rozenberg, G., Vaandrager, F. (eds.): Formal methods in the design of a storm surge barrier control system. Lectures on Embedded Systems, LNCS, vol. 1494, pp. 353–367. Springer, Berlin Heidelberg (1998). doi:10.1007/3-540-65193-4_28

  13. Labadie, J.W.: Optimal operation of multireservoir systems: state-of-the-art review. J. Water Resour. Plan. Manag. 130(2), 93–111 (2004)

    Article  Google Scholar 

  14. McCartney, M.P.: Decision Support Systems for Dam Planning and Operation in Africa. International Water Management Institute, Colombo (2007)

    Google Scholar 

  15. Panizo, L., Gallardo, M.M., Merino, P., Sanán, D., Linares, A.: Dam management based on model checking techniques. In: 8th international conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session, pp. 9–13. CNR, Pisa, Italy (2010)

  16. Polo, M., Herrero, J., Aguilar, C., Millares, A., Moñino, A., Nieto, S., Losada, M.: Wimmed, a distributed physically-based watershed model (i): description and validation. Environ. Hydraul. Theor. Exp. Comput. Solut. pp. 225–228 (2010)

  17. Pottinger, L.: A Flood of Dam Safety Problems (2010). https://www.internationalrivers.org/resources/a-flood-of-dam-safety-problems-1700

  18. SAID Consortium: Decision Support System for Flood Risk Management. SAID Project Fact Sheet (2016). http://www.said-project.eu/wp-content/uploads/2016/02/SAID-Factsheet-DSS-for-flood-risk-management.pdf

  19. Ávila, A., Losada, M., Polo, M.: Guadalfortran: No stationary calculation in basins 1d model. (2010). http://dinamicaambiental.com/web/index.php?option=com_k2&view=item&id=134:guadalfortran&Itemid=40

Download references

Author information

Authors and Affiliations

  1. Departamento de Lenguajes y Ciencias de la Computación, Universidad de Málaga, Andalucía Tech, Málaga, Spain

    María del Mar Gallardo, Pedro Merino, Laura Panizo & Alberto Salmerón

Authors
  1. María del Mar Gallardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pedro Merino
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Laura Panizo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alberto Salmerón
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Laura Panizo.

Additional information

This work has been partially funded by the Spanish Minisitry of Innovation and Science under Grant TIN2015-67083-R (DADIoT) and the European Commission under FP7 Environment project SAID, Grant agreement 619132, and FEDER.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

del Mar Gallardo, M., Merino, P., Panizo, L. et al. Integrating river basin DSSs with model checking. Int J Softw Tools Technol Transfer 20, 499–514 (2018). https://doi.org/10.1007/s10009-017-0478-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-017-0478-x

Keywords

Search

Navigation