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

Autores
Hollmann, Diego Ariel; Cristiá, Maximiliano; Frydman, Claudia Sabrina
Año de publicación
2014
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
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
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
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
Materia
Simulation criteria
Model validation
DEVS
Nivel de accesibilidad
acceso embargado
Condiciones de uso
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/4803
Acceder
id CONICETDig_10457bcb68deb416fece7e1c1e4c89e0
oai_identifier_str oai:ri.conicet.gov.ar:11336/4803
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automaticallyHollmann, Diego ArielCristiá, MaximilianoFrydman, Claudia SabrinaSimulation criteriaModel validationDEVShttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1The 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.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; ArgentinaFil: 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; ArgentinaFil: 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é; FranciaElsevier2014-08-27info:eu-repo/date/embargoEnd/2016-09-30info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/4803Hollmann, 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-261569-190Xenginfo:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S1569190X14001142info:eu-repo/semantics/altIdentifier/issn/1569-190Xinfo:eu-repo/semantics/altIdentifier/url/http://arxiv.org/abs/1406.6937v2info:eu-repo/semantics/altIdentifier/doi/10.1016/j.simpat.2014.07.003info:eu-repo/semantics/altIdentifier/arxiv/1406.6937v2info:eu-repo/semantics/embargoedAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:56:09Zoai:ri.conicet.gov.ar:11336/4803instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:56:09.843CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
title A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
spellingShingle A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
Hollmann, Diego Ariel
Simulation criteria
Model validation
DEVS
title_short A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
title_full A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
title_fullStr A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
title_full_unstemmed A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
title_sort A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
dc.creator.none.fl_str_mv Hollmann, Diego Ariel
Cristiá, Maximiliano
Frydman, Claudia Sabrina
author Hollmann, Diego Ariel
author_facet Hollmann, Diego Ariel
Cristiá, Maximiliano
Frydman, Claudia Sabrina
author_role author
author2 Cristiá, Maximiliano
Frydman, Claudia Sabrina
author2_role author
author
dc.subject.none.fl_str_mv Simulation criteria
Model validation
DEVS
topic Simulation criteria
Model validation
DEVS
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
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
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
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
description 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.
publishDate 2014
dc.date.none.fl_str_mv 2014-08-27
info:eu-repo/date/embargoEnd/2016-09-30
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/4803
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
1569-190X
url http://hdl.handle.net/11336/4803
identifier_str_mv 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
1569-190X
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S1569190X14001142
info:eu-repo/semantics/altIdentifier/issn/1569-190X
info:eu-repo/semantics/altIdentifier/url/http://arxiv.org/abs/1406.6937v2
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.simpat.2014.07.003
info:eu-repo/semantics/altIdentifier/arxiv/1406.6937v2
dc.rights.none.fl_str_mv info:eu-repo/semantics/embargoedAccess
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
eu_rights_str_mv embargoedAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269387508154368
score 13.13397

Publicaciones similares