Patents by Inventor Alex Rozenman

Alex Rozenman 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).

  • Non-intrusive software verification
    Patent number: 9898388
    Abstract: This application discloses a computing system configured to simulate an embedded system including a processor capable of executing embedded software, compile the embedded software into a format capable of execution by the computing system, insert instrumentation code into the compiled embedded software, and execute the compiled embedded software and the instrumentation code. The execution of the compiled embedded software can simulate execution of the embedded software by the processor in the simulated embedded system, while the execution of the instrumentation code can configure the computing system to gather information corresponding to the execution of the compiled embedded software.
    Type: Grant
    Filed: May 26, 2015
    Date of Patent: February 20, 2018
    Assignee: Mentor Graphics Corporation
    Inventors: Alex Rozenman, Vladimir Pilko
  • NON-INTRUSIVE SOFTWARE VERIFICATION
    Publication number: 20150339214
    Abstract: This application discloses a computing system configured to simulate an embedded system including a processor capable of executing embedded software, compile the embedded software into a format capable of execution by the computing system, insert instrumentation code into the compiled embedded software, and execute the compiled embedded software and the instrumentation code. The execution of the compiled embedded software can simulate execution of the embedded software by the processor in the simulated embedded system, while the execution of the instrumentation code can configure the computing system to gather information corresponding to the execution of the compiled embedded software.
    Type: Application
    Filed: May 26, 2015
    Publication date: November 26, 2015
    Inventors: Alex Rozenman, Vladimir Pilko