OneSAF Objective System (OOS) Behavior Model Verification

Abstract : The Army's One Semi-Automated Forces (OneSAF) Objective System (OOS) is a composable, next-generation computer generated forces (CGF) that has been designed to represent a full range of operations, systems, and control processes from the entity level to brigade level. Its development has leveraged the ever-increasing computing power available today to represent highly-complex battlefield phenomena, particularly entity and unit behaviors. In the fall of 2005, the Product Manager (PM) OneSAF asked the United States (US) Army Training and Doctrine Command (TRADOC) Analysis Center (TRAC) in Monterey, California (TRAC-MTRY), to develop and execute quantitative and qualitative tests to verify the orderable, composite behaviors within OOS. As a result, we developed and executed a unique process to verify those behaviors under tight resource constraints. We developed an overall behavior verification methodology, a test design construct, a verification tracking database, and a detailed reporting procedure. We then executed the verification process on OOS behavior models and provided valuable feedback to PM OneSAF. Our methodology and test designs allowed us to evaluate the behaviors thoroughly with a minimum number of scenarios. Additionally, we devised a process to verify traceability within the documentation from requirements to implementation. Our work led to a follow-on effort to automate the verification process for OOS.