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;
• detecting non-compliance between a first attribute of the one or more attributes and a corresponding range of values represented in the at least one provable data construct;
• providing results of the automatically analyzing and the detecting non-compliance for display;
• receiving input that alters the range of values, one or more of the attributes, the one or more data constructs, or the model part corresponding to the one or more data constructs;
• and
• after altering, determining compliance of the one or more attributes with the one or more data constructs, where the one or more attributes and/or the data constructs have been altered.