Patents by Inventor Paul DUBRULLE

Paul DUBRULLE 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).

  • Publication number: 20220147372
    Abstract: The present invention relates to a method and device for validating a data flow system represented by a data flow graph, comprising: —an acquisition module (9) configured to acquire data related to first and second common parts of the data flow graph, and —a supervision module (11) configured to incrementally verify the coherence of the data flow system by verifying the local coherence of a common unidirectional connection connecting the first common part of the data flow graph to the second common part of the data flow graph at each increment.
    Type: Application
    Filed: February 26, 2020
    Publication date: May 12, 2022
    Applicant: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
    Inventors: Dina IROFTI, Paul DUBRULLE
  • Publication number: 20210279393
    Abstract: 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) co
    Type: Application
    Filed: August 30, 2019
    Publication date: September 9, 2021
    Applicant: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
    Inventors: Paul DUBRULLE, Stephane LOUISE, Christophe GASTON, Nikolay KOSMATOV, Mathieu JAN, Arnault LAPITRE
  • Patent number: 10394729
    Abstract: 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: Grant
    Filed: September 22, 2015
    Date of Patent: August 27, 2019
    Assignee: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
    Inventors: Paul Dubrulle, Thierry Goubier, Stéphane Louise
  • Publication number: 20170308489
    Abstract: 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: Application
    Filed: September 22, 2015
    Publication date: October 26, 2017
    Inventors: Paul DUBRULLE, Thierry GOUBIER, Stéphane LOUISE