Patents by Inventor Gregoire Hamon
Gregoire Hamon 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).
-
Patent number: 9665350Abstract: A computer-implemented method includes obtaining a first representation of a system, obtaining a set of test obligations, and automatically generating one or more test cases from the first representation based on the set of test obligations. The method further includes obtaining a second representation that is related to the first representation, obtaining an analysis criterion for the second representation, and assessing the analysis criterion using the one or more test cases applied to the second representation. Based on the assessing, one or more additional test obligations may be identified and a second set of one or more test cases may be generated based on the one or more additional test obligations.Type: GrantFiled: May 29, 2009Date of Patent: May 30, 2017Assignee: The MathWorks, Inc.Inventors: Zsolt Kalmar, Gregoire Hamon, William J Aldrich
-
Patent number: 8903688Abstract: Methods, mediums, and systems are presented herein for evaluating points of observation in a model by validating conditions in the model. A condition is a location in a model which may be either satisfied or unsatisfied by underlying data associated with the condition. Conditions may be placed in an enforced satisfied status or enforced unsatisfied status in order to instruct a verification tool to assume that the condition is satisfied regardless of whether the condition would actually be satisfied by underlying data. A first condition in an enforced satisfied status or an enforced unsatisfied status may be used to determine whether a second condition is satisfied, or whether a second condition satisfiable.Type: GrantFiled: April 1, 2011Date of Patent: December 2, 2014Assignee: The MathWorks, Inc.Inventors: William J. Aldrich, Grégoire Hamon, Anjali Dattatray Joshi
-
Patent number: 8868399Abstract: In an embodiment, a technique for identifying a timer in a graphical block diagram environment. According to the technique, one or more variables associated with an executable model in a graphical diagram environment are identified. One or more characteristics associated with the identified one or more variables are identified and the timer is identified based on the one or more characteristics.Type: GrantFiled: August 3, 2012Date of Patent: October 21, 2014Assignee: The MathWorks, Inc.Inventor: Gregoire Hamon
-
Patent number: 8666709Abstract: A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.Type: GrantFiled: September 12, 2012Date of Patent: March 4, 2014Assignee: The Mathworks, Inc.Inventors: William J. Aldrich, Gregoire Hamon
-
Patent number: 8301423Abstract: A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.Type: GrantFiled: March 30, 2011Date of Patent: October 30, 2012Assignee: The MathWorks, Inc.Inventors: William J. Aldrich, Gregoire Hamon
-
Patent number: 8260602Abstract: In an embodiment, a technique for identifying a timer in a graphical block diagram environment. According to the technique, one or more variables associated with an executable model in a graphical diagram environment are identified. One or more characteristics associated with the identified one or more variables are identified and the timer is identified based on the one or more characteristics.Type: GrantFiled: November 1, 2007Date of Patent: September 4, 2012Assignee: The Math Works, Inc.Inventor: Gregoire Hamon
-
Patent number: 7941299Abstract: A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.Type: GrantFiled: January 8, 2008Date of Patent: May 10, 2011Assignee: The MathWorks, Inc.Inventors: William J. Aldrich, Gregoire Hamon
-
Patent number: 7865339Abstract: The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all of the states reached in previous tests; and slicing the model relative to the current set of coverage targets. The invention provides efficient test case generation and test set formation. Deep regions of the state space can be reached within allotted time and memory. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Stateflow models achieving complete state and transition coverage in a single test case are reported.Type: GrantFiled: July 12, 2004Date of Patent: January 4, 2011Assignee: SRI InternationalInventors: John Rushby, Leonardo Mendonga De Moura, Gregoire Hamon
-
Publication number: 20060010428Abstract: The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all of the states reached in previous tests; and slicing the model relative to the current set of coverage targets. The invention provides efficient test case generation and test set formation. Deep regions of the state space can be reached within allotted time and memory. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Stateflow models achieving complete state and transition coverage in a single test case are reported.Type: ApplicationFiled: July 12, 2004Publication date: January 12, 2006Applicant: SRI INTERNATIONALInventors: John Rushby, Leonardo De Moura, Gregoire Hamon