Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-01479641
Contributor : William Domingues Vinhas Connect in order to contact the contributor
Submitted on : Tuesday, February 28, 2017 - 8:57:14 PM
Last modification on : Wednesday, January 12, 2022 - 4:30:04 PM

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Links full text

Identifiers

Citation

Diego Hollmann, Maximiliano Cristia, Claudia Frydman. A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically. Simulation Modelling Practice and Theory, Elsevier, 2014, pp.1-26. ⟨10.1016/j.simpat.2014.07.003⟩. ⟨hal-01479641⟩

Share

Metrics

Record views

50