Patents by Inventor Peter L. Savage

Peter L. Savage 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).

  • Analyzing an extended finite state machine system model
    Patent number: 6853963
    Abstract: A method of using a computer to analyze an extended finite state machine model of a system includes providing a graphical user interface that presents a table of rows, receiving data in at least one table row, and determining at least one path through the states and transitions of the extended finite state machine model using at least one of the rows in the table.
    Type: Grant
    Filed: May 25, 1999
    Date of Patent: February 8, 2005
    Assignee: Empirix Inc.
    Inventors: Larry Apfelbaum, Peter L. Savage, Mark Trumpler, John D. Doyle, Thomas Lynch, Ramesh Vaswani
  • Analyzing an extended finite state machine system model
    Patent number: 6694290
    Abstract: A method of using a computer to analyze an extended finite state machine model of a system includes receiving at least one requirement expression, determining at least one path of states and transitions through the model, evaluating at least one of the requirement expressions based on at least one of the determined paths through the model to determine whether the path satisfies the requirement expression, and generating a report based on the evaluating.
    Type: Grant
    Filed: May 25, 1999
    Date of Patent: February 17, 2004
    Assignee: Empirix Inc.
    Inventors: Larry Apfelbaum, Peter L. Savage, Katrin Bell
  • Methods and apparatus for accesssing non-relational data files using relational queries
    Patent number: 5379419
    Abstract: A relational data access facility allows relation-type queries to access data stored in non-relational data files by converting relational queries into a set of common commands which are sent to data drivers to obtain the data specified by those queries. The facility uses metadata which describes the organization of the data in the non-relational files, and examines the expressions in the relational queries to formulate an access plan for the data. The plan is formulated to reduce cost and promote efficiency.
    Type: Grant
    Filed: December 7, 1990
    Date of Patent: January 3, 1995
    Assignee: Digital Equipment Corporation
    Inventors: John S. Heffernan, Peter L. Savage, Steven J. Pittman, Ramu V. Sunkara