A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically

Abstract

The most common method to validate a DEVS model against the requirements is to simulate it several times under different conditions, with some simulation tool. The behavior of the model is compared with what the system is supposed to do. The number of different scenarios to simulate is usually infinite, therefore, selecting them becomes a crucial task. This selection, actually, is made following the experience or intuition of an engineer. Here we present a family of criteria to conduct DEVS model simulations in a disciplined way and covering the most significant simulations to increase the confidence on the model. This is achieved by analyzing the mathematical representation of the DEVS model and, thus, part of the validation process can be automatized.

CML-DEVS: A specification language for DEVS conceptual models

“…If the practitioners need to make changes to the model, they should modify the CML-DEVS model and re-compile it. Only once the model is properly validated (for instance, using the techniques presented in [13]), the specialist could ask to some developer to make an optimal implementation in the most suitable simulator for such model. …”

Modelo y simulación de una intersección vial usando el software Arena

“…El modelado es una descripción matemática (relaciones matemáticas o lógicas) de un sistema dinámico. El modelo se obtiene por medio de la abstracción del problema y de una posterior simplificación de los elementos que lo conforman e intervienen en él (Hollmann, Cristía, & Frydman, 2014). Una vez que se obtiene un modelo, este se puede evaluar tanto a través de una solución analítica o mediante simulaciones.…”