River Basin Management with Spin

  • María-del-Mar Gallardo
  • Pedro Merino
  • Laura PanizoEmail author
  • Alberto Salmerón
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9641)


This paper presents the use of the Spin model checker as the core engine to build Decision Support Systems (DSSs) to control complex river basins during flood situations. Current DSSs in this domain are mostly based on simulators to predict the rainfall and the water flow along the river basin.

In this paper, we propose a scheme that integrates simulators in the water domain with additional logic in Promela to represent basin elements, such as dams, their management rules, the evolution of dam parameters (e.g. level or discharge capacity), and user defined constraints in the whole basin over time. Then, we use the exploration capabilities of Spin to find out which sequences of operations over the dams produce a global behaviour that mitigates the effect of floods according to user defined constraints along the river basin. Although the method is general for any river basin with dams, it has been evaluated in a real basin in the south of Spain.


  1. 1.
    SAID Project 12 Feb 2015.
  2. 2.
    Ahmad, S., Simonovic, S.: An intelligent decision support system for management of floods. Water Resour. Manage. 20, 391–410 (2006)CrossRefGoogle Scholar
  3. 3.
    Alur, R., Dill, D.: The theory of timed automata. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 45–73. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  4. 4.
    Cheng, C.T., Chau, K.W.: Flood control management system for reservoirs. Environ. Model. Softw. 19(12), 1141–1150 (2004)CrossRefGoogle Scholar
  5. 5.
    Díaz, M., Soler, E., Romero, S., Gallardo, M.M., Merino, P., Panizo, L., Salmerón, A.: Technical specification of the DSS for flood management. Deliverable 1.3, SAID Project (2015)Google Scholar
  6. 6.
    Gallardo, M.M., Merino, P., Panizo, L., Linares, A.: Developing a decision support tool for dam management with spin. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 210–212. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  7. 7.
    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. Pract. Experience 41(11), 1329–1347 (2011)CrossRefGoogle Scholar
  8. 8.
    Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)Google Scholar
  9. 9.
    Karbowski, A.: Fc-ros - decision support system for reservoir operators during flood. Environ. Softw. 6(1), 11–15 (1991)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Labadie, J.W.: Optimal operation of multireservoir systems: state-of-the-art review. J. Water Resour. Plan. Manage. 130(2), 93–111 (2004)CrossRefGoogle Scholar
  11. 11.
    McCartney, M.P.: Decision support systems for dam planning and operation in Africa. International Water Managment Institute, Colombo (2007)Google Scholar
  12. 12.
    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, Sept. 2010Google Scholar
  13. 13.
    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. Environmental Hydraulics: Theoretical, Experimental & Computational Solutions, pp. 225–228 (2010)Google Scholar
  14. 14.
    Pottinger, L.: A Flood of Dam Safety Problems, 8 Sept. 2010.

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • María-del-Mar Gallardo
    • 1
  • Pedro Merino
    • 1
  • Laura Panizo
    • 1
    Email author
  • Alberto Salmerón
    • 1
  1. 1.Andalucía Tech, Dept. de Lenguajes y Ciencias de la ComputaciónUniversidad de MálagaMálagaSpain

Personalised recommendations