Patents by Inventor Rajeev A C

Rajeev A C 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 Automatic Test-Case Generation for Distributed Embedded Systems
    Publication number: 20110083121
    Abstract: An automatic test-case generation system generates test-cases for validating a test specification for timing constraints, fault tolerances, distributed deadlocks, and synchronization at a system integration level of a distributed system. The automatic test-case generation system includes a model transformer for integrating functional model and platform specification. The functional model relates to an abstract model of at least one controller and the platform specification relates to details of platform components. A test specification transformer integrates platform specification, real-time requirements, and structural coverage criteria for generating an enhanced test specification for testing the distributed system. A requirements transformer integrates real-time requirements and functional requirements for the distributed system.
    Type: Application
    Filed: October 2, 2009
    Publication date: April 7, 2011
    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS, INC.
    Inventors: Manoj G. Dixit, Ambar A. Gadkari, Rajeev A C, Ramesh Sethu, Sathyaraja H. Nandugudi