کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6902880 | 722780 | 2014 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
علوم کامپیوتر (عمومی)
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically](/preview/png/6902880.png)
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Simulation Modelling Practice and Theory - Volume 49, December 2014, Pages 1-26
Journal: Simulation Modelling Practice and Theory - Volume 49, December 2014, Pages 1-26
نویسندگان
Diego A. Hollmann, Maximiliano Cristiá, Claudia Frydman,