A family of simulation criteria to guide DEVS models validation rigorously,systematically and semi-automatically |
| |
| Affiliation: | 1. CIFASIS, Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas, Ocampo y Esmeralda, S2000EZP Rosario, Argentina;2. FCEIA – UNR, Rosario, Argentina;3. Aix Marseille Université, CNRS, ENSAM, Université de Toulon, LSIS UMR 7296, 13397, Marseille, France;1. School of Information Science and Engineering, Northeastern University, Shenyang 110004, China;2. Software College, Northeastern University, Shenyang 110004, China;1. Applied Mechanics and Structure Safety Key Laboratory of Sichuan Province, School of Mechanics and Engineering, Southwest Jiaotong University, China;2. Civil Engineering–Engineering Mechanics, University of Arizona, Tucson, AZ, USA |
| |
| 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. |
| |
| Keywords: | Model validation DEVS Discrete event simulation Simulation criteria Software engineering |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
