公开(公告)号：US12056507B2

公开(公告)日：2024-08-06

申请号：US17434242

申请日：2020-02-26

申请人： COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES

发明人： Dina Irofti ,  Paul Dubrulle

IPC分类号： G06F9/44 ,  G06F8/41 ,  G06F9/448 ,  G06F9/54 ,  G06F16/901

CPC分类号： G06F9/4494 ,  G06F8/433 ,  G06F9/54 ,  G06F16/9024

摘要： 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.

公开(公告)号：US11902370B2

公开(公告)日：2024-02-13

申请号：US17777273

申请日：2020-11-26

申请人： COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES

发明人： Hana Krichene ,  Paul Dubrulle

IPC分类号： G06F15/167 ,  H04L67/1097 ,  G06F16/22 ,  H04L43/0852 ,  H04L69/18

CPC分类号： H04L67/1097 ,  G06F16/22 ,  H04L43/0858 ,  H04L69/18

摘要： A shared data management system configured to receive frames comprising data from one or more producer devices and to transmit reconstructed frames to one or more consumer devices, a producer device and a consumer device being connected to the shared data management system by way of a communication network using a communication protocol. The shared data management system comprises a memory system having one or more memories. The shared data management system advantageously comprises a central controller configured to store at least some of the data encapsulated in a frame received from a producer device in a target memory area of the memory system, the central controller being configured to compute, for each datum to be stored, the address of the target memory based on an index associated with the datum in the received frame.

公开(公告)号：US11610041B2

公开(公告)日：2023-03-21

申请号：US17271964

申请日：2019-08-30

申请人： COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES

发明人： Paul Dubrulle ,  Stephane Louise ,  Christophe Gaston ,  Nikolay Kosmatov ,  Mathieu Jan ,  Arnault Lapitre

IPC分类号： G06F30/347 ,  G06F30/3308 ,  G06F17/16 ,  G06F111/04 ,  G06F111/10 ,  G06F113/02

摘要： 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) configured to verify the conformity of the behaviour of an implementation of the system with respect to the configured instance.

公开(公告)号：US10394729B2

公开(公告)日：2019-08-27

申请号：US15509836

申请日：2015-09-22

申请人： COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES

发明人： Paul Dubrulle ,  Thierry Goubier ,  Stéphane Louise

IPC分类号： G06F9/455 ,  G06F9/52 ,  G06F11/16 ,  G06F11/34 ,  G06F1/10 ,  G06F13/24 ,  G06F17/50 ,  G06F15/82 ,  G06F9/48 ,  G06F8/40 ,  G06F8/35 ,  G06F8/41

摘要： 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.