指导DEVS模型严格、系统、半自动验证的仿真准则族
A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically
摘要：
验证DEVS模型是否符合要求的最常用方法是在不同条件下使用某些仿真工具对其进行多次仿真。将模型的行为与系统应该做的事情进行比较。要模拟的不同场景的数量通常是无限的，因此，选择它们成为一项至关重要的任务。实际上，这种选择是根据工程师的经验或直觉做出的。在这里，我们提出了一系列的标准进行DEVS模型模拟在一个有纪律的方式，并涵盖了最重要的模拟，以增加模型的信心。这是通过分析DEVS模型的数学表示来实现的，因此，部分验证过程可以自动化。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
