Patents by Inventor Matthew Edward Tan CRETI

Matthew Edward Tan CRETI 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).

  • Debugging non-deterministic embedded systems
    Patent number: 10007592
    Abstract: An embedded device includes a processor executing instructions from module(s) in a code memory. The instructions specify: reading data from two non-deterministic registers (NDRs) of different types, compressing the data using respective, different compression algorithms, and storing the compressed data in a nonvolatile medium. A method of enabling debug tracing in a computer program product (CPP) includes locating instructions in the CPP that read NDRs, determining types of the NDRs, and adding instruction(s) to the CPP to compress the values read using compression algorithms corresponding to the respective NDR types. An emulator in a computer-readable medium receives emulation-target instructions (ETIs) and compressed NDR data, and emulates an execution sequence of the ETIs by determining NDR-reading instructions, determining a type of the NDR read by each, decompressing a portion of the NDR data using a type-specific decompressor, and updating emulated-machine state based on the decompressed portion.
    Type: Grant
    Filed: October 3, 2014
    Date of Patent: June 26, 2018
    Assignee: Purdue Research Foundation
    Inventors: Saurabh Bagchi, Matthew Edward Tan Creti, Vinaitheerthan Sundaram, Patrick Eugster
  • DEBUGGING NON-DETERMINISTIC EMBEDDED SYSTEMS
    Publication number: 20160314055
    Abstract: An embedded device includes a processor executing instructions from module(s) in a code memory. The instructions specify: reading data from two non-deterministic registers (NDRs) of different types, compressing the data using respective, different compression algorithms, and storing the compressed data in a nonvolatile medium. A method of enabling debug tracing in a computer program product (CPP) includes locating instructions in the CPP that read NDRs, determining types of the NDRs, and adding instruction(s) to the CPP to compress the values read using compression algorithms corresponding to the respective NDR types. An emulator in a computer-readable medium receives emulation-target instructions (ETIs) and compressed NDR data, and emulates an execution sequence of the ETIs by determining NDR-reading instructions, determining a type of the NDR read by each, decompressing a portion of the NDR data using a type-specific decompressor, and updating emulated-machine state based on the decompressed portion.
    Type: Application
    Filed: October 3, 2014
    Publication date: October 27, 2016
    Inventors: Saurabh BAGCHI, Matthew Edward Tan CRETI, Vinaitheerthan SUNDARAM, Patrick EUGSTER