C2PAT Verification

Principal Investigator

Status
  • Complete

C2PAT is a mathematical modeling tool based on queuing theory. CMSA is independently verifying the C2PAT tool by comparing its results on a set of generic queuing model test cases with results obtained from implementations of the same cases using both ProModel and C++.

C2PAT, developed by Davidson Technologies Incorporated, is a mathematical modeling tool based on queuing theory. It supports a range of queuing model features, including multiple servers, multiple queues, precedence, and preemption. C2PAT results have been produced for a set of ten generic queuing model test cases that include single and multiple servers with a homogeneous queue, single and multiple servers with a heterogeneous queue, single server with precedence, and single server with preemption.

CMSA, in collaboration with the UAH Office for Economic Development, is independently verifying C2PAT. CMSA is implementing the queuing model test cases in two different ways: using the ProModel discrete event simulation language, and directly using C++. The C2PAT results are being compared with the ProModel and C++ results and any discrepancies analyzed.