• DocumentCode
    402128
  • Title

    Verification, validation, and certification of modeling and simulation applications

  • Author

    Balci, Osman

  • Author_Institution
    Dept. of Comput. Sci., Virginia Tech, Blacksburg, VA, USA
  • Volume
    1
  • fYear
    2003
  • fDate
    7-10 Dec. 2003
  • Firstpage
    150
  • Abstract
    Certifying that a large-scale complex modeling and simulation (M&S) application can be used for a set of specific purposes is an onerous task, which involves complex evaluation processes throughout the entire M&S development life cycle. The evaluation processes consist of verification and validation activities, quality assurance, assessment of qualitative and quantitative elements, assessments by subject matter experts, and integration of disparate measurements and assessments. Planning, managing, and conducting the evaluation processes require a disciplined life-cycle approach and should not be performed in an ad hoc manner. The purpose of this tutorial paper is to present structured evaluation processes throughout the entire M&S development life cycle. Engineers, analysts, and managers can execute the evaluation processes presented herein to be able to formulate a certification decision for a large-scale complex M&S application.
  • Keywords
    certification; digital simulation; formal verification; quality assurance; software development management; software performance evaluation; software quality; application certification; application validation; application verification; certification decision; development life cycle; disciplined life-cycle approach; disparate measurement integration; large-scale complex application; management; modeling applications; planning; qualitative element assessment; quality assurance; quantitative element assessment; simulation applications; structured evaluation processes; subject matter experts; Accreditation; Application software; Certification; Computer science; Large-scale systems; Multilevel systems; Performance evaluation; Predictive models; Process planning; Quality assurance;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Simulation Conference, 2003. Proceedings of the 2003 Winter
  • Print_ISBN
    0-7803-8131-9
  • Type

    conf

  • DOI
    10.1109/WSC.2003.1261418
  • Filename
    1261418