The MORSE group participated in the ACUAS project for the development of a software architecture to construct sustainable management models for water resources. The project was financed by Befesa Agua S.A., a company of the Abengoa group.
As part of the project, the software architecture was designed for a decision support system for drainage basins that integrates different execution modules and a geographic information system. In addition, MORSE developed the reservoir flood control management assistance module. For this purpose, the use of formal methods for the development of a decision support system (DSS) was assessed. As a result, a DSS prototype was created, based on the model checking tool SPIN with models for La Concepción reservoir located in Marbella, Malaga.