Patents Assigned to KRONO-SAFE
-
Patent number: 11249802Abstract: 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: GrantFiled: October 8, 2018Date of Patent: February 15, 2022Assignee: KRONO-SAFEInventors: Adrien Barbot, Vincent David, Emmanuel Ohayon
-
Publication number: 20210224112Abstract: 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: ApplicationFiled: October 8, 2018Publication date: July 22, 2021Applicant: KRONO-SAFEInventors: Adrien BARBOT, Vincent DAVID, Emmanuel OHAYON
-
Patent number: 10198290Abstract: 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: GrantFiled: November 27, 2014Date of Patent: February 5, 2019Assignee: KRONO-SAFEInventors: Vincent David, Adrien Barbot
-
Patent number: 9946575Abstract: 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: GrantFiled: March 17, 2014Date of Patent: April 17, 2018Assignee: KRONO-SAFEInventor: Vincent David
-
Patent number: 9645850Abstract: 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: GrantFiled: March 17, 2014Date of Patent: May 9, 2017Assignee: KRONO-SAFEInventor: Vincent David
-
Publication number: 20170004011Abstract: 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: ApplicationFiled: November 27, 2014Publication date: January 5, 2017Applicant: KRONO-SAFEInventors: Vincent DAVID, Adrien BARBOT