Brawler-a fighter pilot decision logic model

The purpose of our investigation of the Brawler model was to identify its functions via a decomposition and examine their sensitivity upon model level measures of performance (MOPs). The decomposition effort was used to gain an understanding of the structural framework and level of detail for modeled functions and to aid in targeting specific functions for verification and/or validation (V&V). Brawler has been used for analysis of tactics, weapons, and sensors by the U.S. Air Force since 1985 and has achieved a somewhat dubious distinction as a complex and quite difficult model to set up and properly make use of. Approximately 300 k lines of FORTRAN code consisting of about 2,500 subroutines, it poses a challenge to a V&V agent faced with developing a plan to evaluate and assess its credibility