The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Feb. 15, 2022

Filed:

Oct. 08, 2018
Applicant:

Krono-safe, Massy, FR;

Inventors:

Adrien Barbot, Palaiseau, FR;

Vincent David, Marcoussis, FR;

Emmanuel Ohayon, Orsay, FR;

Assignee:

KRONO-SAFE, Orsay, FR;

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/46 (2006.01); G06F 9/48 (2006.01);
U.S. Cl.
CPC ...
G06F 9/4887 (2013.01);
Abstract

A method for constructing off-line a sequencing plan for a plurality of tasks executed on a real-time system, including decomposing each task into a sequence of frames, where each frame is associated with an elementary process having an execution need, and defines a start date from which the process can start and an end date, or deadline, at which the process must complete; associating respective order constraints with pairs of processes; projecting the dates on a time scale associated with an execution unit of the real-time system, thus forming a sequence of time slots; sequentially parsing the time slots of the sequence; identifying eligible processes in a current time slot, a process being eligible if it meets the following two criteria: i) it is executable in the current time slot, and ii) if it has an order constraint.


Find Patent Forward Citations

Loading…