Patents by Inventor Christian Bregaint

Christian Bregaint 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: 7743351
    Abstract: The invention provides a system and a method for verifying the robustness of a model of a physical system, the method comprising the following steps: defining a first model of the physical system comprising a set of components and at least one input interface for inserting input values, said first model being defined in a formal language describing the behavior and the function of each of said components; defining in the formal language a determined property that must be satisfied by the model of the physical system; defining in the formal language a second model corresponding to the first model and enriched by a fault injection mechanism; and using formal proof means to search automatically for a combination of injected faults and/or input values that causes said determined property to fail.
    Type: Grant
    Filed: May 5, 2005
    Date of Patent: June 22, 2010
    Assignee: Hispano Suiza
    Inventors: Hugues Granier, Christian Bregaint, Philippe Tonnelier, Marc Croix Marie
  • Patent number: 7078886
    Abstract: In order to enable the information contained in an identification connector to be read in a manner that is more reliable, faster, and without risk of damage, the invention provides a reader appliance for reading identification connectors for airplane engines, the connector comprising a plurality of contacts connected to a decoding circuit, each contact corresponding to a binary digit, one or more of the binary digits corresponding to information relating to characteristics of the engine. The reader appliance comprises connection means suitable for receiving at least one identification connector, the connection means being connected to processor means responding to control members in order to display on a display device the information contained in the connector.
    Type: Grant
    Filed: October 20, 2003
    Date of Patent: July 18, 2006
    Assignees: Hispano-Suiza, SNECMA Services
    Inventors: Christian Bregaint, Patrice Cheminot, Jean-Marc Druesne, Roger Menguy
  • Publication number: 20050262457
    Abstract: The invention provides a system and a method for verifying the robustness of a model of a physical system, the method comprising the following steps: defining a first model of the physical system comprising a set of components and at least one input interface for inserting input values, said first model being defined in a formal language describing the behavior and the function of each of said components; defining in the formal language a determined property that must be satisfied by the model of the physical system; defining in the formal language a second model corresponding to the first model and enriched by a fault injection mechanism; and using formal proof means to search automatically for a combination of injected faults and/or input values that causes said determined property to fail.
    Type: Application
    Filed: May 5, 2005
    Publication date: November 24, 2005
    Applicant: Hispano Suiza
    Inventors: Hugues Granier, Christian Bregaint, Philippe Tonnelier, Marc Croix Marie
  • Publication number: 20040133396
    Abstract: In order to enable the information contained in an identification connector to be read in a manner that is more reliable, faster, and without risk of damage, the invention provides a reader appliance for reading identification connectors for airplane engines, the connector comprising a plurality of contacts connected to a decoding circuit, each contact corresponding to a binary digit, one or more of the binary digits corresponding to information relating to characteristics of the engine. The reader appliance comprises connection means suitable for receiving at least one identification connector, the connection means being connected to processor means responding to control members in order to display on a display device the information contained in the connector.
    Type: Application
    Filed: October 20, 2003
    Publication date: July 8, 2004
    Applicants: HISPANO-SUIZA, SNECMA SERVICES
    Inventors: Christian Bregaint, Patrice Cheminot, Jean-Marc Druesne, Roger Menguy