Patents Assigned to KRONO-SAFE
  • Patent number: 11249802
    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.
    Type: Grant
    Filed: October 8, 2018
    Date of Patent: February 15, 2022
    Assignee: KRONO-SAFE
    Inventors: Adrien Barbot, Vincent David, Emmanuel Ohayon
  • Publication number: 20210224112
    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.
    Type: Application
    Filed: October 8, 2018
    Publication date: July 22, 2021
    Applicant: KRONO-SAFE
    Inventors: Adrien BARBOT, Vincent DAVID, Emmanuel OHAYON
  • Patent number: 10198290
    Abstract: A method for executing two tasks in timesharing, includes: decomposing offline each task in a repetitive sequence of consecutive frames, and defining a start date and deadline by which an associated atomic operation must respectively start and end; verifying for each frame of a first of the repetitive sequences the corresponding operation can be performed between any two successive operations of a group of frames of the second repetitive sequence, overlapping the first repetitive sequence frame; and if the verification is satisfied, allowing the execution of the two tasks. Scheduling the operations of the two tasks, if two operations can start, executing the operation having the shorter deadline; and if a single operation can start, executing it if its execution need is less than the time remaining until the next frame start date of the other sequence, plus the time margin associated with the next frame of the other sequence.
    Type: Grant
    Filed: November 27, 2014
    Date of Patent: February 5, 2019
    Assignee: KRONO-SAFE
    Inventors: Vincent David, Adrien Barbot
  • Patent number: 9946575
    Abstract: Method for executing a task composed of a set of sequential and alternative processes. The method includes the steps of: a) assigning to each process a hardware resource need and time constraint; b) allocating to each process a time-slot having a duration corresponding to the time constraint of the process; c) identifying a branch point at which is decided the execution of one or other of two alternative processes; d) allocating to the two alternative processes a common time-slot; e) assigning to the common time-slot a resource need equal to the larger of the resource needs of the two alternative processes; f) iterating from step c) for each branch point; g) organizing the resulting time-slots in an execution template associated with the task; and h) configuring real-time multitasking system to constrain the execution of the task according to the resource needs assigned to the time slots of the execution template.
    Type: Grant
    Filed: March 17, 2014
    Date of Patent: April 17, 2018
    Assignee: KRONO-SAFE
    Inventor: Vincent David
  • Patent number: 9645850
    Abstract: A method for executing tasks of a real-time application on a multitasking computer, steps including: defining time-windows, each associated with the execution of processing operation of task of the application, allocating to each processing operation having time-window, time-quota and time-margin, time allocated to processing operation by time-quota and time-margin being shorter than duration of time-window of processing operation, during the execution of application, activating each processing operation at the start of time-window with which it is associated, on expiry of time-quota of one of processing operations, activating an error mode if the execution of processing operation has not been completed and, if error mode is active for one of processing operations, executing an error handling operation for processing operation, during remaining time allocated to processing operation by time-quota and time-margin.
    Type: Grant
    Filed: March 17, 2014
    Date of Patent: May 9, 2017
    Assignee: KRONO-SAFE
    Inventor: Vincent David
  • Publication number: 20170004011
    Abstract: A method for executing two tasks in timesharing, includes: decomposing offline each task in a repetitive sequence of consecutive frames, and defining a start date and deadline by which an associated atomic operation must respectively start and end; verifying for each frame of a first of the repetitive sequences the corresponding operation can be performed between any two successive operations of a group of frames of the second repetitive sequence, overlapping the first repetitive sequence frame; and if the verification is satisfied, allowing the execution of the two tasks. Scheduling the operations of the two tasks, if two operations can start, executing the operation having the shorter deadline; and if a single operation can start, executing it if its execution need is less than the time remaining until the next frame start date of the other sequence, plus the time margin associated with the next frame of the other sequence.
    Type: Application
    Filed: November 27, 2014
    Publication date: January 5, 2017
    Applicant: KRONO-SAFE
    Inventors: Vincent DAVID, Adrien BARBOT