Verification and Validation of Simulation Models

Verification and validation

Both are essential in obtaining credible and useful results. Simulations are often considered accurate up to a certain degree that justifies a rather larger risk.

simuland

pertains to an object, process, or a phenomenon to be simulated

result

refers to the output produced by a model during a simulation.

conceptual model

contains all the details regarding the simuland which needs proper representation or must be omitted.

executable model

pertains to a model that can be implemented. A primary example of an _____ is a computer program

Informal approach

verification and validation is qualitative in nature

Static approach

in verification and validation involves the assessment of the model’s accuracy based on its foundational characteristics and the design of the executable model.

Dynamic approach

in verification and validation is generally objective and quantitative in nature.

Formal approach

in verification and validation utilizes mathematical proofs of correctness.

Inspection

It is an informal method of verification, where organized teams of developers and testers inspect the model’s artifacts, such as the document design, algorithms, equations, and the programs’ codes.

Data Analysis

It is a static verification method that compares data definition and operations on the conceptual model to those in the executable model.

Comparison Testing

It is a dynamic verification method that can be used when multiple models of the same simuland are available.

Inductive Assertion

It is a formal verification method that compares the program codes of the executable model to the descriptions of the simuland in the conceptual model.

Face Validation

It is an informal method of validation that compares simuland behavior to the model.

Cause-Effect Graphing

It is a static validation method that compares the cause and effect relationship in the simuland to those in the conceptual model.

Predictive Validation

It is a dynamic validation method that compares specific outcomes in the simuland behavior to the corresponding outcomes in the model.

Predicate Calculus

It is a formal validation method that encompasses a formal logic system that allows creation, manipulation, and proof of formal statements that describes the properties of an object.