M&S Requirements and VV & A Requirements: What's the Relationship?

Elele, James N.; Hall, David H.; Davis, Mark E.; Turner, David; Faird, Allie; Madry, John
December 2016
ITEA Journal of Test & Evaluation;Dec2016, Vol. 37 Issue 4, p333
This article reviews the process of developing requirements for modeling and simulation (M&S), and describes various examples of poor requirements as well as the ramifications of specific examples. Verification, Validation and Accreditation (W&A) activities naturally improve upon M&S requirements, particularly if the verification and validation (V&V) are accomplished early in the development process. This article also provides a general approach, showing how establishing the credibility of M&S through W&A activities also improves and better specifies requirements.


Related Articles

  • A Postverification Method for Solving Forced Duffing Oscillator Problems without Prescribed Periods. Hong-Yen Lin; Chien-Chang Yen; Kuo-Ching Jen; Jea, Kang C. // Journal of Applied Mathematics;2014, p1 

    This paper proposes a postverification method (PVM) for solving forced Duffing oscillator problems without prescribed periods. Comprising a postverification procedure and small random perturbation, the proposed PVM improves the sensitivity of the convergence of Newton's iteration. Numerical...

  • CRITIQUE OF: "VERIFICATION OF COMPUTER SIMULATION MODELS" McKenney, James L. // Management Science;Oct67, Vol. 14 Issue 2, pB-102 

    The article presents a critique of the article "Verification of Computer Simulation Models," by Thomas H. Naylor and J. M. Finger. The authors have made a contribution to the theme that establishing the validity of a simulation model involves a conscious effort to observe the tenets of the three...

  • CRITIQUE OF: "VERIFICATION OF COMPUTER SIMULATION MODELS" Schrank, William E.; Holt, Charles C. // Management Science;Oct67, Vol. 14 Issue 2, pB-104 

    The article presents a critique of the article "Verification of Computer Simulation Models," by Thomas H. Naylor and J. M. Finger. The problems of building complex simulation models and getting them to operate on computers has consumed so much time and energy that the validation problem has been...

  • Experiences applying formal approaches in the development of swarm-based space exploration systems. Rouff, Christopher A.; Hinchey, Michael G.; Truszkowski, Walter F.; Rash, James L. // International Journal on Software Tools for Technology Transfer;Nov2006, Vol. 8 Issue 6, p587 

    NASA is researching advanced technologies for future exploration missions using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nano-Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. The emergent...

  • Verifying simple arithmetic sums and products: Are the phonological loop and the central.... de Rammelaere, Stijn; Stuyven, Els; Vandierendonck, Andre // Memory & Cognition;Mar2001, Vol. 29 Issue 2, p267 

    Investigates the role of phonological loop and central executive in the verification of the complete set of one-digit addition and multiplication problems. Emphasis on contradictory results of the loop; Failure of the loop to verify simple arithmetic problems; Cause of the split effect.

  • VERIFICATION OF COMPUTER SIMULATION MODELS. Naylor, Thomas H.; Finger, J.M. // Management Science;Oct67, Vol. 14 Issue 2, pB-92 

    The problem of validating computer simulation models of industrial systems has received only limited attention in the management science literature. The purpose of this paper is to consider the problem of validating computer models in the light of contemporary thought in the fields of philosophy...

  • Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Jensen, Kurt; Kristensen, Lars; Wells, Lisa // International Journal on Software Tools for Technology Transfer;Jun2007, Vol. 9 Issue 3/4, p213 

    Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the functional programming language Standard ML....

  • Validation of a head-neck computer model for whiplash simulation. Stemper, B. D.; Yoganandan, N.; Pintar, F. A. // Medical & Biological Engineering & Computing;May2004, Vol. 42 Issue 3, p333 

    A head-neck computer model was comprehensively validated over a range of rear-impact velocities using experiments conducted by the same group of authors in the same laboratory. Validations were based on mean +/- 1 standard deviation response curves, i.e. corridors. Global head-neck angle,...

  • A finite-sample simulation study of cross validation in tree-based models. Seoung Bum Kim; Xiaoming Huo; Kwok-Leung Tsui // Information Technology & Management;Dec2009, Vol. 10 Issue 4, p223 

    Cross validation (CV) has been widely used for choosing and evaluating statistical models. The main purpose of this study is to explore the behavior of CV in tree-based models. We achieve this goal by an experimental approach, which compares a cross-validated tree classifier with the Bayes...

  • USING VIRTUAL PLATFORMS FOR BIOS DEVELOPMENT AND VALIDATION. Carbonari, Steve // Intel Technology Journal;2013, Vol. 17 Issue 2, p32 

    The article discusses the development and validation of Basic Input/Output System (BIOS), the software that runs after the application of initial power to the computer platform. It mentions the use of in-depth simulation models for BIOS debugging and validation. It notes the required...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics