Executable models for architectures with AFRL visual simulation objects (VSO)

VSO enables the composition, verification, validation, and execution of complex system of systems architectures. This is done by creating an environment where an architecture´s “building blocks” can be captured using mathematical formalization (high-level Petri Net), stored with persistence, snapped together with other “building blocks,” and subjected to static and dynamic analysis. This is the next-generation architecture tool that is already in within AFRL, provides a 95% reduction in time to create DoDAF products, and an 80% reduction in time to create architecture variants.