SDL-PAND: Pandemic simulation to test the effectiveness of containment strategies through Cellular Automata and Intelligent Agents using formal languages


Functional prototype that allows to evaluate pandemic containment alternatives, based on a graphical conceptualization of the models, which represent the modeling hypotheses. The system must allow it to expand by incorporating new working hypotheses and using on two fundamental sources, data on the evolution of the pandemic (data showing the past) and sensor data (mobile phones or other devices) showing a present vision of the situation. This will allow to define forecasting models of the propagation of the pandemic from the analysis of citizens behavior. The model must also be able to expand its semantics and computing capabilities (from, for example, co-simulation) to include models of traffic management, evacuation, etc.

The aim of the project is both to generate a web application to analyze alternatives, and to define a working methodology that allows to establish a common framework for the different specialists, who must collaborate in the definition of complex models. This allows us to understand the hypotheses that govern the models and, from them, to understand the causality that derives from the multidisciplinary knowledge provided by specialists from different areas, who would not otherwise enter into this discussion.

The validation of the proposal and the resulting tool will be carried out by the Catalan Institute of Oncology and a team of doctors from the Hospital Clínic de Barcelona.

The development of the project can be followed through the website 

Duration of the project 
May, 2020 to October, 2020
Microsoft Visual Studio,
Especificació SDL,
Areas of expertise involved in the project 
Project Manager 
  • Victor García Carrasco
  • Jose Luís Perez
  • Jorge Luiz Silva Barcellos
  • Dr. Erik Cobo
  • Dr. Jaume Llopis
  • Dr. Josep Maria Ribera
  • Joan Garcia
Articles and Presentations 


Segueix-nos a

Els nostres articles del bloc d'inLab FIB


inLab FIB incorporates esCert


First LogoCSIRT Logo

inLab is member of

inLab és centre TECNIO