Patents by Inventor Thomas GLAESSER

Thomas GLAESSER 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: 10552190
    Abstract: A method is provided for verifying functional correctness of a device driver for a controller hardware component being emulated in an emulation environment including a virtual processor. The method includes providing a communication device in the emulation environment. The communication device receives at least one execution condition and an error injection command from a communication device driver associated with the communication device. The controller hardware component executes device operation commands received from the device driver. Based on the communication device determining that the at least one execution condition is fulfilled while the device operation commands are executed, the method provides for the communication device to: halt the operation of the virtual processor; inject an error into the controller hardware component by executing the error injection command; and resume the operation of the virtual processor.
    Type: Grant
    Filed: January 16, 2017
    Date of Patent: February 4, 2020
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Herwig Elfering, Thomas Glaesser, Karlo Petri, Bernd Simmet
  • Publication number: 20180203713
    Abstract: A method is provided for verifying functional correctness of a device driver for a controller hardware component being emulated in an emulation environment including a virtual processor. The method includes providing a communication device in the emulation environment. The communication device receives at least one execution condition and an error injection command from a communication device driver associated with the communication device. The controller hardware component executes device operation commands received from the device driver. Based on the communication device determining that the at least one execution condition is fulfilled while the device operation commands are executed, the method provides for the communication device to: halt the operation of the virtual processor; inject an error into the controller hardware component by executing the error injection command; and resume the operation of the virtual processor.
    Type: Application
    Filed: January 16, 2017
    Publication date: July 19, 2018
    Inventors: Herwig ELFERING, Thomas GLAESSER, Karlo PETRI, Bernd SIMMET