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

摘要

A system and method to hierarchically validate graphically based executable logic control specifications. The method may include performing an open loop validation of a feature of a plurality of features in the control specification, performing an open loop validation of the functional hierarchy of an application of a plurality of applications in the graphically based logic control specification in response to completing successful validation of the plurality of features, performing a closed loop validation an ECU model of a plurality of ECUs modeled in the graphically based logic control specification in response to completing successful validation of the plurality of applications, and performing a closed loop validation of the plurality of ECUs modeled in response to completing successful validation of the ECU modeled.