Identifying software dependencies using controller code models

A non-transitory computer-readable medium including instructions that, when executed by at least one processor, cause the at least one processor to perform operations for identifying software dependencies based on functional models, comprising:

• constructing, based on a change to first controller code configured for a first controller, a model representing execution of functions on the first controller according to the changed first controller code;
• determining, based on operating the model remotely from the first controller and a second controller, a dependency between the changed first controller code and second controller code configured for the second controller;
• determining a change in functionality of the second controller code based on the change to the first controller code;
• determining a functional equivalence status between the second controller code with the change in functionality and the second controller code without the change in functionality;
• and
• generating, based on the determined dependency, a report identifying the functional equivalence status.