Providing timing-independence for software
AssigneeWoven By Toyota, Inc.
InventorJean-François BASTIEN
Life of this patent
Estimating the term…
Abstract
Timing-independence is provided for software. Variance is added to software such as non-determinism, randomization, and the like. A distribution of unspecified modalities associated with the software is identified. Unspecified modalities include modalities in a critical path, modalities outside of design timing constraints of the software, modalities at the edge of a timing envelope, and the like. At least part of the software is modified to eliminate the unspecified modalities, such as implementing modifications to prevent over-designing of implemented hardware and overfitting of software into the implemented hardware, optimizing execution of tasks of the software, rearranging an order of execution of non-dependent tasks not in the critical path, and the like.
Claims20
A method for providing timing-independence for software, comprising:
- adding variance to software;
- identifying distribution of unspecified modalities associated with the software;
- and
- modifying at least part of the software to eliminate the unspecified modalities.
A device for providing timing-independence for software, comprising:
- a memory storing computer-readable instructions;
- and
- a processor connected to the memory, wherein the processor is configured to execute the computer-readable instructions to perform operations to:
- adding variance to software;
- identifying distribution of unspecified modalities associated with the software;
- and
- modifying at least part of the software to eliminate the unspecified modalities.
A non-transitory computer-readable media having computer-readable instructions stored thereon, which when executed by a processor causes the processor to perform operations comprising:
- adding variance to software;
- identifying distribution of unspecified modalities associated with the software;
- and
- modifying at least part of the software to eliminate the unspecified modalities.
Dependencies are inferred from the claim text.