1 Validation & Verification Chapter 10. 2 VALIDATION & VERIFICATION Very Difficult Very Important Conceptually distinct, but performed simultaneously.

Slides:



Advertisements
Similar presentations
Design of Experiments Lecture I
Advertisements

Design of Experiments and Analysis of Variance
Chapter 10 Verification and Validation of Simulation Models
The Comparison of the Software Cost Estimating Methods
VLSI Systems--Spring 2009 Introduction: --syllabus; goals --schedule --project --student survey, group formation.
Discrete-Event Simulation: A First Course Steve Park and Larry Leemis College of William and Mary.
Steps of a sound simulation study
Simulation.
Lecture 7 Model Development and Model Verification.
1 Simulation Modeling and Analysis Verification and Validation.
1 Validation and Verification of Simulation Models.
Lecture 10 Comparison and Evaluation of Alternative System Designs.
SIMULATION. Simulation Definition of Simulation Simulation Methodology Proposing a New Experiment Considerations When Using Computer Models Types of Simulations.
Principle of Functional Verification Chapter 1~3 Presenter : Fu-Ching Yang.
Lecture 6 Data Collection and Parameter Estimation.
Model Calibration and Model Validation
Chapter 14 Inferential Data Analysis
13 Design and Analysis of Single-Factor Experiments:
1 Software Testing Techniques CIS 375 Bruce R. Maxim UM-Dearborn.
Estimating Software Size Part I. This chapter first discuss the size estimating problem and then describes the PROBE estimating method used in this book.
© 2008 McGraw-Hill Higher Education The Statistical Imagination Chapter 9. Hypothesis Testing I: The Six Steps of Statistical Inference.
McGraw-Hill © 2006 The McGraw-Hill Companies, Inc. All rights reserved. The Nature of Research Chapter One.
Chapter 10 Verification and Validation of Simulation Models
Simulation Concepts Dr. Jason Merrick. Simulation with Arena — A Quick Peek at Arena C3/2 The above was just one “replication” -- a sample of size one.
 1  Outline  stages and topics in simulation  generation of random variates.
Verification & Validation
Business Analysis and Essential Competencies
1 OM2, Supplementary Ch. D Simulation ©2010 Cengage Learning. All Rights Reserved. May not be scanned, copied or duplicated, or posted to a publicly accessible.
Verification and Validation
Test Loads Andy Wang CIS Computer Systems Performance Analysis.
Generic Approaches to Model Validation Presented at Growth Model User’s Group August 10, 2005 David K. Walters.
Modeling and simulation of systems Model building Slovak University of Technology Faculty of Material Science and Technology in Trnava.
Copyright © 1994 Carnegie Mellon University Disciplined Software Engineering - Lecture 3 1 Software Size Estimation I Material adapted from: Disciplined.
Simulation is the process of studying the behavior of a real system by using a model that replicates the behavior of the system under different scenarios.
ETM 607 – Input Modeling General Idea of Input Modeling Data Collection Identifying Distributions Parameter estimation Goodness of Fit tests Selecting.
Educational Research Chapter 13 Inferential Statistics Gay, Mills, and Airasian 10 th Edition.
Chap. 5 Building Valid, Credible, and Appropriately Detailed Simulation Models.
McGraw-Hill/Irwin © 2006 The McGraw-Hill Companies, Inc., All Rights Reserved. 1.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci VERIFICATION AND VALIDATION OF SIMULATION MODELS.
VI. Regression Analysis A. Simple Linear Regression 1. Scatter Plots Regression analysis is best taught via an example. Pencil lead is a ceramic material.
Chapter 10 Verification and Validation of Simulation Models
Building Simulation Model In this lecture, we are interested in whether a simulation model is accurate representation of the real system. We are interested.
Simulation is the process of studying the behavior of a real system by using a model that replicates the system under different scenarios. A simulation.
Copyright 2010, The World Bank Group. All Rights Reserved. Testing and Documentation Part II.
McGraw-Hill/Irwin Copyright © 2009 by The McGraw-Hill Companies, Inc. All rights reserved.
1 1 Slide Simulation Professor Ahmadi. 2 2 Slide Simulation Chapter Outline n Computer Simulation n Simulation Modeling n Random Variables and Pseudo-Random.
OPERATING SYSTEMS CS 3530 Summer 2014 Systems and Models Chapter 03.
Smart Home Technologies
1 He Says vs. She Says Model Validation and Calibration Kevin Chang HNTB Corporation
Chapter 10 Verification and Validation of Simulation Models Banks, Carson, Nelson & Nicol Discrete-Event System Simulation.
STEPS IN THE DEVELOPMENT OF MODEL INPUT DATA Evaluate chosen distribution and associated parameters for goodness-of-fit Goodness-of-fit test provide helpful.
Lecture №4 METHODS OF RESEARCH. Method (Greek. methodos) - way of knowledge, the study of natural phenomena and social life. It is also a set of methods.
 Simulation enables the study of complex system.  Simulation is a good approach when analytic study of a system is not possible or very complex.  Informational,
Computacion Inteligente Least-Square Methods for System Identification.
Building Valid, Credible & Appropriately Detailed Simulation Models
Test Loads Andy Wang CIS Computer Systems Performance Analysis.
Experiments, Simulations Confidence Intervals
Performance Eval Slides originally from Williamson at Calgary
Chapter 4: Business Process and Functional Modeling, continued
Prepared by Lloyd R. Jaisingh
Understanding Results
Chapter 10 Verification and Validation of Simulation Models
قهرمانی گروه مهندسی کامپیوتر
© 2012 The McGraw-Hill Companies, Inc.
Chapter 11: Inference for Distributions of Categorical Data
Modelling Input Data Chapter5.
MECH 3550 : Simulation & Visualization
Building Valid, Credible, and Appropriately Detailed Simulation Models
Modeling and Analysis Tutorial
Verification and Validation of Simulation Models
Presentation transcript:

1 Validation & Verification Chapter 10

2 VALIDATION & VERIFICATION Very Difficult Very Important Conceptually distinct, but performed simultaneously You must be sure your model is correct Your client must be confident that your model is correct Should be an integral part of model building

3 VALIDATION Goals –Produce a model that represents system behavior closely enough to be a substitute for the system for experimentation Analyzing & predicting performance –Increase credibility of model to managers & decision makers

4 DEFINITIONS Verification –Ensures that the model developed is correctly implemented in the software Validation –Ensures that the model accurately represents the real- world system

5 Validation & Verification Process An integral part of model design & implementation process – not separate Most methods are informal or heuristic in nature Experience in model development, simulation programming, & the system are essential

6 MODEL BUILDING 1.Observation of real system 1.Collect data 2.Talk to members of system 2.Construct conceptual model 1.Assumptions about components & structure of system 2.Hypothesis – values of input parameters 3.Implement operational model 1.Usually using simulation software **Not linear process, iterative!!

7 SUGGESTIONS FOR VERIFICATION 1.Operational model checked by simulation software expert – not developer 2.Flow diagram for each possible action 3.Examine output for reasonableness under various inputs – use wide variety of output statistics 4.Print input at end of run to ensure stability 5.DOCUMENTATION!!! 6.Ensure animation of model is correct

8 SUGGESTIONS FOR VERIFICATION 7.Use debugger of interactive run controller (IRC) – advantages 1.Can monitor simulation progress & display results 2.Can focus on single line or process 3.Can observe model components & variables 4.Can pause; reassign values 8.GUI – always recommended ** Basic Software Engineering Principles

9 Suggestion 3 Examine output for reasonableness –Calculate expected results –Vary input –Ask users to review Examples Suppose multiple servers & only look at throughput. Maybe too many went to one server & too few to the other. If priority queue, are they actually processed in correct order.

10 Suggestion 3 (cont’d.) Utilize standard output from simulation environments Current Count & Total Count are important variables Consider predictions –Mathematical (e.g. Utilization) –Experts Perform a Trace –Snapshots –By hand

11 CALIBRATION & VALIDATION Validation – comparing model to system Calibration – iterative process of comparing model to real system & adjusting the model – repeat! Comparisons –Subjective – experts review –Objective – use of data & results

12 VALIDATION Never truly completely validated –Model never totally represents the real system Be sure model is not “fit” to one set of data

13 3-Step Approach to Validation Naylor & Finger [1967] 1.Build a model with high face validity 2.Validate model assumptions 3.Compare model I/O transformations to corresponding I/O transformations for the real system

14 Step 1. FACE VALIDITY Construct a model that seems valid to the users/experts knowledgeable with system Include users in calibration – builds perceived credibility Sensitivity Analysis – change one or more input value & examine change in results – Are results consistent with real system? –Choose most critical variables to reduce cost of experimentation

15 Step 2. Validation of Assumptions 2 categories of assumptions –Structural assumptions –Data Assumptions Structural Assumptions –Involves how system operates –Includes simplifications & abstractions of reality Data Assumptions –Based on data collection & statistical analysis

16 Step 2. Validation of Assumptions (contd) Review – Analysis of Data –Identify probability distribution –Estimate parameters of distribution –Perform goodness-of-fit test Chi Square, Kolmogorov-Smirnov tests Test homogeneity of data –Are two independently collected sets of data come from the same parent population?

17 Step3. Validating I/O Transformations Ultimate Test of a Model –Ability to predict the future behavior of the real system Model viewed as an I/O Transformation Can also us historical data to test prediction ability Note: If main purpose of simulation changes, model should be revalidated

18 Step 3. Validating (cont’d) Models are often used for comparing alternate system designs –Minor changes in parameters IA rate, # servers –Minor change in statistical distribution –Major change in logical structure of subsystem Queue discipline –Major design change Manual to automated system

19 Using Historical Input Data An alternative to randomly generated data – don’t mix different data sets File, Spreadsheet, or Database –{A1, A2,…,An} & {S1, S2,…Sn} –Feed data into the FEL Compare output to what happened in the real system May be able to use technology to collect historical data for use

20 I/O Validation – Turing Test What is the Turing Test? Generate 5 “fake” reports from simulation & mix with 5 real reports; ask experts if they can distinguish fake from real If cannot, then pass Turing Test!

21 Validation Techniques In order of cost-to-value ratio – Van Horn (1969, 1971) 1. Develop model with high face validity by including experts, previous research, studies, observation, experience 2. Test input data for homogeneity, randomness, goodness-of-fit 3. Turing test – use knowledgeable people

22 Validation Techniques (cont’d) 4. Compare model & system output using statistical tests 5. After model development, collect new data & repeat steps 2 to 4 6. Build new system or redesign old one, collect data on new system & use to validate model (not recommended) 7. Do little or no validation. Implement. (not recommended)

23 Conclusion Do not become obsessed with validation & verification to the detriment of progress; causing excessive cost Modeler should select techniques most valuable and appropriate to the particular system being modeled and the goals of the project Validate & Verify to assure Accuracy & Credibility