Patents by Inventor Carol S Smidts

Carol S Smidts 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: 7392509
    Abstract: A method for automatically generating test cases from a domain specific description language specification makes use of the properties of the language to derive domain specific axioms and language specific predicates. These properties are embedded into an extended finite state machine which is in turn supplied to the input of a test case generator. The enhanced extended finite state machine, referred herein as an extended finite state machine accounting for axioms and predicates (EFSMAP) contains states and transitions associated with information on implied behavior of the specified system within a particular problem domain. The implicit behavior, defined by the axiomatic properties of the operators of the domain specific language, provide test capability of the associated system that was not explicitly set forth in the formal specification, but nevertheless should be tested to increase confidence in the reliability of the finished product.
    Type: Grant
    Filed: April 13, 2004
    Date of Patent: June 24, 2008
    Assignee: University of Maryland
    Inventors: Avik Sinha, Carol S. Smidts
  • Patent number: 6820044
    Abstract: A computer readable medium includes one or more sequences of one or more instructions for execution by one or more processors. The instructions when executed by the one or more processors cause the one or more processors to automatically insert common cause basic events into multiple tree structures in a risk model stored in a computer memory. The multiple tree structures are based on a single definition of the common cause failure group. The processors also replace regular basic events within the multiple structures with logigates including all common cause basic events associated with the common cause failure group.
    Type: Grant
    Filed: October 9, 2001
    Date of Patent: November 16, 2004
    Assignee: University of Maryland
    Inventors: Franciscus J. Groen, Carol S. Smidts, Ali Mosleh
  • Publication number: 20030070108
    Abstract: A computer readable medium includes one or more sequences of one or more instructions for execution by one or more processors. The instructions when executed by the one or more processors cause the one or more processors to automatically insert common cause basic events into multiple tree structures in a risk model stored in a computer memory. The multiple tree structures are based on a single definition of the common cause failure group. The processors also replace regular basic events within the multiple structures with logigates including all common cause basic events associated with the common cause failure group.
    Type: Application
    Filed: October 9, 2001
    Publication date: April 10, 2003
    Inventors: Franciscus J. Groen, Carol S. Smidts, Ali Mosleh
  • Patent number: 6223143
    Abstract: A quantitative risk assessment system (QRAS) builds a risk model of a system for which risk of failure is being assessed, then analyzes the risk of the system corresponding to the risk model. The QRAS performs sensitivity analysis of the risk model by altering fundamental components and quantifications built into the risk model, then re-analyzes the risk of the system using the modifications. More particularly, the risk model is built by building a hierarchy, creating a mission timeline, quantifying failure modes, and building/editing event sequence diagrams. Multiplicities, dependencies, and redundancies of the system are included in the risk model. For analysis runs, a fixed baseline is first constructed and stored. This baseline contains the lowest level scenarios, preserved in event tree structure. The analysis runs, at any level of the hierarchy and below, access this baseline for risk quantitative computation as well as ranking of particular risks.
    Type: Grant
    Filed: August 31, 1998
    Date of Patent: April 24, 2001
    Assignee: The United States Government as represented by the Administrator of the National Aeronautics and Space Administration
    Inventors: Robert M Weinstock, Carol S Smidts, Ali Mosleh, Yung-Hsien Chang, Sankaran Swaminathan, Francisco J Groen, Zhibin Tan