System and method for using execution contexts in block diagram modeling

• US 7,809,545 B2
• Filed: 04/16/2003
• Issued: 10/05/2010
• Est. Priority Date: 04/16/2003
• Status: Active Grant

• Current Assignee: The MathWorks, Inc.
• Original Assignee: The MathWorks, Inc.
• Inventors: Ciolfi, John Edward, Orofino, Donald Paul, Shakeri, Mojdeh, Ullman, Marc, Yeddanapudi, Murali, Mani, Ramamurthy
• Primary Examiner(s): Shah; Kamini S
• Assistant Examiner(s): Lo; Suzanne
• Application Number:
  US10/414,644
• Publication Number:
  US 20040210592A1
• Time in Patent Office: 2,729 Days
• Field of Search: 703/19, 703/22, 717105-109
• US Class Current: 703/22
• CPC Class Codes: G06F 8/34 Graphical or visual programming
• CPC Class Codes: G06F 8/443 Optimisation

Abstract

A method of controlling the conditional execution of elements and subsystems in a block diagram is disclosed. Data structures known as Execution Contexts are created and associated with individual block diagram elements and subsystems. The Execution Contexts allow execution of the associated element or subsystem upon satisfaction of a specified pre-condition. The Execution Contexts may be inherited by other elements and subsystems in the block diagram and propagated programmatically throughout the block diagram. The use of the Execution Contexts allows for efficient code generation and block diagram execution, as well as supporting modular design concepts.

Claims

1. A method comprising:

creating an execution context that is represented as a data structure associated with a first element in a time-based block diagram, the execution context containing information used to control execution of the first element based on a satisfaction of a pre-condition;

specifying that a second element in the time-based block diagram is an inheriting element that inherits the execution context associated with the first element;

propagating, during compilation of the time-based block diagram, the execution context from the first element to the inheriting second element, the propagating associating the execution context associated with the first element with the inheriting second element, the propagating including;

creating a hierarchical data structure for the block diagram that includes a reference to the first element,

identifying whether the inheriting second element can inherit the execution context via its input ports and/or output ports, and

grouping a reference to the inheriting second element with the reference to the first element in the hierarchical data structure for the block diagram;

determining an order of execution for the time-based block diagram using the execution context associated with the inheriting element;

executing the first element and the inheriting element according to the order of execution after the satisfaction of the pre-condition.

2. The method of claim 1 wherein the execution context associated with the inheriting element is associated with a conditional input port of a block in the time-based block diagram, the input port connected to at least one element external to the block, the input port reading signal values after the satisfaction of the specified pre-condition.

3. The method of claim 1 wherein the execution context associated with the inheriting element is associated with a non-virtual subsystem in the time-based block diagram, the execution context allowing the non-virtual subsystem to execute after the satisfaction of the pre-condition.

4. The method of claim 1 wherein the execution context associated with the inheriting element is associated with a conditional output port of a block in the time-based block diagram, the conditional output port connected to at least one element external to the block, the conditional output port generating signal values after a satisfaction of a specified pre-condition.

5. The method of claim 4 wherein the execution context associated with the first element is associated with a port.

6. The method of claim 1 wherein the execution context associated with the first element is associated with a non-virtual subsystem in the time-based block diagram.

7. The method of claim 6 further comprising:

identifying a union of elements that includes elements in the non-virtual subsystem and non-subsystem elements that inherited the execution context;

determining an order of execution for the union of elements; and

executing the union of elements according to the order of execution after the satisfaction of the pre-condition.

8. The method of claim 6 wherein the execution context information from the execution context associated with the first element is inherited by an execution context associated with a second non-virtual subsystem in the time-based block diagram, the execution context allowing the second non-virtual subsystem to execute after the satisfaction of the pre-condition.

9. The method of claim 1 further comprising:

identifying a strongly-connected section of the time-based block diagram;

propagating the execution context information associated with the first element to an execution context associated with the strongly-connected section; and

executing the strongly-connected section based on the satisfaction of the pre-condition.

10. The method of claim 1 further comprising:

determining prior to execution of the time-based block diagram that at least one section connected to at least one of a conditional input port of a block, a conditional output port of a block, or non-virtual subsystem in the time-based block diagram remains inactive during execution of the time-based block diagram; and

omitting processing of the at least one inactive section during execution of the time-based block diagram.

11. The method of claim 1 further comprising:

generating programming code, the code reflecting the pre-condition referenced by the execution context associated with the first element.

12. The method of claim 11 wherein the generated program code excludes at least one inactive section of the time-based block diagram, the inactive sections being determined prior to execution of the generated program code.

13. The method of claim 1 wherein a view of the time-based block diagram graphically depicts one or more inheriting elements associated with one or more execution contexts that inherit execution context information from the execution context associated with the first element.

14. The method of claim 13 wherein the view graphically depicts an order of execution of the one or more inheriting elements.

30. The method of claim 1 wherein the specifying that specifies the second element as an inheriting element identifies lines connected to the inheriting element by which the execution context information may be inherited.

31. The method of claim 1 wherein the first element is a parent element and the second element is a child element.

15. A system comprising:

means for creating an execution context that is represented as a data structure associated with a first element in a time-based block diagram, the execution context containing information used to control execution of the first element based on the satisfaction of a pre-condition;

means for specifying that a second element in the time-based block diagram is an inheriting element that inherits the execution context associated with the first element;

means for propagating, during compilation of the time-based block diagram, the execution context from the first element to the inheriting second element, the propagating associating the execution context associated with the first element with the inheriting second element, the propagating including;

creating a hierarchical data structure for the block diagram that includes a reference to the first element,

identifying whether the inheriting second element can inherit the execution context via its input ports and/or output ports, and

grouping a reference to the inheriting second element with the reference to the first element in the hierarchical data structure for the block diagram;

means for determining an order of execution for the time-based block diagram using the execution context associated with the inheriting element;

means for executing the first element and the inheriting element according to the order of execution after the satisfaction of the pre-condition.

34. The system of claim 15 wherein the specifying that specifies the second element as an inheriting element identifies lines connected to the inheriting element by which the execution context information may be inherited.

35. The system of claim 15 wherein the first element is a parent element and the second element is a child element.

16. A physical medium for use with a computing device, the medium holding computer-executable instructions for propagating execution context information, the medium comprising one or more instructions that when executed cause the computing device to:

create an execution context that is represented as a data structure associated with a first element in a time-based block diagram, the execution context containing information used to control execution of the first element based on a satisfaction of a pre-condition;

specify that a second element in the time based block diagram is an inheriting element that inherits the execution context associated with the first element;

propagate, during compilation of the time-based block diagram, the execution context from the first element to the inheriting second element, the propagating associating the execution context associated with the first element with the inheriting second element, the propagation including;

creating a hierarchical data structure for the block diagram that includes a reference to the first element,

identifying whether the inheriting second element can inherit the execution context via its input ports and/or output ports, and

grouping a reference to the inheriting second element with the reference to the first element in the hierarchical data structure for the block diagram;

determine an order of execution for the time-based block diagram using the execution context associated with the inheriting element; and

execute the first element and the inheriting element according to the order of execution after the satisfaction of the pre-condition.

17. The medium of claim 16 wherein the execution context associated with the inheriting element is associated with a conditional input port of a block in the time-based block diagram, the input port connected to at least one element external to the block, the input port reading signal values after the satisfaction of the specified pre-condition.

18. The medium of claim 16 wherein the execution context associated with the inheriting element is associated with a non-virtual subsystem in the time-based block diagram, the execution context allowing the non-virtual subsystem to execute after the satisfaction of the pre-condition.

19. The medium of claim 16 wherein the execution context associated with the inheriting element is associated with a conditional output port of a block in the time-based block diagram, the conditional output port connected to at least one element external to the block, the conditional output port generating signal values after a satisfaction of a specified pre-condition.

20. The medium of claim 19 wherein the execution context associated with the first element is associated with a port.

21. The medium of claim 16 wherein the execution context associated with the first element is associated with a non-virtual subsystem in the time-based block diagram.

22. The medium of claim 21, wherein the medium further holds one or more instructions that when executed cause the computing device to:

identify a union of elements that includes elements in the non-virtual subsystem and non-subsystem elements that inherited the execution context;

determine an order of execution for the union of elements; and

execute the union of elements according to the order of execution after the satisfaction of the pre-condition.

23. The medium of claim 21 wherein the execution context information from the execution context associated with the first element is inherited by an execution context associated with a second non-virtual subsystem in the time-based block diagram, the execution context allowing the second non-virtual subsystem to execute after the satisfaction of the pre-condition.

24. The medium of claim 16, wherein the medium further holds one or more instructions that when executed cause the computing device to:

identifying strongly-connected sections of the time-based block diagram;

propagating the execution context information associated with the first element to an execution context associated with the strongly-connected section; and

executing the strongly-connected section based on the satisfaction of the pre-condition.

25. The medium of claim 16 wherein the medium further holds one or more instructions that when executed cause the computing device to:

determining prior to execution of the time-based block diagram that at least one section connected to at least one of a conditional input port of a block, a conditional output port of a block, or non-virtual subsystem in the time-based block diagram remains inactive during execution of the time-based block diagram; and

omitting processing of the at least one inactive section during execution of the time-based block diagram.

26. The medium of claim 16 wherein the medium further holds one or more instructions that when executed cause the computing device to:

generating programming code, the code reflecting the pre-condition referenced by the execution context associated with the first element.

27. The medium of claim 26 wherein the generated program code excludes at least one inactive section of the time-based block diagram, the inactive sections being programmatically determined prior to execution of the generated program code.

28. The medium of claim 16 wherein a view of the time-based block diagram graphically depicts one or more inheriting elements associated with one or more execution contexts that inherit execution context information from the execution context associated with the first element.

29. The medium of claim 28 wherein the view graphically depicts an order of execution of the one or more inheriting elements.

32. The medium of claim 16 wherein the specification of the second element as an inheriting element identifies lines connected to the inheriting element by which the execution context information may be inherited.

33. The method of claim 16 wherein the first element is a parent element and the second element is a child element.