Patents by Inventor Stéphane Louise
Stéphane Louise has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 11610041Abstract: The present invention concerns a method and a tool for designing and validating a data flow system comprising a set of software and/or hardware actors (ai, aj) interconnected with each other by unidirectional communication channels (ci, cj), the tool comprising: —a modelling interface (11) configured to generate an instance of the system by specifying, in a formal manner, a real-time and reconfigurable data flow, the reconfiguration of the data flow being carried out dynamically by propagating reconfiguration data from one actor to another through the communication channels, —an analysis module (13) configured to prove a predetermined set of behavioral properties of the system by means of a static analysis of the instance, —a refinement interface (15) designed to allocate resources to the instance, thus establishing a configured instance, the allocation of resources being carried out in such a way that an implementation of the system complies with the configured instance, and —a conformity test module (17) coType: GrantFiled: August 30, 2019Date of Patent: March 21, 2023Assignee: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVESInventors: Paul Dubrulle, Stephane Louise, Christophe Gaston, Nikolay Kosmatov, Mathieu Jan, Arnault Lapitre
-
Publication number: 20210279393Abstract: The present invention concerns a method and a tool for designing and validating a data flow system comprising a set of software and/or hardware actors (ai, aj) interconnected with each other by unidirectional communication channels (ci, cj), the tool comprising: —a modelling interface (11) configured to generate an instance of the system by specifying, in a formal manner, a real-time and reconfigurable data flow, the reconfiguration of the data flow being carried out dynamically by propagating reconfiguration data from one actor to another through the communication channels, —an analysis module (13) configured to prove a predetermined set of behavioral properties of the system by means of a static analysis of the instance, —a refinement interface (15) designed to allocate resources to the instance, thus establishing a configured instance, the allocation of resources being carried out in such a way that an implementation of the system complies with the configured instance, and —a conformity test module (17) coType: ApplicationFiled: August 30, 2019Publication date: September 9, 2021Applicant: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVESInventors: Paul DUBRULLE, Stephane LOUISE, Christophe GASTON, Nikolay KOSMATOV, Mathieu JAN, Arnault LAPITRE
-
Patent number: 10394729Abstract: A system for executing a data flow graph comprises: at least two first actors each comprising means for independently executing a computation of a same data set comprising at least one datum, and producing a quality descriptor of the data set, the execution of the computation by each of at least two first actors being triggered by a synchronization system; a third actor, comprising means for triggering the execution of the computation by each of at least two first actors, and initializing a clock configured to emit an interrupt signal when a duration has elapsed; a fourth actor, comprising means for executing, at the latest at the interrupt signal from the clock: the selection, from the set of at least two first actors having produced a quality descriptor, of the one whose descriptor exhibits the most favorable value; the transfer of the data set computed by the selected actor.Type: GrantFiled: September 22, 2015Date of Patent: August 27, 2019Assignee: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVESInventors: Paul Dubrulle, Thierry Goubier, Stéphane Louise
-
Publication number: 20170308489Abstract: A system for executing a data flow graph comprises: at least two first actors each comprising means for independently executing a computation of a same data set comprising at least one datum, and producing a quality descriptor of the data set, the execution of the computation by each of at least two first actors being triggered by a synchronization system; a third actor, comprising means for triggering the execution of the computation by each of at least two first actors, and initializing a clock configured to emit an interrupt signal when a duration has elapsed; a fourth actor, comprising means for executing, at the latest at the interrupt signal from the clock: the selection, from the set of at least two first actors having produced a quality descriptor, of the one whose descriptor exhibits the most favorable value; the transfer of the data set computed by the selected actor.Type: ApplicationFiled: September 22, 2015Publication date: October 26, 2017Inventors: Paul DUBRULLE, Thierry GOUBIER, Stéphane LOUISE
-
Patent number: 9164807Abstract: A system including a plurality of processing units for executing tasks in parallel and a communication network. The processing units are organized into clusters of units, each cluster comprising a local memory. The system includes means for statically allocating tasks to each cluster of units, so that a task of an application is processed by the same cluster of units from one execution to another. Each cluster includes cluster management means for allocating tasks to each of its processing units and space in the local memory for executing them, so that a given task of an application may not be processed by the same processing unit from one execution to another. The cluster management means includes means for managing the tasks, means for managing the processing units, means for managing the local memory and means for managing the communications involving its processing units. The management means operate simultaneously and cooperatively.Type: GrantFiled: December 11, 2008Date of Patent: October 20, 2015Assignee: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVESInventors: Frédéric Blanc, Thierry Collette, Raphaël David, Vincent David, Michel Harrand, Stéphane Louise, Nicolas Ventroux
-
Patent number: 8973009Abstract: An allocation and control unit for allocating execution threads for a task to a plurality of auxiliary processing units and for controlling the parallel execution of said execution threads by said auxiliary processing units, the task being executed in a sequential manner by a main processing unit. The allocation and control unit includes means for managing auxiliary logical processing units, means for managing auxiliary physical processing units each corresponding to an auxiliary processing unit, and means for managing the auxiliary processing units. The means for managing the auxiliary processing units include means for allocating an auxiliary logical processing unit to an execution thread to be executed, and means for managing the correspondence between the auxiliary logical processing units and the auxiliary physical processing units.Type: GrantFiled: February 22, 2010Date of Patent: March 3, 2015Assignee: Commissariat a l'Energie Atomique et aux Energies AlternativesInventors: Stéphane Louise, Vincent David, Raphael David
-
Publication number: 20110314478Abstract: An allocation and control unit for allocating execution threads for a task to a plurality of auxiliary processing units and for controlling the parallel execution of said execution threads by said auxiliary processing units, the task being executed in a sequential manner by a main processing unit. The allocation and control unit includes means for managing auxiliary logical processing units, means for managing auxiliary physical processing units each corresponding to an auxiliary processing unit, and means for managing the auxiliary processing units. The means for managing the auxiliary processing units include means for allocating an auxiliary logical processing unit to an execution thread to be executed, and means for managing the correspondence between the auxiliary logical processing units and the auxiliary physical processing units.Type: ApplicationFiled: February 22, 2010Publication date: December 22, 2011Applicant: Comissariat A L'Energie Atmoique et aux EnergiesInventors: Stephane Louise, Vincent David, Raphael David
-
Publication number: 20110093854Abstract: A system including a plurality of processing units for executing tasks in parallel and a communication network. The processing units are organized into clusters of units, each cluster comprising a local memory. The system includes means for statically allocating tasks to each cluster of units, so that a task of an application is processed by the same cluster of units from one execution to another. Each cluster includes cluster management means for allocating tasks to each of its processing units and space in the local memory for executing them, so that a given task of an application may not be processed by the same processing unit from one execution to another. The cluster management means includes means for managing the tasks, means for managing the processing units, means for managing the local memory and means for managing the communications involving its processing units. The management means operate simultaneously and cooperatively.Type: ApplicationFiled: December 11, 2008Publication date: April 21, 2011Applicant: Commissariat A L'Energie Atomique et Aux Energies AlternativesInventors: Frédéric Blanc, Thierry Collette, Raphaël David, Vincent David, Michel Harrard, Stéphane Louise, Nicolas Ventroux