Patents by Inventor Michael Lamana

Michael Lamana 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: 8250535
    Abstract: A mechanism for maintaining configuration or other vital data outside of source code is disclosed. In accordance with the illustrative embodiment of the present invention, a data manager software component serves as an interface between an external configuration data store and one or more applications, processes, and threads. In contrast with techniques of the prior art, the illustrative embodiment does not suffer from the risk of undetected corruption of vital data, and therefore is especially advantageous in safety-critical systems.
    Type: Grant
    Filed: September 9, 2008
    Date of Patent: August 21, 2012
    Assignee: Lockheed Martin Corporation
    Inventors: Robert B. Groves, Richard A. Allshouse, Michael Lamana
  • Publication number: 20100125830
    Abstract: A method and apparatus for preventing inadvertent execution of a segment of computer code is contemplated. One or more allowed executors are associated with each code segment. Each code segment is adapted to autonomously compare an originating code segment to each of the allowed executors to determine if it has been appropriately invoked. When a match is found execution will be allowed to continue, however, when a match is not found the code segment will take appropriate action such as blocking continued execution. In this way inadvertent execution of the code segment is prevented.
    Type: Application
    Filed: November 20, 2008
    Publication date: May 20, 2010
    Applicant: Lockheed Martin Corporation
    Inventor: Michael A. Lamana
  • Publication number: 20100094816
    Abstract: Methods for detecting the corruption of vital data during the execution of object-oriented programs are disclosed. In accordance with the illustrative embodiments, code is generated at run-time for computing a checksum of vital data in an object, and the code is inserted into the object. When the object is created, this code is executed to compute an initial checksum, and subsequently the code re-computes the checksum during program execution so that a change in the checksum—and inferentially, a change in one or more vital data—can be detected. The checksum is subsequently re-computed during program execution—either periodically, or in response to events such as when the object is modified or when a method of the object is invoked.
    Type: Application
    Filed: September 9, 2008
    Publication date: April 15, 2010
    Applicant: LOCKHEED MARTIN CORPORATION
    Inventors: Robert B. Groves, JR., Michael Lamana, Richard A. Allshouse
  • Publication number: 20100064294
    Abstract: A mechanism for maintaining configuration or other vital data outside of source code is disclosed. In accordance with the illustrative embodiment of the present invention, a data manager software component serves as an interface between an external configuration data store and one or more applications, processes, and threads. In contrast with techniques of the prior art, the illustrative embodiment does not suffer from the risk of undetected corruption of vital data, and therefore is especially advantageous in safety-critical systems.
    Type: Application
    Filed: September 9, 2008
    Publication date: March 11, 2010
    Applicant: LOCKHEED MARTIN CORPORATION
    Inventors: Robert B. Groves, JR., Richard A. Allshouse, Michael Lamana