CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
artículos
Título:
A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
Autor/es:
HOLLMANN, DIEGO; CRISTIÁ, MAXIMILIANO; FRYDMAN, CLAUDIA
Revista:
SIMULATION MODELLING PRACTICE AND THEORY
Editorial:
ELSEVIER SCIENCE BV
Referencias:
Lugar: Amsterdam; Año: 2014 vol. 49 p. 1 - 26
ISSN:
1569-190X
Resumen:
The most common method to validate a DEVS model against the requirements is to simulateit several times under different conditions, with some simulation tool. The behavior ofthe model is compared with what the system is supposed to do. The number of differentscenarios 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. Herewe present a family of criteria to conduct DEVS model simulations in a disciplined way andcovering the most significant simulations to increase the confidence on the model. This isachieved by analyzing the mathematical representation of the DEVS model and, thus, partof the validation process can be automatized.
