Patent Document ID: 9063672
Application ID: 13180001
Patent Flag: 1

Claim One:
1. A method for verifying model compatibility, the method comprising: creating a reference model representation (RMR) from a reference model (RM) stored on an at least one memory device; creating a comparison model representation (CMR) from a comparison model stored on the at least one memory device, wherein the comparison model and the reference model are constrained by a same set of rules; verifying with a processor coupled to the at least one memory device that the CMR and the RMR are compatible according to the same set of rules; verifying with the processor that a CM data flow diagram derived from the CMR and a RM data flow diagram derived from the RMR are compatible with one another; verifying with the processor that all CM semantic units implement expected behaviors that correspond to RM semantic units; and verifying that all RM semantic units are accounted for in the CM.