Abstract: A method for verifying process orchestration logic for a modular plant includes generating a plant execution model representing the process orchestration logic; analyzing the plant execution model to identify one or more potential failure scenarios; and generating one or more test cases based on the one or more identified failure scenarios.

Abstract: This technique improves energy efficiency of MapReduce system by using system performance model without changing any component of the MapReduce system. This involves determining presence of any hardware bottleneck in any node of MapReduce system based on a system performance model and if any hardware bottleneck is present in any node, then the maximum bandwidth value of hardware associated with the bottleneck of each node is determined. Thereafter, an energy efficient value of Central Processing Unit (CPU) frequency of each node having the bottleneck is determined by using the system performance model and the maximum bandwidth value of hardware associated with the bottleneck. Further, the CPU frequency of each node having the bottleneck is set at the energy efficient value determined in the earlier step.

Abstract: A method and system for monitoring health of virtual environment includes receiving input data for one or more virtual machines in the virtual environment. A number of entitled CPU cycles for each of the virtual machines based on the input data are determined. A number of actual CPU cycles obtained by each of the virtual machines based on the input data are computed. The number of entitled CPU cycles is compared with the number of actual CPU cycles for each of the virtual machines. A health status of the virtual machines based on the comparison is displayed.

Abstract: This technique determines the possible Service Level Agreement (SLA) violation during migrating a workload from a physical environment to a virtualized environment and also migrating a virtual machine (VM) from one physical machine to another within a virtualized environment. This technique uses capacity factor, i.e. the ratio of host physical machine (host PM) capacity and target physical machine (target PM) capacity, to determine the service rate change in the target PM compared to host PM and eventually calculates the VM utilization and response time in the target PM. It then checks if the VM utilization and response time in the target PM lies within the SLA limit. It further checks if the migration in the target virtualized PM is violating a predefined target PM utilization threshold or not and finally causes the migration in the target physical machine if all the SLA parameters are satisfied.

Abstract: This technology relates to a device and method for determining co-locatability of a plurality of virtual machines on one or more physical infrastructures. The plurality of virtual machines hosts a plurality of workloads. This involves identifying workloads which have high variability from the time series data and determining the workload capacity threshold of the identified workloads. Thereafter, the candidate workloads are selected among the identified workloads to colocate on a virtual machine based on the workload variability. After that, the total capacity required by each candidate workload pair to meet the service requirement is determined based on the workload capacity threshold. Then, an optimal sharing point of each workload of the pair with respect to the other workload of the pair is identified. Further, percentage compatibility of each workload pair is determined and finally, the candidate workloads are colocated based on the optimal sharing point and percentage compatibility.

Abstract: A method and system for monitoring health of virtual environment includes receiving input data for one or more virtual machines in the virtual environment. A number of entitled CPU cycles for each of the virtual machines based on the input data are determined. A number of actual CPU cycles obtained by each of the virtual machines based on the input data are computed. The number of entitled CPU cycles is compared with the number of actual CPU cycles for each of the virtual machines. A health status of the virtual machines based on the comparison is displayed.

Abstract: This technique improves energy efficiency of MapReduce system by using system performance model without changing any component of the MapReduce system. This involves determining presence of any hardware bottleneck in any node of MapReduce system based on a system performance model and if any hardware bottleneck is present in any node, then the maximum bandwidth value of hardware associated with the bottleneck of each node is determined. Thereafter, an energy efficient value of Central Processing Unit (CPU) frequency of each node having the bottleneck is determined by using the system performance model and the maximum bandwidth value of hardware associated with the bottleneck. Further, the CPU frequency of each node having the bottleneck is set at the energy efficient value determined in the earlier step.

Abstract: The present disclosure includes, in a heterogeneous system, receiving a desired speedup of an application as input and performing a static analysis and a dynamic analysis of the application. The dynamic analysis of the application comprises, identifying a set of parameters including, an end-to-end execution time of the application, an execution time of data parallel loops in the application, an execution time of non-data parallel loops in the application, and an amount of physical memory used by each data structure in each data parallel loop. Dynamic analysis also includes calculating and providing the feasibility of achieving the desired speedup of the application based on the identified set of parameters, and satisfaction of each of, an initialization invariant, a data-parallel invariant and a data transfer invariant.

Abstract: This technique determines the possible Service Level Agreement (SLA) violation during migrating a workload from a physical environment to a virtualized environment and also migrating a virtual machine (VM) from one physical machine to another within a virtualized environment. This technique uses capacity factor, i.e. the ratio of host physical machine (host PM) capacity and target physical machine (target PM) capacity, to determine the service rate change in the target PM compared to host PM and eventually calculates the VM utilization and response time in the target PM. It then checks if the VM utilization and response time in the target PM lies within the SLA limit. It further checks if the migration in the target virtualized PM is violating a predefined target PM utilization threshold or not and finally causes the migration in the target physical machine if all the SLA parameters are satisfied.

Abstract: The present invention relates to a computer-implemented method, system and computer readable medium for providing a scalable bio-informatics sequence search on cloud. The method comprises the steps of partitioning a genome data into a plurality of datasets and storing the plurality of data sets in a database. Receiving at least one sequence search request input and searching for a genome sequence in the database corresponding to the search request input and scaling of the sequence search based on the sequence search request input.

Abstract: A system and computer-implemented method for generating an optimized allocation of a plurality of tasks across a plurality of processors or slots for processing or execution in a distributed computing environment. In a cloud computing environment implementing a MapReduce framework, the system and computer-implemented method may be used to schedule map or reduce tasks to processors or slots on the network such that the tasks are matched to processors or slots in a data locality aware fashion wherein the suitability of node and the characteristics of the task are accounted for using a minimum cost flow function.

Abstract: The present disclosure includes, in a heterogeneous system, receiving a desired speedup of an application as input and performing a static analysis and a dynamic analysis of the application. The dynamic analysis of the application comprises, identifying a set of parameters including, an end-to-end execution time of the application, an execution time of data parallel loops in the application, an execution time of non-data parallel loops in the application, and an amount of physical memory used by each data structure in each data parallel loop. Dynamic analysis also includes calculating and providing the feasibility of achieving the desired speedup of the application based on the identified set of parameters, and satisfaction of each of, an initialization invariant, a data-parallel invariant and a data transfer invariant.

Abstract: A design assistant tool may automatically generate a functional design diagram representative of a system based on a processed requirements specification including a plurality of processed requirement statements and use cases. The design assistant tool may apply heuristic rules to the processed requirement statements and/or the processed use cases to determine various components of a functional design diagram. The design assistant tool may generate a technical design module based on the functional design diagram. The design assistant tool may allow various aspects of the functional design diagram to be modified to generate the technical design diagram.

Abstract: This technology relates to a device and method for determining co-locatability of a plurality of virtual machines on one or more physical infrastructures. The plurality of virtual machines hosts a plurality of workloads. This involves identifying workloads which have high variability from the time series data and determining the workload capacity threshold of the identified workloads. Thereafter, the candidate workloads are selected among the identified workloads to colocate on a virtual machine based on the workload variability. After that, the total capacity required by each candidate workload pair to meet the service requirement is determined based on the workload capacity threshold. Then, an optimal sharing point of each workload of the pair with respect to the other workload of the pair is identified. Further, percentage compatibility of each workload pair is determined and finally, the candidate workloads are colocated based on the optimal sharing point and percentage compatibility.

Abstract: Evaluation and enforcement of software design quality, in which a system applies design quality rules to a design of a software application to detect violations and provides output describing one or more violations of the design quality rules detected. Based on the output, the system receives user input to address the one or more violations of the design quality rules and, subsequent to receiving the user input, evaluates code developed for the software application for violations of the design quality rules to assess quality of the code being developed for the software application based on the design of the software application.

Abstract: Quality of modularization of source code is tested using different perspectives such as a structural modularity perspective, an architectural modularity perspective, a size perspective, and a similarity of purpose perspective. A history of changes in modularization may be kept such that the degree to which given source code is well-modularized can be determined over time. The changes made to the code by individual programmers may be kept, such that the degree to which their coding enhanced or harmed modularization may be tracked.

Abstract: A textual analysis system is configured to compare textual content of textual statements. The textual analysis system is configured to score the textual content of a first textual statement and a second textual statement. Based on the score, the textual analysis system may determine a level of correspondence between the first textual statement and the second textual statement. The textual analysis system is configured to generate an interactive visual representation of the correspondence levels between the first statement and the second statement. The visual representation may be transmitted to a display.

Abstract: The present invention relates to a computer-implemented method, system and computer readable medium for providing a scalable bio-informatics sequence search on cloud. The method comprises the steps of partitioning a genome data into a plurality of datasets and storing the plurality of data sets in a database. Receiving at least one sequence search request input and searching for a genome sequence in the database corresponding to the search request input and scaling of the sequence search based on the sequence search request input.

Abstract: A powerful set of features can assist software developers in searching source code. Source code can be queried to find occurrences of source code elements mapped to domain concepts appearing in an ontology. Queries can specify a search for occurrences of particular operations performed on domain concepts within the source code. Query expansion can be used to locate related domain concepts as indicated in the ontology. Query keyword weighting can be used to emphasize one domain concept over another. Tools can be provided to create the ontology and associate the ontology with the elements appearing in the source code. Results can include user interface features assisting in navigation to a location within the source code associated with the query results.

Abstract: A system and method for improving modularity of a software source code is provided. The system comprises of a user interface for receiving source code; a source code model extractor for parsing and forming a model of the source code; a source code model database for storing the source code model, refactoring operators, and a record of refactoring changes; a modularity improvement analyzer for reading the source code model and modularity problem diagnosis data and generating a set of prescriptions; an optimal improvement suggestion selector for evaluating and selecting prescriptions; and a refactoring engine for receiving selected prescriptions and applying them on the source code.