MARATHON Verification (MARV)

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2017
Accession Number
AD1045846

Entities

People

  • Rick Hanson
  • Tom Spoon

Organizations

  • Center for Army Analysis

Tags

DTIC Thesaurus Topics

  • Basic Programming Language
  • Clojure Programming Language
  • Computer Programming
  • Computer Programs
  • Data Sets
  • Department Of Defense
  • Experimental Design
  • Force Structure
  • Lessons Learned
  • Lisp Programming Language
  • Military Operations
  • Operations Research
  • Programming Languages
  • Simulations
  • Spreadsheet Software
  • Validation
  • Verification

Readers

  • Aerospace logistics and air mobility.
  • Software Engineering.
  • Traumatic Brain Injury (TBI) and Cognitive Aging in the Guam and Border Populations Affected by Alzheimer's Disease and Tau-Associated Dementias.