1 Simulation Validation H Plan: –Discuss verification and validation –Define concepts and terminology –Example: Weasley Barber Shop simulator u Effect.

Slides:



Advertisements
Similar presentations
Scientific Method.
Advertisements

THOUGHTS ON MODEL ASSESSMENT Porco, DAIDD, December 2012.
11111 Functional Program Verification CS 4311 A. M. Stavely, Toward Zero Defect Programming, Addison-Wesley, Y. Cheon and M. Vela, A Tutorial on.
Scientific Method.
Scientific Method The common steps that biologists and other scientists use to gather information and answer questions.
Scientific Method.
Scientific Method.
Annoucements  Next labs 9 and 10 are paired for everyone. So don’t miss the lab.  There is a review session for the quiz on Monday, November 4, at 8:00.
Programming Types of Testing.
Introduction to Research Methodology
Uncertainty analysis and Model Validation.
Copyright © 2005 Department of Computer Science CPSC 641 Winter Simulation Validation Plan: –Discuss verification and validation –Define concepts.
Copyright © 2005 Department of Computer Science CPSC 641 Winter Simulation Methodology Plan: –Introduce basics of simulation modeling –Define terminology.
1 Validation and Verification of Simulation Models.
Chapter 3 Hypothesis Testing. Curriculum Object Specified the problem based the form of hypothesis Student can arrange for hypothesis step Analyze a problem.
Scientific method - 1 Scientific method is a body of techniques for investigating phenomena and acquiring new knowledge, as well as for correcting and.
1 PERF EVAL (CONT’D) H There are many other “tools of the trade” used in performance evaluation H Only a few will be mentioned here: –queueing theory –verification.
ENGINEERING YOUR FUTURE
Chapter 13 Auditing Information Technology
 Consistent Growth  Understanding the Core Subjects  Problem Solving Skills and Common Sense  Ability to Think  Reading And Writing Skills  Science.
General Analysis Procedure and Calculator Policy Calculator Policy.
IE 594 : Research Methodology – Discrete Event Simulation David S. Kim Spring 2009.
Problem Solving Methods. Class Objectives Learn to apply the problem solving process Learn techniques for error-free problem solving.
Chapter 1 Getting Started
 1  Outline  stages and topics in simulation  generation of random variates.
BsysE595 Lecture Basic modeling approaches for engineering systems – Summary and Review Shulin Chen January 10, 2013.
ANGLES IN A TRIANGLE. Triangles are the simplest polygons with three sides and three angles. The sum of the three angles of a triangle is equal to 180.
Adding Fractions Example 1: (Adding when denominator is different)
Introduction Algorithms and Conventions The design and analysis of algorithms is the core subject matter of Computer Science. Given a problem, we want.
Introduction to Research
ENM 503 Lesson 1 – Methods and Models The why’s, how’s, and what’s of mathematical modeling A model is a representation in mathematical terms of some real.
The Nature of Evidence Chapter 3 ©2010 Elsevier, Inc.
(How do scientists conduct scientific experimentation?)
Debugging Simulation Models CS 780 Spring 2007 Instructor: Peter Kemper Dept of Computer Science, College of William and Mary Prerequisites: A first course.
Classroom Management Kristine Stump TA Training Workshop August 2012.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci VERIFICATION AND VALIDATION OF SIMULATION MODELS.
Introduction to Earth Science Section 2 Section 2: Science as a Process Preview Key Ideas Behavior of Natural Systems Scientific Methods Scientific Measurements.
+ IDENTIFYING AND IMPLEMENTING EDUCATIONAL PRACTICES SUPPORTED BY RIGOROUS EVIDENCE: A USER FRIENDLY GUIDE Presented by Kristi Hunziker University of Utah.
CPSC 441 Tutorial TA: Fang Wang. Simulation Methodology Plan: Introduce basics of simulation modeling Define terminology and methods used Introduce simulation.
Research Design. Selecting the Appropriate Research Design A research design is basically a plan or strategy for conducting one’s research. It serves.
Scientific Method.
Scientific Method.
©2005, Pearson Education/Prentice Hall CHAPTER 1 Goals and Methods of Science.
Intro to Psychology Statistics Supplement. Descriptive Statistics: used to describe different aspects of numerical data; used only to describe the sample.
Software Quality Assurance and Testing Fazal Rehman Shamil.
What Is Science?. 1. Science is limited to studying only the natural world. 2. The natural world are those phenomena that can be investigated, discovered,
Dividing Fractions Whole Numbers by Fractions Please start working on your next day.
Scientific Method. Steps in the Scientific Method Observation Observation Ask a Question Ask a Question Hypothesis Hypothesis Experiment (Test Hypothesis)
Scientific Processes. Steps in the Scientific Method Observation Observation Hypothesis Hypothesis Experiment Experiment Data Collection Data Collection.
General Analysis Procedure and Calculator Policy Calculator Policy.
Simulation. Types of simulation Discrete-event simulation – Used for modeling of a system as it evolves over time by a representation in which the state.
Building Valid, Credible & Appropriately Detailed Simulation Models
1 Software Testing. 2 What is Software Testing ? Testing is a verification and validation activity that is performed by executing program code.
The LC-3 – Chapter 6 COMP 2620 Dr. James Money COMP
Performance Eval Slides originally from Williamson at Calgary
Writing Requirements Lecture # 23.
Scientific Method.
Scientific Method This Power Point covers only the basics of the scientific method. As you advance further in school, more details will be given.
Chapter 6 Calibration and Application Process
The Basic of Measurement
Scientific Method.
Scientific Method.
Model Validation Carey Williamson Department of Computer Science
Steps in the Scientific Method
Evaluating research Is this valid research?.
Misleading Bioinformatics Mistakes, Biases, Mis-Interpretations and how to avoid them Festival of Genomics 2017.
Scientific Method.
Carey Williamson Department of Computer Science University of Calgary
Verification & Validation
Scientific Method Review.
Presentation transcript:

1 Simulation Validation H Plan: –Discuss verification and validation –Define concepts and terminology –Example: Weasley Barber Shop simulator u Effect of arrival rate u Effect of service rate(s) u Effect of waiting room size u Effect of dispatch policy

2 Verification and Validation H Simulation is a widely used (and abused!) technique for systems performance eval H It is important to establish trust and confidence in the results generated and reported via simulation H Two (slightly different) aspects: –Verification: results are correct –Validation: results match reality

3 Verification H Verification is mostly about establishing correctness (i.e., veracity, truthfulness) H Does it do what it is supposed to do? –Meets requirements specifications (if any) H Does it produce correct results? –Check results on known cases (input/output) –Handles special “corner” cases –Results are mathematically plausible

4 Validation H Validation is more about the practical applicability of the simulator (usefulness) H Does it give answers that make sense? H Are the results intuitively plausible? H Can it predict results for unknown cases? H Can results be corroborated in some way? –Analytical model –Experimental measurement data H Relationship to reality is key!

5 Validation Example H Suppose you have a simulator for the Weasley Barber Shop from Assignment 1 H How to do “simulation validation”? –Manual tracing with printf statements –Try boundary cases (extreme and/or special) –Numerical comparisons to analytical model –Comparison to M/M/1/K analytical model –Comparison to M/M/2 analytical model

6 Summary H Simulation validation is an important step in establishing the correctness of results H Rarely discussed in papers themselves H Important “behind the scenes” effort H Should be part of your science “checklist” H If results don’t make sense, then find simplest possible example showing the problem, so you can debug and fix it!