Patents by Inventor David F. Leskowicz

David F. Leskowicz 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 system for the development of high-assurance computing elements
    Patent number: 8726241
    Abstract: The present invention is a methodology for developing high-assurance computing elements. The method may comprise one or more of the following steps: (a) receiving a plurality of requirements detailing intended behavior of a high-assurance computing elements; (b) creating a model based on the requirements; (c) generating higher order language (HOL) code based on the model; (d) simulating the behavior of the computing elements from the HOL code; (e) generating test cases based on the model; (f) translating the model into a verification tool-specific format; and (g) formally verifying the model using a verification tool.
    Type: Grant
    Filed: June 6, 2007
    Date of Patent: May 13, 2014
    Assignee: Rockwell Collins, Inc.
    Inventors: Philippe M. T. Limondin, T. Douglas Hiratzka, John J. Mettenburg, David F. Leskowicz, Michael W. Whalen