Patents by Inventor David Mentre
David Mentre 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: 20240103479Abstract: The present invention is related to a method for checking correctness of a PLC program described by functional specifications typically presented as a timing chart. The method comprises: —S1: translating the PLC program into a model, —S2: translating the timing chart and integrating said timing chart into the model, —S3: computing abstract semantics, to infer information eventually missing in the timing chart, —S4: predicating transformation, and deducing properties to be verified, from the model and from predefined PLC formalized instructions, in order to satisfy timing chart verification, —S5: solving and checking whether said properties are always verified, or providing counter-examples, —S6: translating said counter-examples into PLC model errors events initial configurations, —S7: simulating execution, —S8: assembling states and events executions variables values, and —S9: translating back to PLC program.Type: ApplicationFiled: December 14, 2021Publication date: March 28, 2024Applicant: Mitsubishi Electric CorporationInventors: Denis COUSINEAU, Florian FAISSOLE, David MENTRE, Hiroaki INOUE
-
Patent number: 11755463Abstract: A method (100) to generate test suite for a source-code (1). The method comprises: a) implementing a structural analysis (101) of said source-code (1) to obtain a completed source-code (1) including: —parsing the source-code, —addition of annotations defining tests objectives, —generation of stubs; b) implementing at least one semantic analysis algorithm including categorizing each set of tests objectives as satisfied, impossible to satisfy or unsatisfied; c) feeding a first list (11) with satisfied test cases; d) feeding a second list (21) with test objectives impossible to satisfy, e) implementing at least one mathematical optimization algorithm (103) on parts corresponding to unsatisfied test objectives; —identifying test cases (113) that satisfy at least a part of said test objectives, —feeding said first list of set of test cases with them, —categorizing said test objectives as satisfied; f) providing a test suite comprising the two lists.Type: GrantFiled: March 7, 2019Date of Patent: September 12, 2023Assignee: MITSUBISHI ELECTRIC CORPORATIONInventors: David Mentre, Denis Cousineau, Eric Lavillonniere
-
Publication number: 20200379888Abstract: A method (100) to generate test suite for a source-code (1). The method comprises: a) implementing a structural analysis (101) of said source-code (1) to obtain a completed source-code (1) including: —parsing the source-code, —addition of annotations defining tests objectives, —generation of stubs; b) implementing at least one semantic analysis algorithm including categorizing each set of tests objectives as satisfied, impossible to satisfy or unsatisfied; c) feeding a first list (11) with satisfied test cases; d) feeding a second list (21) with test objectives impossible to satisfy, e) implementing at least one mathematical optimization algorithm (103) on parts corresponding to unsatisfied test objectives; —identifying test cases (113) that satisfy at least a part of said test objectives, —feeding said first list of set of test cases with them, —categorizing said test objectives as satisfied; f) providing a test suite comprising the two lists.Type: ApplicationFiled: March 7, 2019Publication date: December 3, 2020Applicant: MITSUBISHI ELECTRIC CORPORATIONInventors: David MENTRE, Denis COUSINEAU, Eric LAVILLONNIERE
-
Patent number: 8155108Abstract: A method for submitting a TCP segment stream to a in-line content analysis comprises: receiving from a TCP emitter a first TCP data segments stream corresponding to a given TCP connection between the TCP emitter and a TCP receiver; extracting and re-assembling a first byte stream from the TCP segment stream; passing a second byte stream, which is derived from the first byte stream, to a content analyser (200) adapted to perform a content analysis on the second byte stream; relaying to the TCP receiver a second TCP data segment stream with a byte stream content totally consistent with the byte stream passed to the content analyser. In order to keep the device (100) that implements the method as stealthy as possible, the second TCP data segment stream has the same number of data segments as the first TCP data segment stream, all segments in the second TCP data segment stream being of same size and having the same header as corresponding segments in the first TCP data segment stream.Type: GrantFiled: June 11, 2007Date of Patent: April 10, 2012Assignee: Mitsubishi Denki Kabushiki KaishaInventors: Christophe Mangin, Romain Rollet, David Mentre
-
Patent number: 8060593Abstract: A method of managing the allocation to TCP connections of memory blocks of a TCP re-assembly buffer in a TCP network device including a TCP Processing unit, comprises computing a function r(t) on a per connection basis, that measures the occupancy rate of the re-assembly buffer for the relevant TCP connection, and that is updated upon reception of any packet belonging to said TCP connection; and allowing the TCP connection to be closed and the corresponding memory blocks to be released based on a decision scheme that includes at least a first trigger set on the corresponding function r(t), which defines two different states for said function r(t).Type: GrantFiled: October 10, 2007Date of Patent: November 15, 2011Assignee: Mitsubishi Electric CorporationInventors: Christophe Mangin, Romain Rollet, David Mentre
-
Publication number: 20080256247Abstract: A method of managing the allocation to TCP connections of memory blocks of a TCP re-assembly buffer in a TCP network device including a TCP Processing unit, comprises computing a function r(t) on a per connection basis, that measures the occupancy rate of the re-assembly buffer for the relevant TCP connection, and that is updated upon reception of any packet belonging to said TCP connection; and allowing the TCP connection to be closed and the corresponding memory blocks to be released based on a decision scheme that includes at least a first trigger set on the corresponding function r(t), which defines two different states for said function r(t).Type: ApplicationFiled: October 10, 2007Publication date: October 16, 2008Applicant: MITSUBISHI ELECTRIC CORPORATIONInventors: Christophe Mangin, Romain Rollet, David Mentre
-
Publication number: 20070291662Abstract: A method for submitting a TCP segment stream to a in-line content analysis comprises: receiving from a TCP emitter a first TCP data segments stream corresponding to a given TCP connection between the TCP emitter and a TCP receiver; extracting and re-assembling a first byte stream from the TCP segment stream; passing a second byte stream, which is derived from the first byte stream, to a content analyser (200) adapted to perform a content analysis on the second byte stream; relaying to the TCP receiver a second TCP data segment stream with a byte stream content totally consistent with the byte stream passed to the content analyser. In order to keep the device (100) that implements the method as stealthy as possible, the second TCP data segment stream has the same number of data segments as the first TCP data segment stream, all segments in the second TCP data segment stream being of same size and having the same header as corresponding segments in the first TCP data segment stream.Type: ApplicationFiled: June 11, 2007Publication date: December 20, 2007Applicant: MITSUBISHI ELECTRIC CORPORATIONInventors: Christophe Mangin, Romain Rollet, David Mentre