Patents by Inventor Bernard Steffen

Bernard Steffen 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).

  • Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation
    Patent number: 7668796
    Abstract: Systems, methods and apparatus are provided through which in some embodiments, automata learning algorithms and techniques are implemented to generate a more complete set of scenarios for requirements based programming. More specifically, a CSP-based, syntax-oriented model construction, which requires the support of a theorem prover, is complemented by model extrapolation, via automata learning. This may support the systematic completion of the requirements, the nature of the requirement being partial, which provides focus on the most prominent scenarios. This may generalize requirement skeletons by extrapolation and may indicate by way of automatically generated traces where the requirement specification is too loose and additional information is required.
    Type: Grant
    Filed: September 28, 2006
    Date of Patent: February 23, 2010
    Assignee: The United States of America as represented by the Administrator of the National Aeronautics and Space Administration
    Inventors: Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernard Steffen
  • SYSTEMS, METHODS AND APPARATUS FOR AUTOMATA LEARNING IN GENERATION OF SCENARIO-BASED REQUIREMENTS IN SYSTEM DEVELOPMENT
    Publication number: 20070162410
    Abstract: Systems, methods and apparatus are provided through which in some embodiments, automata learning algorithms and techniques are implemented to generate a more complete set of scenarios for requirements based programming. More specifically, a CSP-based, syntax-oriented model construction, which requires the support of a theorem prover, is complemented by model extrapolation, via automata learning. This may support the systematic completion of the requirements, the nature of the requirement being partial, which provides focus on the most prominent scenarios. This may generalize requirement skeletons by extrapolation and may indicate by way of automatically generated traces where the requirement specification is too loose and additional information is required.
    Type: Application
    Filed: September 28, 2006
    Publication date: July 12, 2007
    Applicant: NASA HQ's.
    Inventors: Michael G. HINCHEY, Tiziana MARGARIA, James L. RASH, Christopher A. ROUFF, Bernard STEFFEN