El grupo MORSE ha participado en el proyecto ACUAS: Desarrollo de una arquitectura software para la construcción de modelos de gestión sostenibles de los recursos hídricos. El proyecto estaba financiado por la empresa Befesa Agua S.A del grupo Abengoa.
En el proyecto se diseñó la arquitectura software de un sistema de ayuda a la decisión para cuencas hidrográficas que integra diferentes módulos de ejecución y un sistema de información geográfica. Además, MORSE llevó a cabo el módulo ayuda a la de gestión de embalses en situación de avenida. Para ello se evaluó el uso de métodos formales para el desarrollo de un sistema de ayuda a la decisión (DSS). Como resultado se realizó un prototipo de DSS basado en la herramienta de model checking SPIN con modelos para el embalse La Concepción situado en Marbella, Málaga.

