Verification and Validation of Simulation Models

Verification and Validation of Simulation Models

Sattar J. Aboud (Middle East University for Graduate Studies, Jordan), Mohammad Al Fayoumi (Middle East University for Graduate Studies, Jordan) and Mohamed Alnuaimi (Middle East University for Graduate Studies, Jordan)
DOI: 10.4018/978-1-60566-774-4.ch004
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

Unfortunately, cost and time are always restraints; the impact of simulation models to study the dynamic system performance is always rising. Also, with admiration of raising the network security models, the complexity of real model applications is rising too. As a result, the complexity of simulation models applications is also rising and the necessary demand for designing a suitable verification and validation systems to ensure the system reliability and integrality is very important. The key requirement to study the system integrity is to verify the system accuracy and to validate its legality regarding to prespecified applications causes and validly principles. This needs different plans, and application phases of simulation models to be properly identified, and the output of every part is properly documented. This chapter discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification relate to the model development process are discussed; various validation techniques are defined; conceptual model validity, model verification, operational validity, and data validity; superior verification and validation technique for simulation models relied on a multistage approach are described; ways to document results are given; and a recommended procedure is presented.
Chapter Preview
Top

Introduction

Regarding rigorous analysis of divers current ideas for verification and validation of simulation models, the specialists impression of model development and their knowledge in verification and validation of simulation models in organizations (Brade and Lehmann, 2002), within the topics of the Symposium in 2002 a developed structured verification and validation method, also denoted to as verification and validation Triangle (Brade, 2003). This method deal with the following key points of successful verification and validation:

  • Using the structured and stepwise technique

  • Reengineering verification and validation throughout model development

  • Testing intermediate results

  • Constructing a chain of facts relied on verification and validation results

  • supplying templates for documentation of verification and validation activities and findings

  • Accomplish verification and validation activities separately.

To perform this aim, the standard verification and validation triangle provides:

  • An outline of fault types that are probably is concealed in the intermediate result on which the verification and validation activities are concentrated.

  • Verification and validation stages to measure the accuracy and validity of every intermediate result separately.

  • Verification and validation sub stages with generic verification and validation goals to investigate the possible test of certain types of intermediate results and outside information.

  • Guide point to implement verification and validation methods and to reuse formerly generated verification and validation results.

  • Outline the dependence between various verification and validation goals and the effect of cyclic test on the integrity of the simulation model.

Simulation models are increasingly employed these days in solving difficulty and in decision making. Thus, a developers and consumers of these models, the decision makers with data resulting from a findings of the systems, and individuals affected via decisions relied on such systems are accurately concerned if the system and its finding are accurate. This matter is addressed during model validation and verification. Model validation is generally defined a corroboration that a computerized model with its area of applicability possesses an acceptable range of accuracy reliable with the planned use of a model and is a definition employed. Model verification is often defined as ensuring that a program of a computerized system and its performance are accurate, and is a definition accepted. The system becomes accredited during model accreditation. The system accreditation concludes if the system satisfies specified model accreditation measures consistent with the particular process. The related issue is system reliability. The system reliability is concerned with developing a confidence wanted via possible users in the system and in a data resulting from a system that they are eager to employ a system and a resulting data.

Key Terms in this Chapter

Animation: A model operational performance is showed graphically as a model moves from side to side time. For instance, the travels of parts through a factory during a simulation are exposed graphically.

The Conceptual Model: is the arithmetical or logical statement imitated of the problem entity developed for the specific report. The conceptual model is developed during an analysis and prototype phase.

Dynamic Testing Line: In dynamic testing line a machine program is implemented under various conditions and the results got including those created throughout an implementation, are employed to decide when computer software and its executions are accurate.

Model Validation: is generally defined corroboration that a computerized model with its area of applicability possesses an acceptable range of accuracy reliable with the planned use of a model and is a definition employed.

Information Validity: is defined as the information necessary for system construction, model assessment and testing, and guiding the system experiments to solve the difficulty is sufficient and accurate.

Data Modeling: is a lengthy and difficult work to accomplish, and some study stated that up to 33% of the complete time used in a simulation analysis can be used on data modeling

Static Testing Line: In static testing line the machine program is analyzed to decide when it is accurate via employing such methods as well-structured accuracy, proofs, and testing the structure characteristics of a program.

The Computerized System: is the conceptual model executed on the machine. The computerized system is developed during a computer programming and executing phase, and inferences regarding the problem entity are got via guiding machine experiments on a computerized system in an experimentation phase.

Operational Validity: is defined as a model result behavior has enough correctness for a model intended aim over the area of system intended applicability.

Verification and Validation: to measure the accuracy and validity of every intermediate result separately.

Complete Chapter List

Search this Book:
Reset