دانلود مقاله ISI انگلیسی شماره 78454
عنوان فارسی مقاله

متریک کیفی مبتنی بر خصوصیات جدیدی را برای اعتبار مدل شبیه سازی

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
78454 2016 15 صفحه PDF سفارش دهید محاسبه نشده
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
A new specification-based qualitative metric for simulation model validity
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Simulation Modelling Practice and Theory, Volume 66, August 2016, Pages 1–15

کلمات کلیدی
فریم تجربی؛ انتزاع ؛ ورودی / خروجی ماشین آلات؛ سازگاری
پیش نمایش مقاله
پیش نمایش مقاله متریک کیفی مبتنی بر خصوصیات جدیدی را برای اعتبار مدل شبیه سازی

چکیده انگلیسی

Informal validation techniques such as simulation are extensively used in the development of embedded systems. Formal approaches such as model-checking and testing are important means to carry out Verification and Validation (V&V) activities. Model-checking consists in exploring all possible behaviors of a model in order to perform a qualitative and quantitative analysis. However, this method remains of limited use as it runs into the problem of combinatorial explosion. Testing and model-checking do not take into account the context of use objectives of the model. Simulation overcomes these problems but it is not exhaustive. Submitted to simulation scenarios which are an operational formulation of the V&V activity considered, simulation consists in exploring a subset of the state space of the model. This paper proposes a formal approach to assess simulation scenarios. The formal specification of a model and the simulation scenarios applied to that model serve to compute the effective evolutions taken by the simulation. It is then possible to check whether a simulation fulfills its intended purpose. To illustrate this approach, the application study of an intelligent cruise controller is presented. The main contribution of this paper is that combining simulation objectives and formal methods leads to define a qualitative metric for a simulation evaluation without running a simulation.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.