Patents by Inventor Kuntal Chakraborty

Kuntal Chakraborty 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).

  • Systems and methods for verifying model equivalence
    Patent number: 9063672
    Abstract: Systems and methods for verifying model equivalence are provided. In one implementation, a system includes: a memory device that stores a reference model (RM) and comparison model (CM), wherein the CM and the RM are constrained by a set of rules; and a processing unit that generates a reference model representation (RMR) from the RM and stores the RMR on the memory device; the processing unit further generates a comparison model representation (CMR) from the comparison model (CM) and stores the CMR on the memory device, wherein the processing unit further to: verifies that the CMR compatibly implements the RMR; verifies that a CM data flow diagram derived from the CMR compatibly implements a RM data flow diagram derived from the RMR; and verifies that every CM semantic unit implements a behavior that corresponds to a RM semantic unit and every RM semantic unit is accounted for in the CM.
    Type: Grant
    Filed: July 11, 2011
    Date of Patent: June 23, 2015
    Assignee: Honeywell International Inc.
    Inventors: Gabor Madl, David V. Oglesby, Kuntal Chakraborty, Devesh Bhatt, Stephen Otis Hickman
  • SYSTEMS AND METHODS FOR VERIFYING MODEL EQUIVALENCE
    Publication number: 20130019224
    Abstract: Systems and methods for verifying model equivalence are provided. In one implementation, a system includes: a memory device that stores a reference model (RM) and comparison model (CM), wherein the CM and the RM are constrained by a set of rules; and a processing unit that generates a reference model representation (RMR) from the RM and stores the RMR on the memory device; the processing unit further generates a comparison model representation (CMR) from the comparison model (CM) and stores the CMR on the memory device, wherein the processing unit further to: verifies that the CMR compatibly implements the RMR; verifies that a CM data flow diagram derived from the CMR compatibly implements a RM data flow diagram derived from the RMR; and verifies that every CM semantic unit implements a behavior that corresponds to a RM semantic unit and every RM semantic unit is accounted for in the CM.
    Type: Application
    Filed: July 11, 2011
    Publication date: January 17, 2013
    Applicant: Honeywell International Inc.
    Inventors: Gabor Madl, David V. Oglesby, Kuntal Chakraborty, Devesh Bhatt, Stephen Otis Hickman