PORTSIM verification summary report.

This summary report is a compilation of six reports previously released on the verification efforts for the Port Simulation (PORTSIM) model, a discrete-event simulation model used for analyzing military seaport operations for embarkation. In addition to describing the PORTSIM verification efforts, the report also comments on the entire verification process, including an overview of the findings. The six verification reports correspond to the six combinations of cargo types-transportation modes modeled in PORTSIM. For each of the six studies, a simplified scenario and force file (i.e., cargo list) were created and implemented to facilitate verification of basic timing data. The patterns and logic used to compute the timing data were identified and quantified and are included for each of the six reports, along with details on scenario setup parameters. The verification efforts confirmed the accuracy of simulation output results and added greater levels of quality, confidence, and usefulness to PORTSIM. These efforts improved the model and user interface, uncovered and corrected numerous bugs and anomalies, and provided insights into model behaviors and relationships.