BEHAVIOR INVARIANT OPTIMIZATION OF MAXIMUM EXECUTION TIMES FOR MODEL SIMULATION

• US 20140089889A1
• Filed: 09/26/2012
• Published: 03/27/2014
• Est. Priority Date: 09/26/2012
• Status: Active Grant

• Current Assignee: The MathWorks, Inc.
• Original Assignee: The MathWorks, Inc.
• Inventors: MACLAY, David, URBAS, Matej
• Granted Patent: US 8,819,618 B2
• Time in Patent Office: Days
• US Class Current: 717/104
• CPC Class Codes: G06F 8/35 model driven
• CPC Class Codes: G06F 8/70 Software maintenance or management
• CPC Class Codes: G06F 9/4887 involving deadlines, e.g. rate based, periodic

Abstract

A device receives a model that includes model elements scheduled to execute in time slots on a hardware device. The device identifies time slots, of the time slots, that are unoccupied or underutilized by the model elements, and identifies a set of model elements that can be moved to the unoccupied time slots without affecting a behavior of the model. The device calculates a combined execution time of the model elements, determines whether the combined execution time of the model elements is less than or equal to a duration of a first time slot of the time slots, and schedules the model elements for execution in the first time slot when the combined execution time of the model elements is less than or equal to the duration of the first time slot.

Claims

1. A method, comprising:

receiving, a model, the model including model elements scheduled to execute in time slots on a hardware device, the receiving being performed by a device via a technical computing environment (TCE);

identifying one or more time slots, of the time slots, that are unoccupied or underutilized by the model elements, the identifying the one or more time slots being performed by the device;

identifying a set of one or more model elements that when moved to the one or more unoccupied time slots preserve a behavior of the model, the identifying the set of one or more model elements being performed by the device;

calculating a combined execution time of the model elements, the calculating the combined execution time being performed by the device;

determining whether the combined execution time of the model elements is less than or equal to a duration of a first time slot of the time slots, the determining whether the combined execution time of the model elements is less than or equal to the duration of the first time slot being performed by the device; and

scheduling the model elements for execution in the first time slot when the combined execution time of the model elements is less than or equal to the duration of the first time slot, the scheduling the model elements being performed by the device.

2. The method of claim 1, further comprising:

executing the model elements in the first time slot when the combined execution time of the model elements is less than or equal to the duration of the first time slot, the executing the model elements being performed by the hardware device or the device.

3. The method of claim 1, further comprising:

identifying a portion of the model elements, from the set of model elements, that fit into a second time slot, of the time slots, when the combined execution time of the model elements is greater than the duration of the first time slot, where a remaining portion of the model elements fits in the first time slot;

scheduling the remaining portion of the model elements for execution in the first time slot; and

scheduling the portion of the model elements for execution in the second time slot.

4. The method of claim 3, where identifying the portion of the model elements further comprises:

calculating a combined execution time of the portion of the model elements;

determining whether the combined execution time of the portion of the model elements is less than or equal to a duration of the second time slot; and

modifying the portion of the model elements when the combined execution time of the portion of the model elements is greater than the duration of the second time slot.

5. The method of claim 1, where the first time slot and the second time slot are provided in a hyperperiod, the hyperperiod defining a minimum duration within which the model elements are executed at least once.

6. The method of claim 1, where the behavior of the model is an input/output behavior of the model.

7. The method of claim 1, where the behavior of the model is an order of execution of at least two model elements.

8. The method of claim 1, where the hardware device includes one of:

one or more single core processors, or

one or more multi-core processors.

9. The method of claim 1, further comprising:

adjusting the execution of the model elements in the first time slot, when the combined execution time is less than or equal to the duration of the first time slot, based on at least one of;

a criterion specifying that the first time slot is utilized less than a first percentage,

a criterion specifying that each of the time slots is utilized less than a second percentage,

a criterion specifying that the hardware device is utilized less than a third percentage, or

a criterion specifying that utilization of a number of cores of the hardware device are maximized.

10. The method of claim 1, further comprising:

automatically generating code from the model.

11. The method of claim 1, further comprising:

automatically determining execution times of the model elements; and

calculating the combined execution time of the model elements based on the determined execution times.

12. The method of claim 1, where the model includes one of:

a single tasking model, or

a multitasking model.

13. A device, comprising:

a processor to;

receive, a model, the model including model elements scheduled to execute in time slots on a hardware device, the model being received via a technical computing environment (TCE),

identify one or more time slots, of the time slots, that are unoccupied or underutilized by the model elements,

identify a set of one or more model elements that can be moved to the one or more unoccupied time slots without affecting a behavior of the model,

calculate a combined execution time of the model elements,

determine whether the combined execution time of the model elements is less than or equal to a duration of a first time slot of the time slots,

schedule the model elements for execution in the first time slot when the combined execution time of the model elements is less than or equal to the duration of the first time slot,

identify a portion of the model elements, from the set of model elements, that fit into a second time slot, of the time slots, when the combined execution time of the model elements is greater than the duration of the first time slot, where a remaining portion of the model elements fits in the first time slot,

schedule the remaining portion of the model elements for execution in the first time slot, and

schedule the portion of the model elements for execution in the second time slot.

14. The device of claim 13, where, when identifying the portion of the model elements, the processor is further to:

calculate a combined execution time of the portion of the model elements, and

modify the portion of the model elements when the combined execution time of the portion of the model elements is greater than a duration of the second time slot.

15. The device of claim 13, where, when identifying the portion of the model elements, the processor is further to:

identify the portion of the model elements when the combined execution time of the portion of the model elements is less than or equal to the duration of the second time slot,

calculate a combined execution time of the remaining portion of the model elements, and

modify the portion of the model elements when the combined execution time of the remaining portion of the model elements is greater than the duration of the first time slot.

16. The device of claim 15, where, when identifying the portion of the model elements, the processor is further to:

identify the remaining portion of the model elements when the combined execution time of the remaining portion of the model elements is less than or equal to the duration of the first time slot.

17. The device of claim 13, where the first time slot and the second time slot are provided in a hyperperiod, the hyperperiod defining a minimum duration within which the model elements are executed at least once.

18. The device of claim 13, where the behavior of the model is an input/output behavior of the model or an order of execution of at least two model elements.

19. The device of claim 13, where the hardware device includes one of:

one or more single core processors, or

one or more multi-core processors.

20. One or more computer-readable media, comprising:

one or more instructions that, when executed by a processor of a device, cause the processor to;

receive, a model, the model including model elements scheduled to execute in time slots on a hardware device, the model being received via a technical computing environment (TCE),

identify one or more time slots, of the time slots, that are unoccupied or underutilized by the model elements,

identify a set of one or more model elements that can be moved to the one or more unoccupied time slots without affecting a behavior of the model,

identify a portion of the model elements from the set of model elements,

calculate a combined execution time of the portion of the model elements,

schedule the portion of the model elements for execution in a first time slot, of the time slots, when the combined execution time of the portion of the model elements is less than or equal to a duration of the first time slot,

calculate a combined execution time of a remaining portion of the model elements, and

schedule the remaining portion of the model elements for execution in a second time slot, of the time slots, when the combined execution time of the portion of the model elements is less than or equal to a duration of the second time slot.

21. The media of claim 20, further comprising:

one or more instructions that, when executed by the processor, cause the processor to;

modify the portion of the model elements when the combined execution time of the portion of the model elements is greater than the duration of the first time slot.

22. The media of claim 20, further comprising:

one or more instructions that, when executed by the processor, cause the processor to;

modify the portion of the model elements when the combined execution time of the remaining portion of the model elements is greater than the duration of the second time slot.

23. The media of claim 20, where the first time slot and the second time slot are provided in a hyperperiod, the hyperperiod defining a minimum duration within which the model elements are executed at least once.

24. The media of claim 20, where the behavior of the model is an input/output behavior of the model or an order of execution of at least two model elements.

25. The media of claim 20, where the hardware device includes one of:

one or more single core processors, or

one or more multi-core processors.