Contextual Verification of Generated Code

1. A non-transitory computer-readable medium comprising program instructions, the program instructions when executed by a processing element operable to: receive a graphical model having executable semantics, the graphical model including a plurality of graphical objects; generate standalone code for the graphical model, the generated standalone code including a portion that corresponds to a given graphical object of the graphical model, and lacking a callable interface for the portion that corresponds to the given graphical object of the graphical model; identify, by a processor, the portion of the generated code that corresponds to the given graphical object of the graphical model; construct an interface to the portion of the generated standalone code that corresponds to the given graphical object of the graphical model; and execute the graphical model in an interpreted mode such that: execution of the given graphical object of the graphical model is bypassed, and the portion of the generated code that corresponds to the given graphical object of the graphical model is executed in place of the given graphical object of the graphical model utilizing the constructed interface.

2. The computer-readable medium of claim 1 wherein execution of the graphical model produces one or more model results, execution of the generated code produces one or more code results, and the one or more code results are equivalent to the one or more model results.

3. The computer-readable medium of claim 1 wherein the portion of the generated code corresponding to the given graphical object does not support standalone execution.

4. The computer-readable medium of claim 1 wherein less than all of the generated code is executed.

5. The computer-readable medium of claim 1 wherein the graphical model defines a context for the given graphical object, the program instructions when executed by the processing element further operable to: generate contextual code for executing the portion of the generated code in the context defined within the graphical model for the given graphical object.

6. The computer-readable medium of claim 1 where the generated code is executed in either a compiled mode or an interpreted mode.

7. A method comprising: receiving a graphical model having executable semantics, the graphical model including a graphical object that has a context defined within the graphical model; generating standalone code for the graphical model as a whole, the generated code including a portion that corresponds to the graphical object of the graphical model, and lacking a callable interface for the portion that corresponds to the graphical object of the graphical model; constructing an interface to the portion of the generated standalone code that corresponds to the graphical object of the graphical model; and executing, by a processor, the graphical model, the executing including: bypassing execution of the graphical object during execution of the graphical model, and executing the portion of the generated code within the context defined within the graphical model for the graphical object using the interface.

8. A non-transitory computer-readable medium comprising program instructions, the program instructions when executed by a processing element operable to: receive a graphical model having executable semantics, the graphical model including a plurality of graphical objects; generate first standalone code for the graphical model according to a first code generation setting, the first generated code being semantically equivalent to the graphical model, and including a portion that corresponds to a given graphical object of the graphical model; generate second standalone code for the graphical model according to a second code generation setting, the second generated code being semantically equivalent to the graphical model, including a portion that corresponds to the given graphical object of the graphical model, and lacking a callable interface for the portion of the generated second standalone code that corresponds to the given graphical object of the graphical model, where the second generated code is different from the first generated code; construct contextual code for the portion of the generated second standalone code that corresponds to the given graphical object of the graphical model; and execute, by a processor, the first standalone code, where the execution of the first standalone code includes: bypassing the portion of the first standalone code that corresponds to the given graphical object of the graphical model, and executing the portion of the second standalone code that corresponds to the given graphical object of the graphical model using the contextual code.

9. The computer-readable medium of claim 8 wherein the first code generation setting is a normal setting, and the second code generation setting is an instrumented setting.

10. A non-transitory computer-readable medium comprising program instructions, the program instructions when executed by a processing element operable to: receive a graphical model having executable semantics, the graphical model including a subsystem that has a context defined within the graphical model; generate standalone code for the graphical model, the generated standalone code including one or more functions that implement the subsystem of the graphical model, and lacking a callable interface to the one or more functions that implement the subsystem of the graphical model; generate an interface to the one or more functions of the generated standalone code that implement the subsystem of the graphical model; and execute, by a processor, the graphical model in an interpreted mode, where the execution of the graphical model includes: bypassing execution of the subsystem of the graphical model, and using the interface to call the one or more functions of the generated code in the context defined within the graphical model for the subsystem.

11. A method comprising: storing a graphical model having executable semantics in a memory, the graphical model including a plurality of graphical objects; generating standalone code for the graphical model, the generated standalone code including a portion that corresponds to a given graphical object of the graphical model, and lacking a callable interface for the portion that corresponds to the given graphical object of the graphical model; identifying the portion of the generated code that corresponds to the given graphical object of the graphical model; constructing, by a processor coupled to the memory, an interface to the portion of the generated standalone code that corresponds to the given graphical object of the graphical model; and executing the graphical model in an interpreted mode such that: execution of the given graphical object of the graphical model is bypassed, and the portion of the generated code that corresponds to the given graphical object of the graphical model is executed in place of the given graphical object of the graphical model utilizing the constructed interface.

12. The method of claim 11 wherein execution of the graphical produces one or more model results, execution of the generated code produces one or more code results, and the one or more code results are equivalent to the one or more model results.

13. The method of claim 11 wherein the portion of the generated code corresponding to the given graphical object does not support standalone execution.

14. The method of claim 11 wherein less than all of the generated code is executed.

15. The method of claim 11 wherein the graphical model defines a context for the given graphical object, the method further comprising: generating contextual code for executing the portion of the generated code in the context defined within the graphical model for the given graphical object.

16. The method of claim 11 where the generated code is executed in either a compiled mode or an interpreted mode.

17. An apparatus comprising: a memory configured to store a graphical model having executable semantics, the graphical model including a plurality of graphical objects; and a processor coupled to the memory, the processor configured to: generate standalone code for the graphical model, the generated standalone code including a portion that corresponds to a given graphical object of the graphical model, and lacking a callable interface for the portion that corresponds to the given graphical object of the graphical model; identify the portion of the generated code that corresponds to the given graphical object of the graphical model; construct an interface to the portion of the generated standalone code that corresponds to the given graphical object of the graphical model; and execute the graphical model in an interpreted mode such that: execution of the given graphical object of the graphical model is bypassed, and the portion of the generated code that corresponds to the given graphical object of the graphical model is executed in place of the given graphical object of the graphical model utilizing the constructed interface.

18. The apparatus of claim 17 wherein execution of the graphical model produces one or more model results, execution of the generated code produces one or more code results, and the one or more code results are equivalent to the one or more model results.

19. The apparatus of claim 17 wherein the portion of the generated code corresponding to the given graphical object does not support standalone execution.

20. The apparatus of claim 17 wherein less than all of the generated code is executed.

21. The apparatus of claim 17 wherein the graphical model defines a context for the given graphical object, the processor further configured to: generate contextual code for executing the portion of the generated code in the context defined within the graphical model for the given graphical object.

22. The apparatus of claim 17 where the generated code is executed in either a compiled mode or an interpreted mode.

23. A non-transitory computer-readable medium comprising program instructions, the program instructions when executed by a processing element operable to: receive, at a memory, a graphical model having executable semantics, the graphical model including a graphical object that has a context defined within the graphical model; generate standalone code for the graphical model as a whole, the generated code including a portion that corresponds to the graphical object of the graphical model, and lacking a callable interface for the portion that corresponds to the graphical object of the graphical model; construct, by a processor coupled to the memory, an interface to the portion of the generated standalone code that corresponds to the graphical object of the graphical model; and execute the graphical model, the executing including: bypassing execution of the graphical object during execution of the graphical model, and executing the portion of the generated code within the context defined within the graphical model for the graphical object using the interface.

24. A method comprising: receiving a graphical model having executable semantics, at a memory, the graphical model including a plurality of graphical objects; generating first standalone code for the graphical model according to a first code generation setting, the first generated code being semantically equivalent to the graphical model, and including a portion that corresponds to a given graphical object of the graphical model; generating second standalone code for the graphical model according to a second code generation setting, the second generated code being semantically equivalent to the graphical model, including a portion that corresponds to the given graphical object of the graphical model, and lacking a callable interface for the portion of the generated second standalone code that corresponds to the given graphical object of the graphical model, where the second generated code is different from the first generated code; constructing, by a processor coupled to the memory, contextual code for the portion of the generated second standalone code that corresponds to the given graphical object of the graphical model; and executing the first standalone code, where the execution of the first standalone code includes: bypassing the portion of the first standalone code that corresponds to the given graphical object of the graphical model, and executing the portion of the second standalone code that corresponds to the given graphical object of the graphical model using the contextual code.

25. The method of claim 24 wherein the first code generation setting is a normal setting, and the second code generation setting is an instrumented setting.

26. A method comprising: storing a graphical model having executable semantics, at a memory, the graphical model including a subsystem that has a context defined within the graphical model; generating standalone code for the graphical model, the generated standalone code including one or more functions that implement the subsystem of the graphical model, and lacking a callable interface to the one or more functions that implement the subsystem of the graphical model; generating, by a processor coupled to the memory, an interface to the one or more functions of the generated standalone code that implement the subsystem of the graphical model; and executing the graphical model in an interpreted mode, where the execution of the graphical model includes: bypassing execution of the subsystem of the graphical model, and using the interface to call the one or more functions of the generated code in the context defined within the graphical model for the subsystem.

27. An apparatus comprising: a memory configured to store a graphical model having executable semantics, the graphical model including a graphical object that has a context defined within the graphical model; and a processor coupled to the memory, the processor configured to: generate standalone code for the graphical model as a whole, the generated code including a portion that corresponds to the graphical object of the graphical model, and lacking a callable interface for the portion that corresponds to the graphical object of the graphical model; construct an interface to the portion of the generated standalone code that corresponds to the graphical object of the graphical model; and execute the graphical model, the executing including: bypassing execution of the graphical object during execution of the graphical model, and executing the portion of the generated code within the context defined within the graphical model for the graphical object using the interface.

28. An apparatus comprising: a memory configured to store a graphical model having executable semantics, the graphical model including a plurality of graphical objects; and a processor coupled to the memory, the processor configured to: generate first standalone code for the graphical model according to a first code generation setting, the first generated code being semantically equivalent to the graphical model, and including a portion that corresponds to a given graphical object of the graphical model; generate second standalone code for the graphical model according to a second code generation setting, the second generated code being semantically equivalent to the graphical model, including a portion that corresponds to the given graphical object of the graphical model, and lacking a callable interface for the portion of the generated second standalone code that corresponds to the given graphical object of the graphical model, where the second generated code is different from the first generated code; construct contextual code for the portion of the generated second standalone code that corresponds to the given graphical object of the graphical model; and executing the first standalone code, where the execution of the first standalone code includes: bypassing the portion of the first standalone code that corresponds to the given graphical object of the graphical model, and executing the portion of the second standalone code that corresponds to the given graphical object of the graphical model using the contextual code.

29. The apparatus of claim 28 wherein the first code generation setting is a normal setting, and the second code generation setting is an instrumented setting.

30. An apparatus comprising: a memory configured to store a graphical model having executable semantics, the graphical model including a subsystem that has a context defined within the graphical model; and a processor coupled to the memory, the processor configured to: generate standalone code for the graphical model, the generated standalone code including one or more functions that implement the subsystem of the graphical model, and lacking a callable interface to the one or more functions that implement the subsystem of the graphical model; generate an interface to the one or more functions of the generated standalone code that implement the subsystem of the graphical model; and execute the graphical model in an interpreted mode, where the execution of the graphical model includes: bypassing execution of the subsystem of the graphical model, and using the interface to call the one or more functions of the generated code in the context defined within the graphical model for the subsystem.