logo

For the Inventor, By the Inventor

The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 11610041 B1

PDFFull Text
Date of Patent:
Mar. 21, 2023

Filed:

Aug. 30, 2019

Tool and method for designing and validating a data flow system by a formal model

Applicant:

Commissariat a L'energie Atomique ET Aux Energies Alternatives, Paris, FR;

Inventors:

Paul Dubrulle, Paris, FR;

Stephane Louise, Orsay, FR;

Christophe Gaston, Montlhery, FR;

Nikolay Kosmatov, Saint-Cyr-l'Ecole, FR;

Mathieu Jan, Paris, FR;

Arnault Lapitre, Bourg la Reine, FR;

Assignee:

COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES, Paris, FR;

Attorney:

Oblon, McClelland, Maier & Neustadt, L.L.P.

Primary Examiner:

Bryce M Aisaka

Int. Cl.
CPC ...
G06F 30/347 (2020.01); G06F 30/3308 (2020.01); G06F 17/16 (2006.01); G06F 111/04 (2020.01); G06F 111/10 (2020.01); G06F 113/02 (2020.01);
U.S. Cl.
CPC ...
G06F 30/347 (2020.01); G06F 17/16 (2013.01); G06F 30/3308 (2020.01); G06F 2111/04 (2020.01); G06F 2111/10 (2020.01); G06F 2113/02 (2020.01);
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 (a, a) interconnected with each other by unidirectional communication channels (c, c), the tool comprising: —a modelling interface () 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 () configured to prove a predetermined set of behavioral properties of the system by means of a static analysis of the instance, —a refinement interface () 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 () configured to verify the conformity of the behaviour of an implementation of the system with respect to the configured instance.

Find Patent Forward Citations

Loading…