Patents by Inventor Martinez Michel

Martinez Michel 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).

  • Method and device for protecting the execution of linear sequences of commands performed by a processor
    Patent number: 5701315
    Abstract: A method for detecting errors in a linear sequence of commands executed by a processor and stored in a memory at a predetermined start address, comprises the association of each word in the sequence to a bit of the start address. Before storing each sequence word into the memory, the method determines the value of an unused bit of the word so that the value of the associated bit of the start address will be equal to the result of a predetermined function applied to the bits of the word. When reading a sequence word in said memory, the method compares the result of said function applied to the bits of the word read, with the value of the associated bit of the start address, and transmits an error signal if a difference is detected.
    Type: Grant
    Filed: July 19, 1995
    Date of Patent: December 23, 1997
    Assignee: Sextant Avionique
    Inventors: Christian Pitot, Martinez Michel