COS2MOS research group



COS2MOS research team came together one year ago. The group is officially accredited as "Emergent Research Group" by the Aragonese Government (Ref. T93), thus partially co-financed by the Aragonese Government and the European Social Fund. It is part of the Department of Computer Science and Systems Engineering at the University of Zaragoza. It is also integrated in the Aragon Institute for Engineering Research (I3A).

Here you will find information about our activities, projects and research work. The main research activity are the development of complex systems: Distributed systems with non funcitonal requirements such a scalability, fault tolerance, dynamic structure and behavior. These systems requiere formal models and methodologies that allow the modeller to reason about the correcteness of proposed solutions.

Our research activities are closely connected with current societal callenges proposed by the H2020 program of the European Union. These callenges covers complex domains such as health, energy, transport, digital society, security, etc.


COS2MOS Computer Science for Complex System modelling

Contact Information

University of Zaragoza

Department of Computer Science

C/María de Luna, 1

50018 Zaragoza (Spain).

Ada Byron Building

room  D.2.19

email banares at

tel. +34 976 761928

fax. +34 976 761914

COS2MOS Last News

Current Projects

Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators (more information link) (pdf in Spanish, pdf in english)

In this project, we address the computational challenges raised by Electric Vehicles (EVs). From a computational point of view, this involves demand forecast methods, state estimation techniques, and real-time monitoring. The adopted computational approach is based on concepts, methods and tools oriented to the processing of Continuous Data Streams. This is due to the critical characteristic of these problems is related to large volumes of data being generated in a distributed, stream fashion, and real-time.

Project supported by the Spanish Ministry of Economy under the program “Programa de I+D+i Estatal de Investigación, Desarrollo e innovación Orientada a los Retos de la Sociedad”, project id TIN2013-40809-R

Open Call for research grant (Ayudas para contratos predoctorales para la formación de doctores 2014). The call for proposals is open until  26 September. Each application must reference a research project.  The project TIN2013-40809-R is in the list of projects. More information in the Project page.