Accession Number:

AD1045846

Title:

MARATHON Verification (MARV)

Descriptive Note:

Technical Report,01 Oct 2016,01 Jul 2017

Corporate Author:

Center for Army Analysis Fort Belvoir United States

Personal Author(s):

Report Date:

2017-08-01

Pagination or Media Count:

36.0

Abstract:

The Modeling Army Rotation At Home Or Not MARATHON simulation helps analyze the dynamic consequences of force generation policies governing supplies of force structure readied for employment against demands. This study is a comparative verification of the functionality of MARATHON 4 our newest implementation of MARATHON to MARATHON 3 our legacy implementation. They were developed in two different runtimes and have different code bases. We discuss an approach for the verification and lessons learned from the semantic and technical issues we discovered as we implemented the approach.

Subject Categories:

  • Military Operations, Strategy and Tactics
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE