Grand Unified Modeling of Behavioral Operators (GUMBO)

Grand Unified Modeling of Behavioral Operators (GUMBO) will combine several different Architecture Analysis and Design Language (AADL)-based behavior modeling approaches into a single Unified Behavior Representation (UBR), coupled with fast, lightweight analysis and highly automated, usable verification for detailed designs. Component vendors will supply behavioral and interface specifications using their preferred behavioral modeling approach as deliverable, machine readable models. Then the system integrator will use GUMBO to virtually compose a system from the component models and verify that they are compatible in terms of their data models, protocols, and execution behavior. GUMBO will support incremental progression from lightweight specification and verification to highly automated, strong specification and verification without requiring knowledge of formal analysis methods. GUMBO will directly integrate with a highly automated software-verification development environment, enabling teams to continue to implement the functional behavior of components using their chosen annexes. GUMBO leverages and integrates rather than replaces existing behavioral specification approaches and their associated analysis tooling. Phase I will establish the feasibility of the approach, using Army relevant AADL models, by demonstrating GUMBO's support of virtual integration scenarios where a combination of functional, safety, and integration behavioral specifications cannot easily be captured in any single existing behavioral modeling approach.