Integrating river basin DSSs with model checking

  • María del Mar Gallardo
  • Pedro Merino
  • Laura Panizo
  • Alberto Salmerón
SPIN 2016


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.


Decision support system Basin management Formal methods 


  1. 1.
    SAID Project (2015).
  2. 2.
    Ahmad, S., Simonovic, S.: An intelligent decision support system for management of floods. Water Resour. Manag. 20, 391–410 (2006)CrossRefGoogle Scholar
  3. 3.
    Alur, R., Dill, D.: The Theory of Timed Automata. In: REX Workshop, LNCS, pp. 45–73. Springer-Verlag, Berlin, Heidelberg (1991)Google Scholar
  4. 4.
    Cheng, C.T., Chau, K.W.: Flood control management system for reservoirs. Environ. Modelling Softw. 19(12), 1141–1150 (2004)CrossRefGoogle Scholar
  5. 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)Google Scholar
  6. 6.
    Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis (2000). AAI9980887Google Scholar
  7. 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. 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)Google Scholar
  9. 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)CrossRefGoogle Scholar
  10. 10.
    Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Boston (2003)Google Scholar
  11. 11.
    Karbowski, A.: Fc-ros - decision support system for reservoir operators during flood. Environ. Softw. 6(1), 11–15 (1991)CrossRefMathSciNetGoogle Scholar
  12. 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. 13.
    Labadie, J.W.: Optimal operation of multireservoir systems: state-of-the-art review. J. Water Resour. Plan. Manag. 130(2), 93–111 (2004)CrossRefGoogle Scholar
  14. 14.
    McCartney, M.P.: Decision Support Systems for Dam Planning and Operation in Africa. International Water Management Institute, Colombo (2007)Google Scholar
  15. 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)Google Scholar
  16. 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)Google Scholar
  17. 17.
    Pottinger, L.: A Flood of Dam Safety Problems (2010).
  18. 18.
    SAID Consortium: Decision Support System for Flood Risk Management. SAID Project Fact Sheet (2016).
  19. 19.
    Ávila, A., Losada, M., Polo, M.: Guadalfortran: No stationary calculation in basins 1d model. (2010).

Copyright information

© Springer-Verlag GmbH Germany 2017

Authors and Affiliations

  • María del Mar Gallardo
    • 1
  • Pedro Merino
    • 1
  • Laura Panizo
    • 1
  • Alberto Salmerón
    • 1
  1. 1.Departamento de Lenguajes y Ciencias de la ComputaciónUniversidad de Málaga, Andalucía TechMálagaSpain

Personalised recommendations