Method for validation of a graphically based executable control specification using model extraction

A system comprising:

• a processor configured to hierarchically validate a graphically based logic control specification that includes a plurality of ECU models, a first ECU model of the plurality of ECU models including a plurality of applications, each of the plurality of applications being at a lower layer or level than the first ECU model and including a plurality of features, each of the plurality of features being at a lower layer or level than each of the plurality of applications,
• a tangible, non-transitory memory configured to communicate with the processor, the tangible, non-transitory memory having instructions stored thereon that, in response to execution by the processor, cause the processor to perform operations comprising:
• performing, by the processor, an open loop validation of the plurality of features;
• performing, by the processor, an open loop validation of the plurality of applications in response to completing successful validation of the plurality of features;
• performing, by the processor, a closed loop validation of the first ECU model in response to completing successful validation of the plurality of applications;
• and
• performing, by the processor, a closed loop validation of the plurality of ECU models in response to completing successful validation of the first ECU model.

An article of manufacture including a non-transitory, tangible computer readable storage medium having instructions stored thereon that, in response to execution by a computer-based system configured to hierarchically validate a graphically based logic control specification that includes a plurality of ECU models, cause the computer-based system to perform operations comprising:

• identifying, by the computer-based system, a functional hierarchy of a first ECU model of the plurality of ECU models, the first ECU model including a plurality of applications, each of the plurality of applications being at a lower layer or level than the first ECU model and including a plurality of features, each of the plurality of features being at a lower layer or level than each of the plurality of applications;
• performing, by the computer-based system, an open loop validation of the plurality of features;
• performing, by the computer-based system, an open loop validation of the plurality of applications in response to completing successful validation of the plurality of features;
• performing, by the computer-based system, a closed loop validation of the first ECU model in response to completing successful validation of the plurality of applications;
• and
• performing, by the computer-based system, a closed loop validation of the plurality of ECU models in response to completing successful validation of the first ECU model.