Patents by Inventor Ravindra METTA

Ravindra METTA 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).

  • System and method for detecting unreachable states in a statemate statechart model
    Patent number: 8977533
    Abstract: The present invention provides a system and method for detecting unreachable states in a large commercial Statemate Statechart model. A system for checking the reachability of any given state in a Statemate Model, the said system comprises: an input means for receiving an Original Statemate Model (OSM), output means for displaying the result to a user, and a processor, wherein the processor is capable of executing the programmed instructions to: transform the OSM into First Statemate Model (FSM) by using translator; transform the OSM into Second Statemate Model (SSM) based on the determined length of the super step such that the set of all initial configurations of the SSM is a superset of all the stable configurations of the OSM by using translator; check the reachability of states of the OSM in the SSM by using bounded model checker (BMC); and send the result to the output means.
    Type: Grant
    Filed: February 9, 2011
    Date of Patent: March 10, 2015
    Assignee: Tata Consultancy Services Limited
    Inventors: Ulka Shrotri, Venkatesh Ramanathan, Ravindra Metta
  • SYSTEM AND METHOD FOR DETECTING UNREACHABLE STATES IN A STATEMATE STATECHART MODEL
    Publication number: 20120203534
    Abstract: The present invention provides a system and method for detecting unreachable states in a large commercial Statemate Statechart model. A system for checking the reachability of any given state in a Statemate Model, the said system comprises: an input means for receiving an Original Statemate Model (OSM), output means for displaying the result to a user, and a processor, wherein the processor is capable of executing the programmed instructions to: transform the OSM into First Statemate Model (FSM) by using translator; transform the OSM into Second Statemate Model (SSM) based on the determined length of the super step such that the set of all initial configurations of the SSM is a superset of all the stable configurations of the OSM by using translator; check the reachability of states of the OSM in the SSM by using bounded model checker (BMC); and send the result to the output means.
    Type: Application
    Filed: February 9, 2011
    Publication date: August 9, 2012
    Applicant: TATA CONSULTANCY SERVICES LIMITED
    Inventors: Ulka SHROTRI, Venkatesh RAMANATHAN, Ravindra METTA