Patents by Inventor Abhishek Shailesh Shah

Abhishek Shailesh Shah 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).

  • Analysis of real-time software
    Patent number: 11650904
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for performing real-time code analysis. One of the methods includes receiving a request to perform real-time code analysis on source code, wherein the request identifies one or more target source code elements. A plurality of real-time annotation values occurring in the source code for the target source code elements are identified. A call graph is generated for the one or more target source code elements. The call graph is traversed to identify one or more real-time violations, wherein each real-time violation is an instance in the source code that violates one or more real-time safe criteria. An output is provided that identifies one or more of the real-time violations occurring in the source code.
    Type: Grant
    Filed: December 23, 2019
    Date of Patent: May 16, 2023
    Assignee: Intrinsic Innovation LLC
    Inventors: Abhishek Shailesh Shah, Gregory J. Prisament, Michael Beardsworth, Dmytro Hrybenko
  • ANALYSIS OF REAL-TIME SOFTWARE
    Publication number: 20210191840
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for performing real-time code analysis. One of the methods includes receiving a request to perform real-time code analysis on source code, wherein the request identifies one or more target source code elements. A plurality of real-time annotation values occurring in the source code for the target source code elements are identified. A call graph is generated for the one or more target source code elements. The call graph is traversed to identify one or more real-time violations, wherein each real-time violation is an instance in the source code that violates one or more real-time safe criteria. An output is provided that identifies one or more of the real-time violations occurring in the source code.
    Type: Application
    Filed: December 23, 2019
    Publication date: June 24, 2021
    Inventors: Abhishek Shailesh Shah, Gregory J. Prisament, Michael Beardsworth, Dmytro Hrybenko