Pilot Validation Methodology for Agent-Based Simulations Workshop 02 October 2007.

Slides:



Advertisements
Similar presentations
Procedures and Functions. What are they? They are both blocks of code that can be reused to perform specific task. However there is a difference: Function-
Advertisements

1 CIS 461 Compiler Design and Construction Fall 2014 Instructor: Hugh McGuire slides derived from Tevfik Bultan, Keith Cooper, and Linda Torczon Lecture-Module.
FIT FIT1002 Computer Programming Unit 19 Testing and Debugging.
Engineering Problem Solving With C++ An Object Based Approach Fundamental Concepts Chapter 1 Engineering Problem Solving.
Wizer – What-If Analyzer: Validation of Large Scale Stochastic Agent Models Project Investigator: Kathleen M. Carley – CMU, ISRI, CASOS Why is Validation.
Simulation Waiting Line. 2 Introduction Definition (informal) A model is a simplified description of an entity (an object, a system of objects) such that.
System Management Network Environment Vehicle Characteristics Traveler Characteristics System Traveler Influencing Factors Traveler: traveler characteristics,
Small/Medium Business Solutions Forum (Build Your Network within the User Community) Michael Maher, LG Philips Displays Diane Schwarz, Honeywell Video.
LATTICE TECHNOLOGY, INC. For Version 1.3 and later XVL BOM Assembler Tutorial For Version 1.3 and later.
Dr. Pedro Mejia Alvarez Software Testing Slide 1 Software Testing: Building Test Cases.
System/Software Testing
Chapter 19 Linear Programming McGraw-Hill/Irwin
© 2010 The MITRE Corporation. All rights reserved CPE Prefix Property MythBusters* CPE Core Team Technical Working Group (TWG) 05/11/2010 * This presentation.
Hans-Peter Plag October 2, 2014 Session 1 Introduction to the sessions Elements of Computer Literacy ? ?
C HU H AI C OLLEGE O F H IGHER E DUCATION D EPARTMENT O F C OMPUTER S CIENCE Preparation of Final Year Project Report Bachelor of Science in Computer Science.
1 Debugging and Testing Overview Defensive Programming The goal is to prevent failures Debugging The goal is to find cause of failures and fix it Testing.
© Yilmaz “Agent-Directed Simulation – Course Outline” 1 Course Outline Dr. Levent Yilmaz M&SNet: Auburn M&S Laboratory Computer Science &
Exploratory Model Building Toward Agent-Based Economics Takashi Iba Masaharu Hirokane Hirokane Kawakami Yoshiyasu Takefuji Heizo Takenaka
Towards Appropriate Selection of Analysis Tools and Methods.
McGraw-Hill/Irwin Copyright © 2007 by The McGraw-Hill Companies, Inc. All rights reserved. 6S Linear Programming.
1 CM Pilot Introduction Getting around: –Structure –Navigation –Download instructions.
Research Methods1 Introduction Introduction to Research Course Content Assessment.
National Science Foundation DMR ITR Computational Review and Workshop: ITR and beyond Daryl Hess, NSF Bruce Taggart, NSF June 17-19, 2004 Urbana, IL.
Hello Fellow Raptors!! Welcome to 7 th Grade Science Room 231 Mr. Aulenti.
Procedures for managing workflow components Workflow components: A workflow can usually be described using formal or informal flow diagramming techniques,
MGS3100_01.ppt/Aug 25, 2015/Page 1 Georgia State University - Confidential MGS 3100 Business Analysis Introduction - Why Business Analysis Aug 25 and 26,
Public Sector Trends Portfolio Management Shared, composable services Change Management Lifecycle Management Development of Service Catalogs Monitoring.
Introduction to Method. Example Java Method ( 1 ) The 2 types (kinds) of methods in Java Class methods Instance methods Methods can do more work than.
CS Data Structures I Chapter 2 Principles of Programming & Software Engineering.
Validation Methodology for Agent-Based Simulations Workshop Perspectives on Agent-Based Simulation and VV&A Dr. Bob Sheldon Joint and External Analysis.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci VERIFICATION AND VALIDATION OF SIMULATION MODELS.
Presented By Dr. Mohsen Alardhi College of Technological Studies, Kuwait April 19 th,2009.
Validation Methodology for Agent-Based Simulations Workshop Validation Theory Update Dr. Eric Weisel WernerAnderson, Inc. 8 July 2008.
University of Bradford 18 th October 2015 UK Learning Analytics Network.
Week 14 Introduction to Computer Science and Object-Oriented Programming COMP 111 George Basham.
FOUNDATION IN INFORMATION TECHNOLOGY (CS-T-101) TOPIC : INFORMATION SYSTEM – SOFTWARE.
Compiler Construction (CS-636)
Test Case Designing UNIT - 2. Topics Test Requirement Analysis (example) Test Case Designing (sample discussion) Test Data Preparation (example) Test.
Constraints for V&V of Agent Based Simulation: First Results A System-of-Systems Engineering Perspective Dr. Andreas Tolk Frank Batten College of Engineering.
C HU H AI C OLLEGE O F H IGHER E DUCATION D EPARTMENT O F C OMPUTER S CIENCE Preparation of Final Year Project Report Bachelor of Science in Computer Science.
Intelligent Systems TC Welcome 2014 AIAA Intelligent Systems Workshop.
Ms. Lisa Jean Moya WernerAnderson, Inc. 01 May 2007 Validation Methodology for Agent-Based Simulations Workshop DoD Validation Baseline.
ABS VV&A Framework Study Phase II Project Overview Lisa Jean Moya WernerAnderson, Inc. Phase II Workshop 3 8 July /8/2008.
LATTICE TECHNOLOGY, INC. For Version 1.0 and later XVL BOM Assembler Tutorial For Version 1.0 and later.
6s-1Linear Programming William J. Stevenson Operations Management 8 th edition.
Supermodels and James Bond: How They Are Different From Agent-Based Modeling and Simulation Alexander S. Mentis 15 October 2013.
SOAE-governmentConference October 5, 2009 MITRE 1 Auditorium.
Domain Testing Functional testing which tests the application by giving inputs and evaluating its appropriate outputs. system does not accept invalid and.
Explaining thE COnTributor Role Taxonomy
Trilateral Research EUROPEAN COMMISSION
Organization of Programming Languages
ASC Industry Week EAGLE & LOGCAP October 2015 Mr. Jay Carr
Welcome To the annual MRL Workshop hosted by the MRL WG
An Introduction to Visual Basic .NET and Program Design
Introduction to Computers
Security in MTS 14th May2013 SIG Report
The Problem and Its Setting
Verification and Validation Unit Testing
For more information, please see our methodology at: 
Architecture & System Performance
Building Valid, Credible, and Appropriately Detailed Simulation Models
1,000, , , Year Old Topic 1 10 Year Old Topic 2 175, ,000 9 Year Old Topic 3 9 Year Old Topic 4 50,000 8 Year Old Topic 5 8 Year.
Operations Analysis Division Marine Corps Combat Development Command
CSE 1020:Software Development
Stakeholder Mapping.
Recursion (part 1) October 25, 2006 ComS 207: Programming I (in Java)
Title First name, last name, university, city, country
Generic Set Algorithms
Introduction to Decision Sciences
Presentation transcript:

Pilot Validation Methodology for Agent-Based Simulations Workshop 02 October 2007

Pilot Validation Methodology for Agent-Based Simulations Workshop Administrative Remarks 02 October 2007

Agenda Presentation by Dr. Andreas Tolk (Old Dominion University): “Constraints for V&V of Agent Based Simulation: First Results” Presentation by Mr. Paul Wehner (MITRE): “ABMs and the Validation Hurdle - An Illustration” Introduction to Topic #2: Invalidation Tools and Techniques Topic #2 Breakout Discussions Lunch Topic# 3: ABS-Application Pairings Presentation - TBD Wrap-Up

Pilot Validation Methodology for Agent-Based Simulations Workshop Constraints for V&V of Agent Based Simulation: First Results Dr. Andreas Tolk Old Dominion University 01 October 2007 (0905 to 0950)

Pilot Validation Methodology for Agent-Based Simulations Workshop ABMs and the Validation Hurdle - An Illustration Dr. Alfred Brandstein Mr. Paul Wehner MITRE 01 October 2007 (0950 to 1035)

Pilot Validation Methodology for Agent-Based Simulations Workshop Introduction to Topic #2: Invalidation Tools & Techniques Ms. Lisa Jean Moya WernerAnderson, Inc. 01 October 2007 (1035 to 1055)

Invalidation Techniques –Executable compared to concept/referent Results validation Mini-analysis Accuracy –Theoretical model compared to concept/referent Assumption testing SME Review –Mathematical model compared to theoretical model Boundary analysis Algorithm review Spreadsheet Modeling –Software code compared to mathematical model Existence of required outputs Symbolic debugger Code walk through –Data compared to executable Existence of required inputs Comparison to other models Turing test Intuition Functionality assessment Completeness assessment Formal Methods Algorithm review Input range validation Control parameter review Component testing SME validation

Pilot Validation Methodology for Agent-Based Simulations Workshop BREAK Please Assemble in Breakout Rooms By 1105

Pilot Validation Methodology for Agent-Based Simulations Workshop Topic #2: Invalidation Tools & Techniques Takes Place in Breakout Rooms

Pilot Validation Methodology for Agent-Based Simulations Workshop Wrap-Up for Topic #2: Invalidation Tools & Techniques Takes Place in Auditorium

Pilot Validation Methodology for Agent-Based Simulations Workshop LUNCH BREAK Please Return To Breakout Rooms After Lunch

Pilot Validation Methodology for Agent-Based Simulations Workshop Topic #3: ABS-Application Pairings Dr. Michael Bailey Operations Analysis Division Marine Corps Combat Development Command 01 October 2007 (1035 to 1055)

Pilot Validation Methodology for Agent-Based Simulations Workshop BREAK Return to Breakout Rooms after Break

Pilot Validation Methodology for Agent-Based Simulations Workshop Open Discussion/ Overall Wrap-Up