Tata Consultancy Services Limited

Venkatesh Ramanathan

Ulka Shrotri

Priyanka Darke

Rajesh Jayaprakash

Srinarayana Nagarathinam

Shrawan Singh Kumar

Supriya Agrawal

Sagar Kumar Verma

Anand Sivasubramaniam

Amey Zare

Ramasubramanian Suriyanarayanan

Advaita Datar

Asia Akhtar

Tanha Shah

Tukaram Bhagwat Muske

Bharti Chimdyalwar

Anushri Jana

Suresh Bhaskaramurthy

Vijay Suman Pasupuleti

Sakshi Agrawal

Aabriti Dutta

Punyakoti Sathish

Kannan Dhanasekaran

Prasad Bokil

Shrotri Ulka

Darke Priyanka

Bokil Prasad

Ravindra Metta

Avriti Chauhan

Punit Shah

Mohammad Afzal

Sagarkumar Verma

Advaita Abhijit Datar

Ulka Aniruddha Shrotri

HVAC control system's supervisory control is crucial for energy-efficient thermal comfort in buildings. The control logic is usually specified as 'if-then-that-else' rules that capture the domain expertise of HVAC operators, but they often have conflict that may lead to sub-optimal HVAC performance. Embodiments of the present disclosure provide a method and system for optimized Heating, ventilation, and air-conditioning (HVAC) control using domain knowledge combined with Deep Reinforcement Learning (DRL). The system disclosed utilizes Deep Reinforcement Learning (DRL) for conflict resolution in a HVAC control in combination with domain knowledge in form of control logic. The domain knowledge is predefined in an Expressive Decision Tables (EDT) engine via a formal requirement specifier consumable by the EDT engine to capture domain knowledge of a building for the HVAC control.

Optimized HVAC control using domain knowledge combined with deep reinforcement learning (DRL)

This disclosure relates generally to the field of program slicing, and, more particularly, to a method and system for function call and variable access based relaxed backward slicing. The method discloses a slicing criterion which focuses only on functions called from an entry function. The slicing criteria uses control and data flow information to slice the given entry function with respect to functions called from the body of the entry function and eventually remove all functions not called directly or indirectly from the entry function. The variables modified by calls in the entry function are considered through side-effect while identifying control and data dependence chain within body of entry function. The proposed technique identifies partitions of functions based on the variables accessible in and functions called from the entry function. Thus, unrelated sets of functions with respect to the entry function are computed and divided into different partitions.

Method and system for function call and variable access based relaxed backward slicing

The present invention generally relates to the field of automated functional testing, and, more particularly, to a method and system for validation of calculation code against calculation specification. Currently the validation is done manually which is time consuming and effort intensive. Embodiments of present disclosure provide an automated method of validation by generating a schema from the calculation specification, retrieving data based on the schema, executing the intermediate calculations, and comparing the result with the output from the calculation code. The method requires minimal manual input and is a fast, simple, resilient and low-code/no-code technique that can be extended to support any type of calculation code and calculation specifications with minimal or no change.

Method and system for validation of calculation code against calculation specification

Sub-systems of air handling units in infrastructures face unresolved problem of conflict in the rules that activate in a contradictory manner at the same time resulting in sub-optimal performance of the subsystems. The present disclosure provides a system and method for optimizing performance parameters of air handling units in infrastructures. Rule sets having conflicting conditions are identified after verification of rules which are specific to air handling units. Further, frequency of the rule sets having conflicting conditions is determined to generate a ranked list of the rule sets having conflicting conditions. Another ranking procedure is implemented for the rules comprised in the ranked list of the rule sets having conflicting conditions. The system dynamically optimizes one or more parameters specific to the performance criteria based on the ranking of rules.

Systems and methods for optimizing performance parameters of air handling units in infrastructures

A system and a method for verification of a source code are provided. There as many techniques available that can be used for verification of software codes, however, it is difficult to determine appropriate technique that can be utilized for verification of a given software code. In an embodiment, the system receives a source code encoded with one or more specifications to be verified. A static analysis of the source code is performed to identify program features of the source code. The program features may include, but are not limited to, multiple return paths, loops with an unstructured control flow, loops with arrays, short ranges and numerical loops. Based on the identification of the program features, verification techniques are applied to the source code for the verification. Each verification technique of the one or more verification techniques is applied for a predetermined period of time and in a predefined order.

System and method for software verification

Software verification is a vital process to ensure reliability and robustness of software systems. The software verification is associated with verifying one or more properties associated with a piece of code. Conventional methods are unable to verify properties of piece of code with loops, especially in the presence of loops with a large, unknown or infinite bound, or a large number of complex conditions. The system receives an abstracted piece of code corresponding to an original piece of code to check whether the abstracted piece of code hence the original piece of code is safe or not. The system applies model checking over the abstracted piece of code to check one or more property assertions associated with an abstracted piece of code. If the property assertion fails in model checking, a trace leading to the violation of the one or more property assertions is identified and analyzed.

Method and system for counter example guided loop abstraction refinement

Identifying policy violations for controlling behavior of an Internet of Things (IoT) automation system is provided. Traditional systems and methods provide for controlling IoT based automation system based upon a static analysis of a system model and rules. The embodiments of the proposed disclosure provide for controlling behavior of the IoT automation system by identifying one or more policy violations, wherein the one or more policy violations are identified by generating a plurality of models representing behavior, relationships and functions of one or more sub-systems corresponding to the IoT automation system; extracting a set of modelled rules; constructing, using each of the plurality of models and the set of modelled rules, an integrated model; and identifying, from the integrated model, the one or more policy violations via a Model Verifier Component for controlling behavior of the IoT automation system.

Controlling behavior of an internet of things (IoT) automation system by identifying policy violations

The present disclosure generates a plurality of time bound test cases based on an Artificial Rain Drop (ARD) algorithm. Here, events associated with an event-based system are compiled in a tabular format. Each of the plurality of events are represented as a regular expression. Further, timed finite automaton is constructed for each regular expression prior to applying the ARD algorithm.

Method and system for test case generation for event based systems using graph path traversal

This disclosure relates generally to data structure abstraction, and more particularly to method and system for data structure abstraction for model checking. In one embodiment, the method includes identifying data structure accesses in the source code. Loops are identified in the data structure accesses, and loop-types are identified in the loops. An abstracted code is generated based on the loop types for abstracting the data structure. Abstracting the data structure includes, for each loop, replacing the data structure accesses by one of a corresponding representative element and a non-deterministic value in the loop body of said loop based on elements accessed, and eliminating loop control statement of said loop operating on elements of data structure based on loop type of said loop, and adding a plurality of non-array assignments at a start and after the loop body of the source code. The abstracted code is provided for the model checking.

Data structure abstraction for model checking

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.

System and method for detecting unreachable states in a statemate statechart model

The tool, MC/DC-Automatic Tool Generator automatically generates test data to satisfy Modified Condition Decision Coverage (MCDC) from input code/model. This tool reduces the effort required to generate MCDC test data significantly. In order to reduce the time required by model checkers, abstraction and optimization methodologies have been implemented to analyze typical reactive software model/code.

System and method for automatic generation of test data to satisfy modified condition decision coverage

An automated system and method for test data generation for software testing. The present application relates to management of software testing by generating test data automatically. Further the system and method generate test data automatically with respect to two coverage criteria Boundary Value Coverage (BVC) and Masking Boundary Value Coverage (MBVC) in the white-box setting.

System and method for automatic test data generation for relational testing

A software tool for modeling and generating user windows of a graphical user interface of a software application has a modeling component for creating models of window types and instances thereof, a conversion component for converting model information into ASCII code, a library component for storing reusable code, and a window generation component for generating graphical user interfaces windows. The tool is characterized in that graphical user interface windows are generated in a batch process wherein certain fields shared by the windows are automatically populated with the appropriate application code taken from or inherited from the wintype model.

Growing community of inventors

Pune, India

Venkatesh Ramanathan