- 专利标题: Method for validating a data flow system
-
申请号: US17434242申请日: 2020-02-26
-
公开(公告)号: US12056507B2公开(公告)日: 2024-08-06
- 发明人: Dina Irofti , Paul Dubrulle
- 申请人: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
- 申请人地址: FR Paris
- 专利权人: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
- 当前专利权人: COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
- 当前专利权人地址: FR Paris
- 代理机构: Oblon, McClelland, Maier & Neustadt, L.L.P.
- 优先权: FR 02028 2019.02.27
- 国际申请: PCT/FR2020/050377 2020.02.26
- 国际公布: WO2020/174186A 2020.09.03
- 进入国家日期: 2021-08-26
- 主分类号: G06F9/44
- IPC分类号: G06F9/44 ; G06F8/41 ; G06F9/448 ; G06F9/54 ; G06F16/901
摘要:
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.
公开/授权文献
- US20220147372A1 METHOD FOR VALIDATING A DATA FLOW SYSTEM 公开/授权日:2022-05-12
信息查询