Formal Modeling and Simulation for SARS-CoV-2 Containment Scenarios in Catalonia

We define interrelated models to simulate the spread of SARS-CoV-2 in Catalonia, which can be used to effectively build simulation applications and analyze the effects of nonpharmaceutical interventions. Due to the constant evolution of this pandemic, and the need to take a multidisciplinary approac...

Full description

Saved in:
Bibliographic Details
Published in:Computing in science & engineering 2022-05, Vol.24 (3), p.86-90
Main Authors: Casas, P. Fonseca I, Subirana, J. Garcia I, Carrasco, V. Garcia I, Palomes, X. Pi I, Wainer, Gabriel, Schneider, Barry I., Wainer, Gabriel A.
Format: Article
Language:English
Subjects:
Decision making
Formal specifications
Modeling
Pandemics
Severe acute respiratory syndrome coronavirus 2
SImulation
Specification and description languages
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We define interrelated models to simulate the spread of SARS-CoV-2 in Catalonia, which can be used to effectively build simulation applications and analyze the effects of nonpharmaceutical interventions. Due to the constant evolution of this pandemic, and the need to take a multidisciplinary approach, we use a formal specification to represent the model and to validate the model assumptions. We discuss the definition of the model using formal languages, and the Specification and Description Language to improve communication between stakeholders. We show formalization details, discuss implications in the validation process, and present how results obtained from the model of the pandemic in Catalonia can be used for decision-making.
ISSN:1521-9615
1558-366X
DOI:10.1109/MCSE.2022.3186227