• DocumentCode
    2117814
  • Title

    Some approaches and paradigms for verifying and validating simulation models

  • Author

    Sargent, Robert G.

  • Author_Institution
    Dept. of Electr. Eng. & Comput. Sci., Syracuse Univ., NY, USA
  • Volume
    1
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    106
  • Abstract
    In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate verification and validation to the model development process are presented, the use of graphical data statistical references for operational validity is discussed, and a recommended procedure for model validation is given
  • Keywords
    digital simulation; formal verification; graphical data statistical references; model development; operational validity; simulation models; validation; verification; Accreditation; Application software; Computational modeling; Computer science; Computer simulation; Decision making; Educational institutions; Problem-solving; Random variables; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Simulation Conference, 2001. Proceedings of the Winter
  • Conference_Location
    Arlington, VA
  • Print_ISBN
    0-7803-7307-3
  • Type

    conf

  • DOI
    10.1109/WSC.2001.977251
  • Filename
    977251