Building modeling tools that support verification, validation, and testing for the domain expert

Authors:
Nicholas A. Allen;Clifford A. Shaffer;Layne T. Watson
Affiliations:
Virginia Polytechnic Institute and State University, Blacksburg, VA;Virginia Polytechnic Institute and State University, Blacksburg, VA;Virginia Polytechnic Institute and State University, Blacksburg, VA
Venue:
WSC '05 Proceedings of the 37th conference on Winter simulation
Year:
2005

Citing 30
Cited 1

A review of automated debugging systems: knowledge, strategies and techniques

ICSE '88 Proceedings of the 10th international conference on Software engineering
The simulation model development environment: an overview

WSC '92 Proceedings of the 24th conference on Winter simulation
Integrating multiple descriptions in simulation model design: a knowledge based approach

WSC '95 Proceedings of the 27th conference on Winter simulation
A knowledge-based approach for the validation of simulation models: the foundation

ACM Transactions on Modeling and Computer Simulation (TOMACS)
The APOSTLE simulation language: granularity control and performance data

PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Adaptive forms: an interaction paradigm for entering structured data

IUI '98 Proceedings of the 3rd international conference on Intelligent user interfaces
Verification, validation, and accreditation

Proceedings of the 30th conference on Winter simulation
Integrated modeling and analysis generator environment (IMAGE): a decision support tool

Proceedings of the 30th conference on Winter simulation
A library of reusable model components for visual simulation of the NCSTRL system

Proceedings of the 30th conference on Winter simulation
The use of graphical models in model validation

WSC '86 Proceedings of the 18th conference on Winter simulation
Integrated support environments for simulation modelling

WSC' 90 Proceedings of the 22nd conference on Winter simulation
General purpose visual simulation system: a functional description

WSC' 90 Proceedings of the 22nd conference on Winter simulation
Redundancy in model specifications for discrete event simulation

ACM Transactions on Modeling and Computer Simulation (TOMACS)
Domain-specific languages: an annotated bibliography

ACM SIGPLAN Notices
A methodology for cost-risk analysis in the statistical validation of simulation models

Communications of the ACM - Special issue on simulation modeling and statistical computing
SIMULA: an ALGOL-based simulation language

Communications of the ACM
Capability maturity models support of modeling and simulation verification, validation, and accreditation

Proceedings of the 32nd conference on Winter simulation
Planning for verification, validation, and accreditation of modeling and simulation applications

Proceedings of the 32nd conference on Winter simulation
V&A; III: verification and validation without independence: a recipe for failure

Proceedings of the 32nd conference on Winter simulation
An integrated approach to verification, validation, and accredition of models and simulations

Proceedings of the 32nd conference on Winter simulation
Manipulating structured information in a visual workspace

Proceedings of the 15th annual ACM symposium on User interface software and technology
Using smgn for rapid protoptyping of small domain-specific languages

ACM SIGPLAN Notices
An interactive environment for scientific model construction

Proceedings of the 2nd international conference on Knowledge capture
An end-to-end domain-driven software development framework

OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An experiment management component for the WBCSim problem solving environment

Advances in Engineering Software
Identifying and selecting users for user-centered design

Proceedings of the third Nordic conference on Human-computer interaction
Practice: guidelines for designing simulation building blocks

Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Improving the model development process: model testing: is it only a special case of software testing?

Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Collaborative modeling: hiding UML and promoting data examples in NEMo

CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
Validation and verification of simulation models

WSC '04 Proceedings of the 36th conference on Winter simulation

One Method to Evaluate the Safety of Train Control Center

CAR '09 Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics

Quantified Score

Hi-index	0.00

Visualization

Abstract

Successfully building a model requires a combination of expertise in the problem domain and in the practice of modeling and simulation (M&S). Model verification, validation, and testing (VV&T) are essential to the consistent production of models that are useful and correct. There are significant communities of domain experts that build and use models without employing dedicated modeling specialists. Current modeling tools relatively underserve these communities, particularly in the area of model testing and evaluation. This paper describes several techniques that modeling tools can use to support the domain expert in performing VV&T, and discusses the advantages and disadvantages of this approach to modeling.