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

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

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

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

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

ترجمه کلمات کلیدی
فریم تجربی؛ انتزاع ؛ ورودی / خروجی ماشین آلات؛ سازگاری
کلمات کلیدی انگلیسی
Experimental frame; Abstraction; Input/Output Automata; Compatibility
پیش نمایش مقاله
پیش نمایش مقاله  متریک کیفی مبتنی بر خصوصیات جدیدی را برای اعتبار مدل شبیه سازی

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

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.