Muske
Bruce Muske, Burton, TX US
Patent application number | Description | Published |
---|---|---|
20140033817 | LEVEL MEASUREMENT OF PROCESS FLUID USING A REMOTE SEAL - An apparatus is provided for measuring level of a process fluid in a container opening. The apparatus includes a remote seal configured to be inserted into the container through an opening and configured to receive a pressure related to the level of process fluid in the container. A capillary tube filled with a fill fluid extends from the remote seal to the opening and is configured to convey the pressure therebetween. A pressure sensor coupled to the capillary tube senses the pressure from the capillary tube and responsively determines the level of the process fluid in the container. The remote seal includes a bellows portion arranged to isolate the process fluid from the fill fluid in the capillary tube and convey the pressure therebetween. | 02-06-2014 |
Tukaram B. Muske, Pune IN
Patent application number | Description | Published |
---|---|---|
20140244645 | SYSTEM AND METHOD TO PROVIDE GROUPING OF WARNINGS GENERATED DURING STATIC ANALYSIS - The present disclosure generally relates to warnings generated based on static analysis and, more particularly, to grouping warnings generated based on static analysis. In one embodiment, a method for grouping a plurality of warnings generated based on a static analysis of an application program is provided. The method may include analyzing, by one or more processors using programmed instructions stored in a memory, the application program to generate the plurality of warnings; identifying, by the one or more processors, one or more similar warnings based on the plurality of warnings, the similar warnings having structurally and semantically similar expressions of interest (EOI); and generating, by the one or more processors, one or more groups of warnings based on the plurality of warnings, the one or more groups of warning including one or more of corresponding identified similar warnings. | 08-28-2014 |
20150052504 | METHOD AND SYSTEM FOR VERIFYING SLEEP WAKEUP PROTOCOL BY COMPUTING STATE TRANSITION PATHS - Disclosed are a method and a system for facilitating verification of program code implementing Sleep Wakeup protocol for a microcontroller. An input handling module is configured to receive metadata from user required for verification of the program code. Identification module is configured to identify abstract syntax tree (AST) nodes corresponding to each program point in the program code. A computation module is configured to compute an actual interrupt protection status (IPS), task lock status (TLS), path entities and shared variables for each program point in the program code. A path analysis module is configured to determine transition paths between program points specified in the metadata, and are computed in terms of the path entities. Also, review information is computed for each of the path entities comprised in the transition paths. Further, a report generation module is configured to generate a report comprising the review information facilitating the user to verify the program code. | 02-19-2015 |
Tukaram B. Muske, Maharashtra IN
Patent application number | Description | Published |
---|---|---|
20150121345 | SYSTEM AND METHOD TO FACILITATE A USER INTERFACE ENABLED REVIEW OF STATIC ANALYSIS WARNINGS - A system and method for facilitating verification of software code. A first program point is selected, from the software code, indicating static analysis warning to be reviewed. Further, review-assisting information including at least one of a set of modification points and a controlling condition are determined for the user to judge whether the warning generated is safe or unsafe. From the set of modification points, non-useful modification points may be filtered out in order to determine only relevant modification points. After filtering, the system presents the review-assisting information (relevant modification points and controlling conditions) in a systematic manner to the user for facilitating verification of the software code. | 04-30-2015 |
Tukaram B. Muske, Hadapsar Pune IN
Patent application number | Description | Published |
---|---|---|
20160092340 | METHOD AND SYSTEM FOR REVIEWING OF CLUSTERED-CODE ANALYSIS WARNINGS - A system and method for reviewing of warning generated during static analysis of a clustered software code by identifying, common point warnings and unique warnings from warnings associated with a software code, and further identifying, a top of must overlapped function for each of the common point warnings. Generating, one or more groups of the common point warnings based on the top of must overlapped function, and assigning, the top of must overlapped function as a constraint for corresponding group of common point warnings. Eliminating, warnings from each of the one or more groups using a review output wherein the review output is identified by reviewing a common point warning from the one or more group under the constraint such that the review of the common point warning under the constraint satisfy for review of all remaining for reviews of all remaining common point warnings of the group. | 03-31-2016 |