Ms. Lisa Jean Moya WernerAnderson, Inc. 01 May 2007 Validation Methodology for Agent-Based Simulations Workshop DoD Validation Baseline.

Slides:



Advertisements
Similar presentations
Design of Experiments Lecture I
Advertisements

ISBN Chapter 3 Describing Syntax and Semantics.
Software Testing and Quality Assurance
Marakas: Decision Support Systems, 2nd Edition © 2003, Prentice-Hall Chapter Chapter 4: Modeling Decision Processes Decision Support Systems in the.
VV&A in Human, Social, Cultural Behavior (HSCB) Simulation Dr. Jimmie McEver Dr. David T. Signori Dr. Mike Smeltzer Evidence Based Research, Inc.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
1 Simulation Modeling and Analysis Verification and Validation.
1 Validation and Verification of Simulation Models.
Describing Syntax and Semantics
Principle of Functional Verification Chapter 1~3 Presenter : Fu-Ching Yang.
Introduction to Software Testing
Verification and Validation
What is Business Analysis Planning & Monitoring?
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Verification and Validation l Assuring that a software system meets a user's.
S/W Project Management
RESEARCH A systematic quest for undiscovered truth A way of thinking
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation.
Applying Modeling and Simulation Verification, Validation and Accreditation (VV&A) Techniques to Test and Laboratory Facilities Dr. James Elele, Jeremy.
Chapter 1 Introduction to Simulation
1 Validation & Verification Chapter VALIDATION & VERIFICATION Very Difficult Very Important Conceptually distinct, but performed simultaneously.
 1  Outline  stages and topics in simulation  generation of random variates.
Business Analysis and Essential Competencies
Chapter 6 : Software Metrics
Verification and Validation Overview References: Shach, Object Oriented and Classical Software Engineering Pressman, Software Engineering: a Practitioner’s.
Intent Specification Intent Specification is used in SpecTRM
ISM 5316 Week 3 Learning Objectives You should be able to: u Define and list issues and steps in Project Integration u List and describe the components.
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.
West Virginia University Towards Practical Software Reliability Assessment for IV&V Projects B. Cukic, E. Gunel, H. Singh, V. Cortellessa Department of.
CS 475/575 VV&A M. Overstreet Old Dominion University Spring 2005.
1 Introduction to Software Engineering Lecture 1.
P1516.4: VV&A Overlay to the FEDEP 20 September 2007 Briefing for the VV&A Summit Simone Youngblood Simone Youngblood M&S CO VV&A Proponency Leader
ES Model development Dr. Ahmed Elfaig The ES attempts to predict results from available information, data and knowledge The model should be able to infer.
1 What is OO Design? OO Design is a process of invention, where developers create the abstractions necessary to meet the system’s requirements OO Design.
NCHRP Project Development of Verification and Validation Procedures for Computer Simulation use in Roadside Safety Applications SURVEY OF PRACTITIONERS.
Chap. 5 Building Valid, Credible, and Appropriately Detailed Simulation Models.
AI on the Battlefield: an Experimental Exploration Alexander Kott BBN Technologies Robert Rasch US Army Battle Command Battle Lab Views expressed in this.
Verification and Validation Assuring that a software system meets a user's needs.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci 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.
Lecture 1 – Operations Research
WERST – Methodology Group
SAFEWARE System Safety and Computers Chap18:Verification of Safety Author : Nancy G. Leveson University of Washington 1995 by Addison-Wesley Publishing.
Data Mining and Decision Support
Pilot Validation Methodology for Agent-Based Simulations Workshop 02 October 2007.
Winter 2007SEG2101 Chapter 121 Chapter 12 Verification and Validation.
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.
Understanding Naturally Conveyed Explanations of Device Behavior Michael Oltmans and Randall Davis MIT Artificial Intelligence Lab.
5 September 2002AIAA STC Meeting, Santa Fe, NM1 Verification and Validation for Computational Solid Mechanics Presentation to AIAA Structures Technical.
Building Valid, Credible & Appropriately Detailed Simulation Models
Verification vs. Validation Verification: "Are we building the product right?" The software should conform to its specification.The software should conform.
CS223: Software Engineering Lecture 25: Software Testing.
1 Design and evaluation methods: Objectives n Design life cycle: HF input and neglect n Levels of system design: Going beyond the interface n Sources of.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Verification and Validation l Assuring that a software system meets a user's.
Laurea Triennale in Informatica – Corso di Ingegneria del Software I – A.A. 2006/2007 Andrea Polini XVII. Verification and Validation.
Verification and Validation. Topics covered l Verification and validation planning l Program Testing l Software inspections.
Air Force Institute of Technology
SQA project process standards IEEE software engineering standards
CSC 480 Software Engineering
SQA project process standards IEEE software engineering standards
Chapter 8 – Software Testing
The Systems Engineering Context
Chapter 1.
Chapter 10 Verification and Validation of Simulation Models
Introduction to Software Testing
Lecture 09:Software Testing
Verification and Validation Unit Testing
R. W. Eberth Sanderling Research, Inc. 01 May 2007
Discrete-Event System Simulation
MECH 3550 : Simulation & Visualization
Building Valid, Credible, and Appropriately Detailed Simulation Models
Presentation transcript:

Ms. Lisa Jean Moya WernerAnderson, Inc. 01 May 2007 Validation Methodology for Agent-Based Simulations Workshop DoD Validation Baseline

Outline Validation defined General approach Issues for ABS validation

Outline Validation defined General approach Issues for ABS validation

DODI DoD Definitions Verification  The process of determining that a model implementation and its associated data accurately represents the developer’s conceptual description and specifications Validation  The process of determining the degree to which a model and its associated data are an accurate representation of the real world from the perspective of the intended uses of the model Accreditation  The official certification that a model, simulation, or federation of models and simulations and its associated data are acceptable for use for a specific purpose The workshop focus is Validation

Utility of Validation Military analysis requires the capability to evaluate an environment dominated by non- physical effects  Cold War analysis is not sufficient  Fighting the last war is not good enough Subject matter expertise needs codification and expansion Make appropriate use of M&S  Avoid using bad M&S/analysis  Avoid throwing out good M&S/analysis

DoD 5000 on M&S VV&A Much attention paid to “principals” but little to “principles”  Provides DoD authoritative definitions  Little emphasis on the “how’s” Policies and procedures for M&S applications at the DoD Component level  Allows the tailoring of VV&A policies and procedures to the needs of the user  Likely to result in inconsistencies – little to no standardization of TTPs

Outline Validation defined General approach Issues for ABS validation

DMSO, VV&A Recommended Practices Guide – Validation Special Topic Validation Steps Verify M&S requirements Develop V&V plan Validate conceptual model Verify design Verify implementation Validate results Verify M&S requirements Develop V&V plan Validate conceptual model Verify design Verify implementation Validate results

General Process Verify M&S requirements Develop V&V plan Validate conceptual model Verify design Verify implementation Validate results Basic representation Effect of interactions Empirical Assessment Another model Mathematical Simulation Formalism Historical event Live experiment SME / Turing Statistical Metric Assessment Appropriate referents Rule set (alone & in the composition) Instantiation Interpretation Trajectory Adapted from DMSO, VV&A Recommended Practices Guide

Adapted from DMSO, VV&A Recommended Practices Guide – Requirements Special Topic Overlap Between Domain Areas & Requirements Use cases–e.g., scenario Representation fidelity Mission, enemy, terrain, troops, time Available (METT-T) Behaviors, tactics User Domain Use cases–e.g., scenario Representation fidelity Mission, enemy, terrain, troops, time Available (METT-T)) Behaviors, tactics Simulation Domain Application types–analysis, training, acquisition Physics–laws, forces, systems Representational requirements –Performance & behaviors of real entities Missions, doctrine, operations, rules of engagement/deployment Problem Domain M&S Requirements Real-world based Implement functions & features

Finding a Referent Experimental data Empirical data Experience, knowledge, and intuition of SMEs Validated mathematical models Qualitative descriptions Other simulations Combinations of the types described above Conceptual model = Content and internal representations of the M&S; includes logic and algorithms; recognizes assumptions and limitations DMSO, VV&A Recommended Practices Guide – Validation Special Topic

Human Behavior Model Referents SMEs Empirical observations or experimental data from actual operations Models of human behavior Models of physiological processes Models of sociological phenomena Simulations of human behavior

When a Referent Doesn’t Exist Assemble from known components of the system or procedure Assemble from known basic phenomena underlying the system’s behavior Build a scale model of the system or its components and perform experiments Use the referents for a similar existing system or similar situations DMSO, VV&A Recommended Practices Guide – Validation Special Topic

Conceptual Model Components DMSO, VV&A Recommended Practices Guide – Conceptual Model Special Topic The model should be as simple as possible, but not too simple Specifications Conceptual Model Simulation Environment Objects Data/Nouns (Inputs and Outputs) Attributes Resources Behavior states Actions/Activities/Verbs Functions & algorithms that Create/change data Create additional actions Environment Constraints Relationships Geometry Requirements

Conceptual Model Analysis Test/analyze component algorithms of overall model to validate each individually  Mathematical analysis  Results of component algorithms should match available data  Increases confidence that interactions of the collected algorithms (i.e., the overall model) are valid Algorithm testing  3rd party program (e.g., Excel)  Should examine a range of data Assumption testing (supplementary or alternative approach)  Determine assumptions (rarely stated) – structural, causal, and mathematical  Identify operational impacts of assumptions relative to intended application  Determine acceptability of operational impacts with Application Sponsor (Accreditation Authority) If they exist, unexpected/emergent interactions should appear in model output However, interactions between algorithms may not be addressed

V&V Technique Taxonomy Informal  Determine “reasonableness”  Most commonly used, subjective  Audit, review, face validation, inspection, Turing test Static  Assess accuracy of design  Automated tools available  Analyses: semantic/structural, data/control, interface, traceability Dynamic  Assess model execution  Requires model instrumentation  Tests: acceptance, fault/failure, assertion, execution, regression, predictive validation, structure, sensitivity, statistical Formal  Complex, time consuming  Induction, inference, predicate calculus, proof of correctness How much V&V depends on budgetary considerations, significance of supported decisions, and the risk of inaccuracy. DMSO, VV&A Recommended Practices Guide – V&V Techniques Special Topic

7 Recommended Techniques DA-PAM 5-11, Verification, Validation, and Accreditation of Army M&S Face validation  SME review Comparison to other M&S  Legacy, non-Government, alternative formulation Functional decomposition  Validating the parts, assuming the whole Sensitivity analyses  Run boundary conditions Visualization  Output appears to match intent Turing tests  “If it walks like a duck, …” Modeling-test-model  Anticipate, experiment, refine Each technique has its drawbacks

Intuition vs. Data Results match intuitive expectations Dynamic technique Results  SMEs use intuition and estimates of expected behaviors and outputs  Model and system behaviors considered subjectively Best used in early stages of development Issues  Dependent on experience with the system being modeled to provide intuitive expectations  Subject to human error  Difficult to predict unexpected/emergent behaviors based on intuition/experience Results match data from past experience  Historical, exercise, other models Dynamic technique Reasonable results  Predictive validation – results provide a reasonable prediction of subsequent real- world behavior/results  Historical/exercise/model data should generate outputs similar to associated results Models should be consistent  Multiple models for the same system should produce the “same” results from the “same” data  Systematic biases will not be detected

Outline Validation defined General approach Issues for ABS validation

DMSO, VV&A Recommended Practices Guide – Human Behavioral Representation (HBR) Special Topic Moya & Tolk, Toward a Taxonomy of Agents & MAS Agent Validation Evaluate  Conceptual model design  Knowledge Base  Engine and Knowledge Base implementation  Integration with simulation environment

Agent System Validation Moya & Tolk, Toward a Taxonomy of Agents & MAS Effect of parameter settings and system/agent instantiations (ranges, settings, interpretations, rules)  Interactions  Overall results

Areas Affecting HBR Validity Interactions between multiple behaviors  Assumes that interacting nonlinear behaviors will create even more convoluted nonlinear behavior Dependencies between properties in the behavior space Sensitivities between behavior space property changes Nonlinear behavior  Errors can hide or be misinterpreted Nonlinear component behavior transitions Complex environmental interactions Stochastic behaviors  Probabilistic sensing DMSO, VV&A Recommended Practices Guide – HBR Special Topic