EP 3827368 A1 20210602 - TOOL AND METHOD FOR DESIGNING AND VALIDATING A DATA FLOW SYSTEM BY A FORMAL MODEL
Title (en)
TOOL AND METHOD FOR DESIGNING AND VALIDATING A DATA FLOW SYSTEM BY A FORMAL MODEL
Title (de)
WERKZEUG UND VERFAHREN ZUM ENTWERFEN UND VALIDIEREN EINES DATENFLUSSSYSTEMS DURCH EIN FORMALES MODELL
Title (fr)
OUTIL ET PROCÉDÉ DE CONCEPTION ET DE VALIDATION D'UN SYSTÈME FLOTS DE DONNÉES PAR UN MODÈLE FORMEL
Publication
Application
Priority
- FR 1857849 A 20180831
- FR 2019052008 W 20190830
Abstract (en)
[origin: WO2020043999A1] 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.
IPC 8 full level
G06F 30/00 (2020.01)
CPC (source: EP US)
G06F 17/16 (2013.01 - US); G06F 30/00 (2020.01 - EP); G06F 30/15 (2020.01 - EP); G06F 30/3308 (2020.01 - US); G06F 30/347 (2020.01 - US); G06F 2111/04 (2020.01 - US); G06F 2111/10 (2020.01 - US); G06F 2113/02 (2020.01 - US); G06Q 10/06313 (2013.01 - EP)
Designated contracting state (EPC)
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
Designated extension state (EPC)
BA ME
DOCDB simple family (publication)
WO 2020043999 A1 20200305; EP 3827368 A1 20210602; FR 3085513 A1 20200306; FR 3085513 B1 20240628; JP 2021535492 A 20211216; JP 7463346 B2 20240408; US 11610041 B2 20230321; US 2021279393 A1 20210909
DOCDB simple family (application)
FR 2019052008 W 20190830; EP 19774160 A 20190830; FR 1857849 A 20180831; JP 2021510638 A 20190830; US 201917271964 A 20190830