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 behavior, data models, and protocols. GUMBO will support incremental progression from lightweight specification and verification to automated, strong specification and verification without requiring knowledge of formal analysis methods. GUMBO will directly integrate with an automated software-verification development environment, enabling teams to continue to implement the functional behavior of components using their chosen annexes. Phase I established the feasibility of GUMBO with Army relevant models. Phase II will continue integrating the AADL annexes, actively support AADLv3 behavioral standardization efforts, and begin integration with the SysML and FACE modeling used by DoD contractors. This will help bridge the gap between the early stages of requirements and design, and the embedded systems implementation analysis that AADL supports.