Model input verification of large scale simulations

Rumyana Neykova and Derek Groen

Journal of Simulation, 2025, vol. 19, issue 5, 596-615

Abstract: Reliable simulations require accurate input data. Invalid values, missing data, and format inconsistencies can cause crashes or result distortions, compromising the findings. This paper presents a methodology for verifying the validity of input data in simulations, a process we term model input verification (MIV). We implement this approach in FabGuard, a toolset that uses established data schema and validation tools for simulation modelling. We formalize MIV patterns and create a verification pipeline for existing workflows. FabGuard’s applicability is demonstrated across three domains: conflict-driven migration, disaster evacuation, and disease spread models. We also explore Large Language Models (LLMs) for automating constraint generation. In a migration simulation case study, LLMs correctly inferred 22/23 developer-defined constraints, identified errors in existing constraints, and proposed new, valid ones. Our evaluation demonstrates that MIV is feasible on large datasets, with FabGuard processing 300 input files in 140 seconds and maintaining consistent performance across file sizes.

Date: 2025
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1080/17477778.2025.2490133 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:tjsmxx:v:19:y:2025:i:5:p:596-615

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/tjsm20

DOI: 10.1080/17477778.2025.2490133

Access Statistics for this article

Journal of Simulation is currently edited by Christine Currie

More articles in Journal of Simulation from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().