Mostrar el registro sencillo del ítem
dc.contributor.author
Hollmann, Diego Ariel
dc.contributor.author
Cristiá, Maximiliano
dc.contributor.author
Frydman, Claudia Sabrina
dc.date.available
2016-03-15T20:32:09Z
dc.date.issued
2014-08-27
dc.identifier.citation
Hollmann, Diego Ariel; Cristiá, Maximiliano; Frydman, Claudia Sabrina; A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically; Elsevier; Simulation Modelling Practice and Theory; 49; 27-8-2014; 1-26
dc.identifier.issn
1569-190X
dc.identifier.uri
http://hdl.handle.net/11336/4803
dc.description.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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Elsevier
dc.rights
info:eu-repo/semantics/embargoedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
dc.subject
Simulation Criteria
dc.subject
Model Validation
dc.subject
Devs
dc.subject.classification
Ciencias de la Computación
dc.subject.classification
Ciencias de la Computación e Información
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2016-03-30 10:35:44.97925-03
dc.journal.volume
49
dc.journal.pagination
1-26
dc.journal.pais
Países Bajos
dc.journal.ciudad
Amsterdam
dc.description.fil
Fil: Hollmann, Diego Ariel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina
dc.description.fil
Fil: Cristiá, Maximiliano. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina
dc.description.fil
Fil: Frydman, Claudia Sabrina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Université de Toulon. Aix Marseille Université; Francia
dc.journal.title
Simulation Modelling Practice and Theory
dc.rights.embargoDate
2016-09-30
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S1569190X14001142
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/issn/1569-190X
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.simpat.2014.07.003
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://arxiv.org/abs/1406.6937v2
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/arxiv/1406.6937v2
Archivos asociados