Systems and methods for evaluating compliance of implementation code with a software architecture specification

A computer-implemented method comprising:

• receiving a specified model;
• receiving implementation code corresponding to the specified model that comprises code that, when executed, performs at least one function for controlling one or more physical components of a dynamic system;
• identifying, from the specified model, a model part relevant to a functionality performable by the implementation code;
• translating the model part into at least one provable data construct;
• extracting, from the implementation code, a first code extract containing a code part that corresponds to the model part;
• automatically analyzing the first code extract to determine one or more attributes associated with the code part;
• determining compliance of the one or more attributes with the at least one provable data construct;
• and
• providing results of the automated analysis and compliance determination for display that identify whether the code part complies with at least the specified model.