Entries |
Document | Title | Date |
20080201129 | SIMULATED COMPUTER SYSTEM FOR MONITORING OF SOFTWARE PERFORMANCE - A system S is defined which is capable of simulating a computer (virtual computer, VC) for the purpose of software performance monitoring. The system is implemented as a set of software modules (SM) that can be exchanged to change the behavior of the VC. The VC is driven by a CPU emulator, and can run any operating system (virtual operating system, VOS) that is supported by the available SM's. The system is designed to log accesses to system resources and the nature of these accesses. The system is particularly useful for determining whether an executable or file contains an unknown virus, with a very low risk of false positives. Detected viruses include encrypted, polymorphic, metamorphic and other virus types. | 08-21-2008 |
20080208560 | System and method of interlocking to protect software - mediated program and device behaviors - A method for rendering software resistant to reverse engineering. Replace at least one first constant (mathematical expression, etc.) in a computational expression with a second mixed mathematical and bitwise-Boolean expression, the first constant being simpler than the second expression and the second expression being based on the value or the variables found in the first constant (or expression). Evaluation of the second mixed mathematical and bitwise-Boolean expression produces a value preserving the value of the first constant, either: with the original value of the first constant or the original value of the result of the first expression, in which case the second mixed mathematical and bitwise-Boolean expression is obtained from the first constant by converting the first constant by mathematical identities; or, in an encoded form, as a new value, which can be converted back to the original value of the first constant by applying an information-preserving decoding function, in which case the second mixed mathematical and bitwise-Boolean expression is obtained from the first constant by modifying the first constant by a combination of conversion according to mathematical identities and transformation according to an information preserving encoding function. | 08-28-2008 |
20080208561 | Method of Measuring a Large Population of Web Pages for Compliance to Content Standards that Require Human Judgement to Evaluate - Embodiments herein provide a method, computer program product, etc. of measuring a large population of web pages for compliance to content standards that require human judgment to evaluate. The method performs an automated analysis of a web space, comprising gathering information about structure and content of the web space. The performing of the automated analysis further comprises creating first data and second data. Specifically, the creating of the first data comprises creating page-relationship data based on a directory tree structure of servers in the web space or link distances amongst pages in the web space. The creating of the second data comprises analyzing web page content, comprising creating compliance-indicating data and/or content structure data for pages in the web space. In addition, the performing of the automated analysis can comprise performing the automated analysis on a web space that lacks objective standards violations that can be identified using software. | 08-28-2008 |
20080221858 | Dynamic Online Multi-Parameter Optimization System and Method for Autonomic Computing Systems - An improved method and system for performing dynamic online multi-parameter optimization for autonomic computing systems are provided. With the method and system of the present invention, a simplex, i.e. a set of points in the parameter space that has been directly sampled, is maintained. The system's performance with regard to a particular utility value is measured for the particular setting of configuration parameters associated with each point in the simplex. A new sample point is determined using the geometric transformations of the simplex. The method and system provide mechanisms for limiting the size of the simplex that is generated through these geometric transformations so that the present invention may be implemented in noisy environments in which the same configuration settings may lead to different results with regard to the utility value. In addition, mechanisms are provided for resampling a current best point in the simplex to determine if the environment has changed. If a sufficiently different utility value is obtained from a previously sampled utility value for the point in the simplex, then rather than contracting, the simplex is expanded. If the difference between utility values is not sufficient enough, then contraction of the simplex is performed. In addition, in order to allow for both real and integer valued parameters in the simplex, a mechanism is provided by which invalid valued parameters that are generated by geometric transformations being performed on the simplex are mapped to a nearest valid value. Similarly, parameter values that violate constraints are mapped to values that satisfy constraints taking care that the dimensionality of the simplex is not reduced. | 09-11-2008 |
20080228462 | Generating synthetic workloads to measure power utilization in a computer system - One embodiment of the present invention provides a system that generates a synthetic workload to test power utilization in a computer system. During operation, the system monitors power utilization of a reference computer system while the reference computer system executes a workload-of interest, wherein the monitoring process produces a power profile. Next, the system determines characteristics of the workload-of-interest from the power profile. Finally, the system uses the determined characteristics to construct the synthetic workload, wherein the synthetic workload has similar power utilization to the workload-of-interest. | 09-18-2008 |
20080262823 | Training of resource models - Operational resource modeling is usable to analyze application and computer system performance over a wide range of hypothetical scenarios. Operational resource modeling involves creating and training one or more resource models, and/or simulating hypothetical scenarios using resource models. | 10-23-2008 |
20080262824 | Creation of resource models - Operational resource modeling is usable to analyze application and computer system performance over a wide range of hypothetical scenarios. Operational resource modeling involves creating and training one or more resource models, and/or simulating hypothetical scenarios using resource models. | 10-23-2008 |
20080270103 | Method for Functional Verification of an Integrated Circuit Model for constituting a Verification Platform, Equipment Emulator and Verification Platform - The present invention relates to a method for on demand functional verification of a software model of an application specific integrated circuit (ASIC), in a low-level programming language (for example of the HDL type), which separately handles the creation of the model and the debugging of the functional verification tests to be applied to the model of the circuit in order to create a verification platform. The method for verification comprises a transmission mode and a verification mode. In the transmission mode an autonomous circuit emulator ( | 10-30-2008 |
20080275690 | Automated visualization of a selection of simulation data - The visualization of a selection of data can be simplified. The data occurs during the execution or simulation of a function model on a computer system. It is possible in particular to configure the process of designing or developing functionalities of a control device (e.g. a motor control device) more efficiently. Software operating on the computer system is configured to use a set of rules to select some of all the data items occurring in the function model automatically as the data items to be visualized. A continuous and automated solution for the definition, selection and visual display of the data items required in individual instances is allowed. | 11-06-2008 |
20080288234 | METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING USER TRACING IN A SIMULATOR - According to a method of specifying a trace array for simulation of a digital design, one or more entities within a simulation model are specified with one or more statements in one or more hardware description language (HDL) files. In addition, a trace array for storing data generated through simulation of the simulation model is specified in one or more statements in the one or more HDL files. The HDL files may subsequently be processed to create a simulation model containing at least one design entity and a trace array within the design entity for storing trace data regarding specified signals of interest. | 11-20-2008 |
20080294419 | Apparatus and method for simulating multi-dimensional non-linear multivariable processes - A process simulator is provided for simulating the behavior of multi-dimensional non-linear multivariable processes. A multi-dimensional non-linear multivariable model of a process can be generated, such as by using smaller building blocks. One or more inputs are provided to the model, a behavior of the process is simulated in real-time using the model, and one or more outputs of the model are provided. The model could represent a two-dimensional non-linear multivariable model, and the one or more inputs to the model and/or the one or more outputs of the model could be array-based. The process simulator could be formed from multiple components, such as a regulatory loop simulator object, a process model object, a disturbance generator object, and a scanner simulator object. The arrangement of the objects can be flexible and configurable, such as by designing the objects in an object-oriented manner utilizing a sink/source architecture. | 11-27-2008 |
20080294420 | SYSTEM AND METHOD FOR MODEL DRIVEN TRANSFORMATION FILTERING - A method and system for model-driven transformation are provided. The method and system in one aspect allows selecting of one or more model elements in a model. Transformation definitions are evaluated to identify one or more transformations that may be applicable to the selected one or more model elements. In one aspect, transformations may be identified that are applicable in an entire model, those that take the selected one or more model elements as input parameters, those that affect one or more model element, or any combination thereof. In one aspect, a list of applicable transformations is presented. In another aspect, the method and system automatically apply the one or more applicable transformations to the model. | 11-27-2008 |
20080300850 | METHOD AND APPARATUS FOR PROCESSING XML FOR DISPLAY ON A MOBILE DEVICE - A method and apparatus are set forth for creating a Document Object Model of an XML document of predetermined type, comprising a first process for receiving and opening a compressed input file containing the XML document; a second process for opening and parsing the contents of a relationships file to create a map of name-value pairs and detecting a value for identifying the predetermined type from among a plurality of types of XML documents; and a further process for parsing data in the XML document according to the predetermined type, and building the Document Object Model. | 12-04-2008 |
20080300851 | System and method for application migration in a grid computing environment - A system and method for assessing performance of a software application migrated to a grid infrastructure is provided. The system comprises a grid code analyzer for generating a directed acyclic graph (DAG) corresponding to the software application by performing static and dynamic analysis; a grid task generator for reducing the DAG generated by the grid code analyzer; and a grid simulator for simulating performance of the software application on one or more predetermined grid infrastructures. The grid simulator accepts the reduced DAG as input and produces performance data as output. | 12-04-2008 |
20080312899 | Software feature modeling and recognition - Described is a technology by which software program feature usage is located within a sequence of commands collected during program usage sessions. For example, feature generally corresponds to a series of commands, such as copy and paste. A visual modeling component is controlled via drag-and-drop operations to describe a feature model, which is then compiled by a compiler into a finite state machine. Noise models may be used to exclude any command in the sequence that is irrelevant to the feature usage. A recognition process uses the finite state machine to locate program feature usage within the sequence of recorded commands by matching command sub-sequences corresponding to the feature model via the state machine. An analyzer may then use the located matches to provide an analysis report on feature usage. | 12-18-2008 |
20080319731 | SYSTEM AND METHOD FOR MANAGING THE PERFORMANCE OF A COMPUTER SYSTEM BASED ON OPERATIONAL CHARACTERISTICS OF THE SYSTEM COMPONENTS - A performance manager and method for managing the performance of a computer system based on a system model that includes measured entities representing the operational characteristics of the system components and relationships among the measured entities. The performance manager includes data producers for interacting with the interface agents of the components, an engine for exchanging information with the data producers and the system model, and an interaction model for determining relevant measured entities in the system model. The system model and interaction model are maintained in a repository where data might be accessed via an access interface. Incoming performance data is analyzed by an analyzer in the background to detect trends and relationships among the entities. An operator might review the relevant entities and apply controls to selected entities to manage the overall system performance as well as to resolve problems affecting the performance of the components in the system. | 12-25-2008 |
20090006069 | REAL-TIME PERFORMANCE MODELING OF APPLICATION IN DISTRIBUTED ENVIRONMENT AND METHOD OF USE - A system and method of managing computing systems and, more particularly, to a system and method for modeling applications in a network. The method includes determining dependency of components in a shared distributed computing environment and measuring consumption of the dependent components. The method further includes building a model to compare component behavior with a current load of the dependent components to optimize component performance or to find a deviation and hence a “troubled spot”. The system includes a local agent configured to perform the method and to provide data to a centralized storage. | 01-01-2009 |
20090006070 | Simulation of Installation and Configuration of Distributed Software - A simulator is provided with a computer system configured with a CMDB to project hardware and software configuration information prior to installation thereof. The CMDB preserves a repository of information related to all the components of an information system. The simulator searches the CMDB and provides a list of installation candidates that would enhance system performance. The candidates are presented to the user in an associated visual display, together with associated performance information and required changes to the hardware resources, prior to installation of any of the candidates on the associated computer system. | 01-01-2009 |
20090006071 | Methods for Definition and Scalable Execution of Performance Models for Distributed Applications - A method and system for defining performance models of distributed applications such as distributed systems or network systems in a way that combines discrete and analytical models and simulating such performance models for analyzing software performance and impacts on devices of the distributed applications is described. Also described is a method for accelerating the simulation process by converting the discrete load into aggregate load dynamically based on the statistical analysis of the simulation results. | 01-01-2009 |
20090006072 | Method and Apparatus Performing Automatic Mapping for A Multi-Processor System - A method, apparatus and computer program product for mapping and executing an application on a multi-processor system is presented. At least one array to be considered for distribution among processors of said multi-processor system is indicated. The application is mapped according to a performance model associated with benchmark performance data of a parallel library on a parallel computer architecture. Then either the application is executed on the multi-processor system, or the application is simulated using a specified machine model for a multiprocessor system. Feedback information is then provided to influence architecture parameters for a multiprocessor system. | 01-01-2009 |
20090018811 | GENERATION OF TEST CASES FOR FUNCTIONAL TESTING OF APPLICATIONS - An automated system and method to generate functional conformance tests for applications are provided. The system and method in one aspect use Inputs, Outputs, Preconditions, Effects (IOPEs) paradigm associated with an application for automatically generating test goals. A planner component may accept these testing goals to generate a sequence of operations or invocations as a test case. Verification sequences are also generated. The system and method also allow generation of executable test cases, which can be applied to the various interfaces through which the application may be accessed. | 01-15-2009 |
20090018812 | USING QUANTITATIVE MODELS FOR PREDICTIVE SLA MANAGEMENT - A method of using quantitative models for predictive service level agreement management builds quantitative models, executes the models to produce observations, and determines whether the observations conform to service level agreements. If the observations do not conform to the service level agreements, the method determines the service level agreements that are violated by the observations. Then, the method calculates analytic measures for use in the service level agreements based on the observations and the violations. | 01-15-2009 |
20090018813 | USING QUANTITATIVE MODELS FOR PREDICTIVE SLA MANAGEMENT - A method of using quantitative models for predictive service level agreement management builds quantitative models, executes the models to produce observations, and determines whether the observations conform to service level agreements. If the observations do not conform to the service level agreements, the method determines the service level agreements that are violated by the observations. Then, the method calculates analytic measures for use in the service level agreements based on the observations and the violations. | 01-15-2009 |
20090037165 | Method and Apparatus for Processing Transactions in a Simulation Environment - A method, article of manufacture and apparatus for simulating a plurality of transactions. A first group of transactions with first simulation properties are provided and a second group of transactions with second simulation properties are provided. The first simulation properties are different from the second simulation properties. During software simulation of a hardware model, the first group of transactions and the second group of transactions are issued to the hardware model. The first group of transactions and the second group of transactions are processed using the hardware model. At least a portion of the first group of transactions and the second group of transactions is processed simultaneously using the hardware model. The first simulation properties are used to process the first group of transactions using the hardware model and wherein the second simulation properties are used to process the second group of transactions using the hardware model. | 02-05-2009 |
20090043560 | FEATURE ORIENTED PROTOCOL MODELING - Modeling protocols. A method includes accessing a number of model programs. Each model program includes computer-executable instructions. The computer-executable instructions describe the behavior of at least one of another program, system, or component. Model programs may be disjointed in that they have independent meaning or dependent in that they include at least one of a state variable, action, or precondition that is dependent on another model program to impart meaning to the model program. An output model program is composed by unification including substituting state variables into another of the model programs without executing the model programs. Traces are generated from the output model program. Each of the traces includes a path of labels. The labels describe actions of the output model program from an initial state to an accepting state where a run is allowed to stop. The traces are output to a user. | 02-12-2009 |
20090055154 | METHOD AND SYSTEM FOR GENERATING APPLICATION SIMULATIONS - A method and system for generating application simulations and, more particularly, a method and system for graphical data scrubbing in application simulation image sequences. The method comprises creating a graphical representation of identified data and scrubbing instances of the identified data. The method further comprises replacing the scrubbed identified data with the graphical representation of the identified data. The system includes a computer infrastructure to perform at least the steps of the method. | 02-26-2009 |
20090055155 | SIMULATING EXECUTION OF SOFTWARE PROGRAMS IN ELECTRONIC CIRCUIT DESIGNS - In some embodiments disclosed herein, the execution of a software program by processor can be simulated using two models of the processor: one “detailed” model that offers a relatively high level of detail and operates relatively slowly; and another “fast” model that offers a relatively low level of detail and operates relatively quickly. Portions of the software program are simulated as being executed on one model or the other according to simulation selection information (e.g., user input). State information is passed between models as the system switches from one model to another. The detailed model can comprise, for example, a “full functional” processor model, while the fast model can comprise, for example, an instruction set simulator (ISS) and a bus cycle engine (BCE). Further embodiments allow a plurality of software programs to be simulated in batch using the disclosed technologies. | 02-26-2009 |
20090055156 | USING COMMERCIAL COMPUTING PACKAGE MODELS TO GENERATE MOTOR CONTROL CODE - Systems and methods for designing and/or diagnosing industrial applications including the use of a simulation of hardware and/or software elements. A correlation component can assess the degree of accuracy with which the simulation represents the operation of the hardware counterparts. A customer assistance system and method whereby a customer can describe a desired industrial application and request a simulative evaluation of the performance of the proposed equipment and software, and receive purchase information, suggested solutions, and diagnostic insight. | 02-26-2009 |
20090063123 | SYSTEMS, METHODS AND COMPUTER PRODUCTS FOR DATABASE CLUSTER MODELING - Generating in a computer system and deploying a data model of a plurality of database cluster configuration availability solutions over a computer network by creating a database cluster configuration modeling specification including objects contained in a unified model language diagram providing a definition of a database cluster configuration data model. Creating the database cluster configuration data model using the database cluster configuration modeling specification and upon receiving signals from a graphical user interface or from XML batch data files or from application programming interfaces, indicating the definition of the cluster configuration model. After creating the graphical database cluster configuration data model, constraints that specify a valid logical configuration are validated and the solution is transformed into data understandable by database cluster manager software applications and then transmitted over a network to multiple cluster manager targets to be incorporated as database cluster configuration availability solutions. | 03-05-2009 |
20090070093 | PROGRAM, INFORMATION STORAGE MEDIUM, AND GAME DEVICE - A game device calculates a shift angle A based on a magnitude of a velocity vector S of a moving object MO and inclination information that indicates an inclination of a controller, calculates a direction D of the moving object on a slope based on a direction of the velocity vector S of the moving object and the shift angle A, calculates a first force vector P | 03-12-2009 |
20090112566 | AUTOMATED GENERATION OF EXECUTABLE DEPLOYMENT CODE FROM A DEPLOYMENT ACTIVITY MODEL - Although a modeling language can be used to create a deployment diagram to graphically depict a deployment model, the utility of the deployment diagram is limited to easing understanding of the model. Automated generation of executable deployment code that implements a deployment model allows benefits of modeling to be realized. Automated generation of executable deployment code from a deployment model provides efficiency in time and resource utilization. | 04-30-2009 |
20090112567 | PRELIMINARY DATA REPRESENTATIONS OF A DEPLOYMENT ACTIVITY MODEL - A deployment activity model is automatically generated from a deployment topology model. The operations to automatically generate the deployment activity model may be visible or “under the covers.” Regardless of visibility, a deployment model tool traverses a representation (e.g., one or more data structures) of the one or more diagrams of the deployment topology model. The deployment model tool begins creating preliminary representations of a deployment activity model until representation of a valid deployment activity model is created. Although the preliminary representations (assuming the first traversal attempt of the deployment topology model is unsuccessful) are discarded in some embodiments, other embodiments store the representations of the preliminary representations for analysis (e.g., analysis for the tool to learn, analysis to discover values for automatically defining attributes, etc.). | 04-30-2009 |
20090112568 | Method for Generating a Simulation Program Which Can Be Executed On a Host Computer - The invention relates to a method for generating a simulation program which can be executed on a computer for the purpose of simulating the function and execution time of a program which is provided to be executed on a target computer, the method comprising the following steps of:
| 04-30-2009 |
20090112569 | Method and Apparatus for Simulating Aircraft Data Processing Systems - A method, apparatus, and computer program product for simulating mobile platforms. In one advantageous embodiment, a method is used to performing operations with a virtual aircraft network. A data processing system with the virtual aircraft network is connected to a ground network. The operations are performed with the virtual aircraft network connected to the ground network. | 04-30-2009 |
20090125294 | SYSTEM AND METHOD FOR TUNNELING AND SLICING BASED BMC DECOMPOSITION - A system and method for bounded model checking of computer programs includes providing a program having at least one reachable property node. The program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program. A reduced BMC sub-problem obtained using BMC unrolling, while using path constraints imposed by the at least one tunnel. For the reachable property node, determining a quantifier-free formula (QFP) in a decidable subset of first order logic. Satisfiability of the QFP is checked, independently and individually, to determine whether the QFP is satisfiable for the subproblem. The decomposing is continued until the a BMC bound is reached. | 05-14-2009 |
20090132225 | TECHNIQUE FOR CREATING SIMULATED SERVICING APPLICATIONS FROM DATA CAPTURED BY A CONFIGURABLE SOFTWARE PROBE - The present invention discloses a system for creating a simulated service application from data captured by a configurable software probe. Such a system can include a servicing application, a configurable software probe, and a simulator generation engine. The servicing application can be configured to provide at least one function to a requesting application. The configurable software probe can be embedded within the servicing application in order to dynamically capture function requests and corresponding return data. The simulator generation engine can be configured to generate a simulated servicing application that simulates a functioning of the servicing application. | 05-21-2009 |
20090132226 | MIMICKING OF FUNCTIONALITY EXPOSED THROUGH AN ABSTRACTION - Various technologies and techniques are disclosed for mimicking functionality of an application platform. At runtime, an analysis is performed of an application platform to identify how a desired functionality is implemented by the application platform. When the analysis reveals that the application platform is using a known function that can be mimicked, a handshake with the application platform is bypassed and the desired functionality is mimicked. To mimic the functionality, the known function is started for the application platform that uses the desired functionality. An entry point of the known function is detected. Machine instructions are decoded in the known function. Code that mimics an effect of the machine instructions is generated. The code that mimics the effect of the machine instructions is then executed. | 05-21-2009 |
20090132227 | COUNTER EXAMPLE ANALYSIS SUPPORT APPARATUS - A counter example analysis support apparatus includes a counter example storage storing the counter example being a transition sequence of state and event that has not satisfied a verification condition as a result of the model checking; comprising: a related item list storage storing a related item list being a list associating a detection event, which is an event for detecting and generating the other-state, and a detected state, which is a state for determining the existence of the generation of the detection event; and a searching unit outputting a possible problem part from the counter example, wherein the searching unit determines whether a state included in the counter example is the detected state, and if the state included in the counter example is the detected state, determines whether a detection event corresponding to the related item list is generated before the detected state transits to a next state. | 05-21-2009 |
20090157378 | Method, Apparatus and Computer Program Product for Intelligent Workload Control of Distributed Storage - A method, apparatus and computer program product are provided for generating a multiple-input, multiple output (MIMO) workload model of a distributed storage environment on a plurality of predictive controller devices. The MIMO models can then be utilized by the predictive controller to manage storage resources on a distributed storage system. | 06-18-2009 |
20090164202 | SYNCHRONIZATION OF A GRAPHICAL PROGRAM AND A ROBOT PROGRAM - A device and a method for synchronization of a robot program and a graphical program. The device includes a first converter adapted to convert a graphical program into a first sequence of tokens representing data for motions and actions contained in the graphical program. A second converter is adapted to convert the robot program into a second sequence of tokens representing data for motions and actions contained in the robot program. A modification command generator is adapted to compare the first and second sequences of tokens and based thereon generate modification commands. The first converter is adapted to receive the modification commands and edit the graphical program based on the modification commands so that the token sequence of the graphical program matches the token sequence of the robot program. The second converter is adapted to receive the modification commands and edit the robot program based on the modification commands so that the token sequence of the robot program matches the token sequence of the graphical program. | 06-25-2009 |
20090171649 | USER-DEFINED APPLICATION MODELS - A system (and corresponding method) that employs wiki-type models to consider authoring rather than composition in an application environment is provided. The innovation enables collaborative information and templates to be used to enhance quality, productivity, etc. within a software application environment. These wiki-type models can provide features, functions and benefits related to, but not limited to, general information, auto-fills, formats, schema, conversions, preferences, etc. | 07-02-2009 |
20090187396 | Software Behavior Modeling Apparatus, Software Behavior Monitoring Apparatus, Software Behavior Modeling Method, And Software Behavior Monitoring Method - A software operation modeling device ( | 07-23-2009 |
20090198484 | SCALABLE AUTOMATED EMPIRICAL TESTING OF MEDIA FILES ON MEDIA PLAYERS - Scalable empirical testing of media file playback utilizes test hooks in each media player to support simulated human interaction and playback monitoring. A media crawler catalogs media files accumulated in a media file database to create a wordlist. One or more scalable instances of media tester accesses the wordlist to select items of work linked to media files. Work items and/or operating modes of media tester specify test parameters such as performance profiles or further define testing such as specifying repetitious playback on one or more media players. Media files are downloaded to and played by a scalable number of media players. Playback performance is monitored, analyzed and reported. Failure reports are accompanied by instructions to reproduce failures and cross-references to content or source code in media files. Failures can be audited by additional work items for follow-up testing. | 08-06-2009 |
20090259455 | METHOD AND SYSTEM FOR AUTOMATIC TRACKING OF A COMPUTERIZED PROCESS USING A RELATIONSHIP MODEL - A system and method are provided for tracking an executed process. The method includes identifying a key computer object in a process. A computer object relationship model of the computer objects is analyzed to identify computer objects that are independent of and dependent on the key computer object in the model. In the executed process, instances of the key computer object, its dependent and its independent objects are located. The results of the analyzing of the computer object relationship model and the locating of the computer object instances are stored for analysis. Thus, the executed process flow can be reconstructed based on the sequence of involved instances of the computer objects without any prerequisite knowledge about how the process has been designed and should have been executed. The reconstructed process can be compared with a designed process to identify and analyze deviations between both. | 10-15-2009 |
20090306955 | METHOD AND SYSTEM FOR ANALYZING ROLLING ELEMENT BEARING SYSTEMS - Methods and systems for analyzing rolling element bearing systems are provided. A graphical user interface (GUI) is rendered on a display device. The graphical user interface includes a plurality of characteristics of the rolling element bearing system and a plurality of widgets associated with the characteristics. An indication of a value is received with each of the widgets. Each value is representative of the respective characteristic of the rolling element bearing system. A first analysis of the rolling element bearing system is performed based on the values with a first rolling element bearing solver. A second analysis of the rolling element bearing system is performed based on the values with a second rolling element bearing solver. Results of at least one of the first and second analyses are displayed on the display device. | 12-10-2009 |
20090313003 | Computer-Implemented Systems And Methods For Executing Stochastic Discrete Event Simulations For Design Of Experiments - Computer-implemented systems and methods for executing stochastic discrete event simulations for a stochastic model through a design of experiments approach. Streams of random numbers are associated with stochastic model components that are sources of random variation within the stochastic model. A system is configured to manage the streams while the stochastic model is being executed during a simulation. | 12-17-2009 |
20090319255 | MAXIMIZING THROUGHPUT FOR A GARBAGE COLLECTOR - Some embodiments of the present invention provide a system that executes a garbage collector in a computing system. During operation, the system obtains a throughput model for the garbage collector and estimates a set of characteristics associated with the garbage collector. Next, the system applies the characteristics to the throughput model to estimate a throughput of the garbage collector. The system then determines a level of performance for the garbage collector based on the estimated throughput. Finally, the system adjusts a tunable parameter for the garbage collector based on the level of performance to increase the throughput of the garbage collector. | 12-24-2009 |
20090326907 | PROGRAM ANALYSIS AS CONSTRAINT SOLVING - Described is a technology by which program analysis uses rich invariant templates that may specify an arbitrary Boolean combination of linear inequalities for program verification. Also described is choosing a cut-set that identifies program locations, each of which is associated with an invariant template. The verification generates second-order constraints, converts second-order logic formula based on those constraints into first-order logic formula, then converts the first-order logic formula into a quantifier-free formula, which is then converted into a Boolean satisfiability formula. Off-the-shelf constraint solvers may then be applied to the Boolean satisfiability formula to generate program analysis results. Various templates may be used to convert the second-order logic formula into the first-order logic formula. Further described are interprocedural analysis and the determination of weakest precondition and strongest postcondition with applications to termination analysis, timing bounds analysis, and generation of most-general counterexamples for both termination and safety properties. | 12-31-2009 |
20090326908 | Simulation support method, computer-readable storage medium storing simulation support program, and simulation support apparatus - A simulation support method includes generating an operation interface used to convert a subject model to a model for parallel computation, in which a plurality of subsystem models are connected to each other, wherein the plurality of subsystem models correspond to a plurality of processes in one step, and the processes repeatedly run in parallel in a cluster computer; inserting dummy blocks in the subject model, when an instruction for converting the subject model to the model for parallel computation is provided through the operation interface, wherein the dummy blocks are used to synchronize the data in the processes, which are transmitted between the processes that run in parallel; and editing a simulation program for parallel computation, based on the model for parallel computation, wherein the simulation program for parallel computation is used to generate the processes that run in parallel in the cluster computer. | 12-31-2009 |
20100082319 | PREDICTING RESOURCE USAGE OF AN APPLICATION IN A VIRTUAL ENVIRONMENT - Described herein is a system for predicting resource usage of an application running in a virtual environment. The system comprises a first hardware platform implementing a native hardware system in which an application natively resides and executes, the native hardware system operating to execute a predetermined set of benchmarks that includes at least one of: a computation-intensive workload, a network-intensive workload, and a disk-intensive workload; a second hardware platform implementing a virtual environment therein, the virtual environment operating to execute the predetermined set of benchmarks; a third hardware platform operating to collect first resource usage traces from the first hardware platform and second resource usage traces from the second hardware platform; wherein the third hardware platform further operating to generate at least one prediction model that predicts a resource usage of the application executing in the virtual environment based on the collected first and second resource usage traces. | 04-01-2010 |
20100082320 | ACCURACY IN A PREDICTION OF RESOURCE USAGE OF AN APPLICATION IN A VIRTUAL ENVIRONMENT - Described herein is a system for improving accuracy in a prediction of resource usage of an application running in a virtual environment. The system comprises a first hardware platform implementing a native hardware system in which an application natively resides and executes, the native hardware system operating to execute a predetermined set of benchmarks that includes at least one of a network-intensive workload and a disk-intensive workload, a second hardware platform implementing a virtual environment therein, the virtual environment operating to execute the predetermined set of benchmarks, and a third hardware platform operating to collect first resource usage traces from the first hardware platform that result from the execution of the predetermined set of benchmarks in the native hardware system and second resource usage traces from the second hardware platform that result from the execution of the predetermined set of benchmarks in the virtual environment. The third hardware platform further operating to perform a linear regression computation to generate at least one prediction model that predicts a resource usage of the application executing in the virtual environment based on the collected first and second resource usage traces. | 04-01-2010 |
20100082321 | SCALING A PREDICTION MODEL OF RESOURCE USAGE OF AN APPLICATION IN A VIRTUAL ENVIRONMENT - Described herein is a method for scaling a prediction model of resource usage of an application in a virtual environment, comprising: providing a predetermined set of benchmarks, wherein the predetermined set of benchmarks includes at least one of: a computation-intensive workload, a network-intensive workload, and a disk-intensive workload; executing the predetermined set of benchmarks in a first native hardware system in which the application natively resides; executing the predetermined set of benchmarks in the virtual environment; generating at least one first prediction model that predicts a resource usage of the application running in the virtual environment based on the executions of the predetermined set of benchmarks in the first native hardware system and the virtual environment; determining a resource usage of the application running in a second native hardware system in which the application also natively resides; generating at least one second prediction model based on a scaling of the at least one first prediction model by a predetermined constant; and predicting a resource usage of the application running in the virtual environment based on the resource usage of the application running in the second native hardware system and the at least one second prediction model. | 04-01-2010 |
20100082322 | OPTIMIZING A PREDICTION OF RESOURCE USAGE OF AN APPLICATION IN A VIRTUAL ENVIRONMENT - Described herein is a method for optimizing a prediction of resource usage of an application running in a virtual environment, comprising: providing a predetermined set of benchmarks, wherein the predetermined set of benchmarks; executing the predetermined set of benchmarks in a native hardware system in which the application natively resides; executing the predetermined set of benchmarks in the virtual environment; collecting first traces of first resource utilization metrics in the native hardware system based on the execution of the predetermined set of benchmarks in the native hardware system; collecting second traces of second resource utilization metrics in the virtual environment based on the execution of the predetermined set of benchmarks in the virtual environment; generating a first prediction model and a second prediction model; generating a third prediction model that maps all of the first traces of the selected first metric to the second traces of resource utilization metrics; comparing the first and second prediction models against the third prediction model; and predicting a resource usage of the application running in the virtual environment with either a) a combination of the first and second prediction models or b) the third prediction model based on the comparing. | 04-01-2010 |
20100094611 | SYSTEM AND METHOD FOR FEEDBACK-GUIDED TEST GENERATION FOR CYBER-PHYSICAL SYSTEMS USING MONTE-CARLO - A system and method for generating test vectors includes generating traces of a system model or program stored in memory using a simulation engine. Simulated inputs are globally optimized using a fitness objective computed using a computer processing device. The simulation inputs are adjusted in accordance with feedback from the traces and fitness objective values by computing a distance between the fitness objective value and a reachability objective. Test input vectors are output based upon optimized fitness objective values associated with the simulated inputs to test the system model or program stored in memory. | 04-15-2010 |
20100114554 | PREDICTIVE MODELING - Predictive modeling, in which a first simulation model that simulates a first policy for managing a set of data is determined based on a pattern representative of the set of data and first operating variables for the first policy. The first simulation model is optimized and first prediction data that estimates performance of the first policy is computed using the optimized first simulation model. A second simulation model that simulates a second policy for managing the set of data is determined based on the pattern and second operating variables for the second policy. The second simulation model is optimized and second prediction data that estimates performance of the second policy is computed using the optimized second simulation model. The first prediction data is compared with the second prediction data, and a determination of whether the first policy is better than the second policy is made. | 05-06-2010 |
20100125443 | Systems and Methods for Running a Multi-Thread Simulation - Systems and methods for running a multi-thread simulation and evaluating the results during a simulation run to select the best thread. | 05-20-2010 |
20100153088 | SENSOR NODE INCLUDED IN SENSOR NETWORK, UPDATE SERVER UPDATING THE SAME, AND METHOD OF UPDATING SENSOR NODE - Provided are a sensor node included in a sensor network, an update server updating the sensor node, and a method of updating a sensor node. The update server updating a sensor node included in a sensor network includes an execution code manager managing execution codes for a plurality of sensor nodes included in the sensor network, a rule generator generating an update rule based on a result of comparing an existing execution code managed by the execution code manager with an update execution code required for a new function update of the sensor node, and a downloader causing the sensor node to download the update rule generated by the rule generator. Accordingly, an execution code can be updated by a small amount of data transmission. | 06-17-2010 |
20100250228 | MODELING A COMPOSITE APPLICATION - Techniques for modeling a composite application are provided. The techniques include identifying one or more entities that are processed in a user enterprise, identifying one or more actions to be performed during a lifecycle of the one or more entities, and modeling a composite application based on the one or more actions to be performed during a lifecycle of the one or more entities. | 09-30-2010 |
20100292980 | APPLICATION RESOURCE MODEL COMPOSITION FROM CONSTITUENT COMPONENTS - Techniques for composing an application resource model in a data stream processing system are disclosed. The application resource model may be used to understand what resources will be consumed by an application when executed by the data stream processing system. For example, a method for composing an application resource model for a data stream processing system comprises the following steps. One or more operator-level metrics are obtained from an execution of a data stream processing application in accordance with a first configuration. The application is executed by one or more nodes of the data stream processing system, and the application is comprised of one or more processing elements that are comprised of one or more operators. One or more operator-level resource functions are generated based on the obtained one or more operator-level metrics. A processing element-level resource function is generated based on the one or more generated operator-level resource functions. The processing element-level resource function represents an application resource model usable for predicting one or more characteristics of the application executed in accordance with a second configuration. | 11-18-2010 |
20100292981 | METHOD FOR DATA PROCESSING AND DISPLAY FOR DETECTING AND/OR PREDICTING POSSIBLE TRENDS - A method for detecting trends based on outcomes generated by a first process, comprising the steps of: (a) determining all possible outcomes associated with the first process, wherein the first process is associated with a range of possible outcomes; (b) coding the possible outcomes to provide a plurality of separate groups, wherein each possible outcome is systematically allocated to one of the groups; (c) allocating an identifier to each of the groups; (d) monitoring the first process such that actual outcomes generated by the first process are mapped to an identifier in accordance with coding step (b); (e) providing a matrix made up of rows and columns; (f) allocating each identifier generated in step (d) to the matrix, and (g) repeating step (f) until a trend of duplicating identifiers becomes self-evident. | 11-18-2010 |
20100299129 | Mapping Between Stress-Test Systems and Real World Systems - A method, system and computer program product for determining the reliability of a software system. Test data inputs are utilized to simulate conditions under which software is executed. One or more test data inputs replace variables in a first algorithm and a second algorithm. The first algorithm and the second algorithm determine a first test parameter and a second test parameter, respectively. The first test parameter and second test parameters are transmitted to a third algorithm along with selected test data inputs. The third algorithm evaluates the input of the first test parameter, second test parameter and selected test data inputs, and calculates the projected number of users for the software. The projected number of users for the software is output to facilitate optimal usage of the software system. | 11-25-2010 |
20100332210 | METHOD AND APPARATUS FOR PREDICTING OBJECT PROPERTIES AND EVENTS USING SIMILARITY-BASED INFORMATION RETRIEVAL AND MODELING - Method and apparatus for predicting properties of a target object, in particular, one of an origin and a source, comprise application of a search manager for analyzing parameters of a plurality of databases for a plurality of objects, the databases comprising an electrical, electromagnetic, acoustic spectral database (ESD), a micro-body assemblage database (MAD) and a database of image data whereby the databases store data objects containing identifying features, source information and information on site properties and context including time and frequency varying data. The method comprises application of multivariate statistical analysis and principal component analysis in combination with content-based image retrieval for providing two-dimensional attributes of three dimensional objects, for example, via preferential image segmentation using a tree of shapes and to predict further properties of objects by means of k-means clustering and related methods. By way of example, a fire event and residual objects may be located and qualified such that, for example, properties of the residual objects may be qualified, for example, via black body radiation and micro-body databases including charcoal assemblages. | 12-30-2010 |
20110004458 | METHODS AND APPARATUS FOR SIMULATING A DISTRIBUTED BUSINESS PROCESS - Methods and apparatus for simulating a distributed business process are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial transaction system, in a secure distributed manner. Each business entity that is part of the interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, if a client based model is not available, the server supplies a software agent to replace the inputs and outputs normally associated with that portion of the overall simulation. | 01-06-2011 |
20110010161 | MODELING COMPUTER APPLICATIONS AND STORAGE USED THEREBY - Embodiments of the invention provide a technique to model applications and storage used thereby. An aspect of the present invention is directed to a method for managing a computer system which includes at least one host computer and at least one storage system which are connected via a network, the at least one host computer having an application running thereon. The method comprises modeling an application running on a host of a computer system as an application object, which includes associating storage utilized by the application with the application object; tracking operation of the storage associated with the application object as a service being delivered by the storage to the application; and presenting result on the service being delivered by the storage to the application based on tracking the operation of the storage. | 01-13-2011 |
20110035205 | TECHNIQUES TO AUTOMATICALLY GENERATE SIMULATED INFORMATION - Techniques to automatically generate simulated information are described. A method comprises receiving by a processor a structured input file with definitions to generate simulated data for a simulation database, and producing by the processor a data generator program based on the structured input file, the data generator program arranged to generate the simulated data for the simulation database using multiple data generating sessions executed concurrently or sequentially. Other embodiments are described and claimed. | 02-10-2011 |
20110066420 | SYSTEM AND METHOD FOR SYSTEM INTEGRATION TEST (SIT) PLANNING - A method is implemented in a computer infrastructure having computer executable code tangibly embodied on a computer readable storage medium having programming instructions. The programming instructions are operable to receive a system architecture model of a system and receive trigger coverage rules. Additionally, the programming instructions are operable to determine system integration test (SIT) coverage for each connection and interface of the system architecture model and select a set of use cases execution scenarios to satisfy the SIT coverage. | 03-17-2011 |
20110087479 | ONLINE BUILDING TOY - The present invention pertains to a method and apparatus for building online games. In one embodiment, the method may include providing a user interface that facilitates user selection of parts, and placing a set of parts selected by a user in a three-dimensional (3D) world. The method may also include joining parts within the set based on their proximity to each other in the 3D world to form one or more models for a game, and sending a model file for each of these models to a server via a network for use by various users. | 04-14-2011 |
20110106519 | SIMULATING AN APPLICATION - One example embodiment is a method that simulates a sampling period of an application to collect execution counts of basic blocks and compute cycles per instruction (CPI) data. A non-sampling period of the application is simulated to collect execution counts of basic blocks, and a comparison of the execution counts collected during the sampling period is performed to the execution counts collected during the non-sampling period. Based on the comparison, a determination is made whether to estimate CPI for the basic blocks during the non-sampling period using the CPI data collected during the sampling period. | 05-05-2011 |
20110166848 | METHOD AND SYSTEM FOR MODELLING WATER TREATMENT AND HARVESTING - A method of modelling a water harvesting and treatment system, the method comprising: receiving modelling data, the modelling data comprising a plurality of parameters relating to intended application of the water harvesting and treatment system; accessing rainfall data for a geographic region for a predetermined historical period, the rainfall data comprising data for a plurality of predetermined time increments over the historical period; and generating a model of the water harvesting and treatment system based on the rainfall data and the modelling data. | 07-07-2011 |
20110178790 | ELECTRONIC DATA STORE - An apparatus and method of providing conditional access to an electronic data store including a storage controller and a data storage resource. The method includes receiving, at the storage controller, a network request for access to the data storage resource from a client, the request including at least one required parameter defining the requested connection, obtaining information on the performance of the data storage resource, determining, based upon the information, whether a) the data storage resource can meet the or each required parameter of the request; and b) meeting the or each required parameter of the request will not violate any previously agreed parameters defining existing connections on the data storage resource; and denying the request if at least one of a) and b) are determined to be negative. | 07-21-2011 |
20110184716 | METHOD AND DEVICE FOR ANALYZING AN EXECUTION OF A PREDETERMINED PROGRAM FLOW ON A PHYSICAL COMPUTER SYSTEM - The functionality of simulated, virtual hardware units is varied during the execution of a program flow on the virtual hardware units, for example via an interface device of a simulation device, in such a manner that the execution behavior changes of a program flow can be identified by using at least one faulty, physical hardware unit. A method and a device are used for analyzing an execution of a predetermined program flow on a physical computer system. The method and the device are used to determine execution behavior changes of software products which changes are due to faulty hardware components. The method and device allow execution behavior changes to be identified systematically, using an operating system and eliminates the need for expensive, physical hardware components and for modifications to a physical computer system. | 07-28-2011 |
20110231178 | MODELING AND GENERATING COMPUTER SOFTWARE PRODUCT LINE VARIANTS - A system for modeling computer software product line variants may include a model builder configured to construct a model of a plurality of variants of a computer software application. The model may include at least one common-to-variants element that may be common to a plurality of the variants, a plurality of variant-specific elements, and interface code configured to adapt any of the variant-specific elements to any of the common-to-variants elements. The model may further include an application generator configured to generate a plurality of computer software applications for a corresponding plurality of combinations of the common-to-variants elements and the variant-specific elements, where the model builder and the application generator may be implemented in at least one of computer hardware and computer software embodied in a tangible computer-readable storage medium. | 09-22-2011 |
20110238402 | SYSTEM AND METHODS FOR REMOTE MAINTENANCE IN AN ELECTRONIC NETWORK WITH MULTIPLE CLIENTS - A system for performing remote maintenance in an electronic network configured to serve a plurality of clients may comprise a client, a database, and a virtual machine. The client may include a plurality of processing resources. Each one of the plurality of processing resources may have a respective set of processing instructions stored on an respective associated computer readable memory. The database may include information correlating a list of processing resources with a respective set of processing instructions. The virtual machine may be operable to access the database and perform calculations simulating proposed combinations of processing resources and their respective set of processing instructions before approving a software update requested for the client. | 09-29-2011 |
20110246170 | APPARATUS AND METHOD FOR SIMULATING A RECONFIGURABLE PROCESSOR - A processor simulation technique to evaluate the performance of a processor that executes application programs is provided. The processor simulation technique may be used to optimize the execution of an application program. A simulator of a reconfigurable processor including a plurality of functional units models a processor by representing routing paths between functional units that generate operands and functional units that consume the operands. The size of each queue may be decided based on information regarding routing delays between functional units and stage information of iteration loops according to modulo scheduling received from a scheduler. A modeling code DB that stores host-oriented binary codes for operations of routing queues is also provided. The simulation may be performed by executing a host-directed binary code corresponding to a binary file instead of the binary file. | 10-06-2011 |
20110257957 | PERSONALIZED INFORMATION SERVICE METHOD AND INFORMATION PLATFORM - A personalized information service method for an information platform having several subscribers is provided. Each subscriber uses a portable device to communicate with the information platform, and the information platform stores several personalized behavior models respectively corresponding to the subscribers. For each subscriber, the personalized information service comprises the steps of collecting operating information related to the subscriber operating the portable device, and transmitting the operating information to the information platform. The information platform analyzes the operating information to adjust the personalized behavior model corresponding to the subscriber. | 10-20-2011 |
20110264434 | SYSTEM, METHOD AND COMPUTER PROGRAM PRODUCT FOR COMPARING RESULTS OF PERFORMING A PLURALITY OF OPERATIONS WITH RESULTS OF SIMULATING THE PLURALITY OF OPERATIONS - In accordance with embodiments, there are provided mechanisms and methods for comparing results of performing a plurality of operations with results of simulating the plurality of operations. These mechanisms and methods for comparing results of performing a plurality of operations with results of simulating the plurality of operations can enable optimized performance of operations, reduced processing time, increased confidence in processing results, etc. | 10-27-2011 |
20110295588 | METHOD AND DEVICE FOR SIMULATING A SOFTWARE APPLICATION TO EXECUTE IN A SYSTEM - A method for simulation of a software program able to be run in a system and to control at least one action on expiration of a counter of the system, includes:
| 12-01-2011 |
20110301933 | METHODS AND APPARATUS FOR SIMULATING A DISTRIBUTED BUSINESS PROCESS - Methods and apparatus for simulating a distributed business process are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial transaction system, in a secure distributed manner. Each business entity that is part of the interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, if a client based model is not available, the server supplies a software agent to replace the inputs and outputs normally associated with that portion of the overall simulation. | 12-08-2011 |
20110313751 | Providing Compartmentalized Security in Product Reviews - A mechanism is provided for providing compartmentalized security in product reviews. A central authoritative state module within a compartmentalized security mechanism identifies a clearance level associated with a user that has been authenticated. Responsive to the clearance level of the user being sufficient to access the information, the central authoritative state module determines whether the information requires a simulation to be executed. Responsive to the information failing to require execution of a simulation, a coordination module in the compartmentalized security mechanism retrieves the information. A display and input interaction module on a client system then displays the information in accordance with the clearance level of the user thereby forming displayed information. Displaying the information in accordance with the clearance level of the user comprises displaying in detail only portions of the information of the product that the user has access to. | 12-22-2011 |
20110320184 | SYSTEMS AND METHODS FOR HIGHLY PARALLEL PROCESSING OF PARAMETERIZED SIMULATIONS - Systems and associated methods for highly parallel processing of parameterized simulations are described. Embodiments permit processing of stochastic data-intensive simulations in a highly parallel fashion in order to distribute the intensive workload. Embodiments utilize methods of seeding records in a database with a source of pseudo-random numbers, such as a compressed seed for a pseudo-random number generator, such that seeded records may be processed independently in a highly parallel fashion. Thus, embodiments provide systems and associated methods facilitating quicker data-intensive simulation by enabling highly parallel asynchronous simulations. | 12-29-2011 |
20120016653 | INTERACTIVE BLUEPRINTING FOR PACKAGED APPLICATIONS - An interactive design of process model for packaged application software installation and configuration generates a process model from a natural language description of software installation or configuration related operation. A data structure representing one or more work products related to the process model is identified, and one or more elements of the data structure are identified that are related to one or more sub-processes of the process model. Input information associated with said one or more sub-processes is captured and stored. The input information is linked with the one or more elements of the data structure related to said one or more sub-processes. The one or more sub-processes in the process model may be also demonstrated through a simulation. | 01-19-2012 |
20120016654 | BI-DIRECTIONAL PROJECTION - In an embodiment, one or more computer-readable media holding executable instructions is provided. The instructions may be executed on a processing device to project a specification to a platform environment that includes a system model. The media may hold one or more instructions for accessing an algorithm model, the algorithm model being associated with the specification. The media may further hold one or more instructions for projecting the specification to the system model via a forward projection. The media may hold one or more instructions for receiving a reverse projection that includes specification changes, the specification changes identifying suggested changes to the specification. The media may further hold one or more instructions for modifying the algorithm model based on the specification changes, and the media may hold one or more instructions for storing the modified algorithm model. | 01-19-2012 |
20120022848 | COMPUTER-AIDED MODELING - To enable the utilization of a definition or definitions once made as the definitions of a similar object, a set of conditions for similarity including one or more conditions is defined and a set of definitions, which explicitly or inexplicitly indicates one or more definitions, of which at least one will be applied, and a similar object is searched for. If the set of definitions is related to an object which was used as the basis for defining the set of conditions for similarity, the set of definitions is applied to the object found. If the set of definitions is related to an object to be found, the set of definitions of the object found is applied to the object which was used as the basis for defining the set of conditions for similarity. | 01-26-2012 |
20120022849 | PLC SYMBOL STRUCTURE FOR A PLC CODE FOR AUTOMATICALLY GENERATING AN INPUT/OUTPUT MODEL, AND SIMULATION APPARATUS AND SIMULATION METHOD FOR TESTING THE PLC CODE USING SAME - Disclosed are a PLC (Programmable Logic Controller) symbol structure for a PLC code for automatically generating an input/output model, and a simulation apparatus and a simulation method for testing the PLC code using the same. In one embodiment, a computer-readable recording medium records a PLC code including a plurality of PLC symbols, wherein each of the PLC symbols includes a plurality of levels identified by an identifier, and a computer automatically generates an input/output model using the structure of each of the PLC symbols, thereby performing a simulation for testing the PLC code. The PLC symbol structure according to one embodiment systematically contains information required for automatically generating the input/output model, making it possible to automatically generate the input/output model for testing the PLC code in an easier manner without knowledge of simulation and modeling, and reducing the time consumed and the labor required for generating the input/output model. | 01-26-2012 |
20120029901 | System and method for time virtualization in computer systems - A system and method for time virtualization, comprising a time virtualizer running on a first digital computer and adapted to intercept time-dependent requests from a plurality of applications executing on the first or another digital computer, wherein on intercepting a time-dependent request from an application, the time virtualizer returns an expected result to the requesting application comprising a virtual time rather than a clock time, the virtualized time being established by the time virtualizer and differing from the clock time, is disclosed. | 02-02-2012 |
20120078606 | DEVELOPING SYSTEM AND METHOD FOR OPTIMIZING THE ENERGY CONSUMPTION OF AN APPLICATION PROGRAM FOR A DIGITAL SIGNAL PROCESSOR - A developing system and method for optimizing the energy consumption of an application program for a DSP are provided. The system includes an instructional wise energy consumption database, a program code generating unit, a program compiling unit, and a DSP simulator; wherein the instructional wise energy consumption database includes energy consumption data of a DSP when the DSP executes at least one instruction; the program code generating unit is adapted to edit and generate a program code; the program compiling unit is adapted to receive the program code, and according to the program code and the instructional wise energy consumption database it compiles the program code, and generate a plurality of assembly codes; the DSP simulator is adapted to receive the assembly codes and at least one stimulus, to simulate the total and the amount of energy every instruction of the assembly codes consume, and transmit the results to the program compiling unit; as the total energy consumption result higher than a predetermined energy consumption value, the program compiling unit modifies the compiling scheme to recompile the program code and transmits the new assembly codes to the a DSP simulator, until the simulation results reach or lower than the predetermined energy consumption value, if the program compiling unit cannot meet the limitation with all the existing compiling scheme, the simulation results will transmit to the program code generating unit to allow to edit or recompose the program code according to the simulation results and meet the expected energy consumption value. | 03-29-2012 |
20120084070 | BI-DIRECTIONAL PROJECTION - In an embodiment, one or more computer-readable media holding executable instructions is provided. The instructions may be executed on a processing device to project a specification to a platform environment that includes a system model. The media may hold one or more instructions for accessing an algorithm model, the algorithm model being associated with the specification. The media may further hold one or more instructions for projecting the specification to the system model via a forward projection. The media may hold one or more instructions for receiving a reverse projection that includes specification changes, the specification changes identifying suggested changes to the specification. The media may further hold one or more instructions for modifying the algorithm model based on the specification changes, and the media may hold one or more instructions for storing the modified algorithm model. | 04-05-2012 |
20120101800 | MODEL CHECKING FOR DISTRIBUTED APPLICATION VALIDATION - A model checking system is described herein that more effectively verifies and validates the design of distributed applications by providing a model and a generic framework to check application invariant properties, detect anomaly behaviors, and monitor application health. The model checking system checks on-line application behavior against application models derived from formal descriptions of the application. The system formulates the concrete application as an abstract model and a number of rules or properties that are expected to hold for the application under all conditions. The model checker compares the actual application execution with the models and either confirms that the properties hold true or reports that the properties are violated. Thus, the model checking system provides more efficient and thorough validation of distributed applications under more realistic production conditions. | 04-26-2012 |
20120101801 | SYSTEM AND METHOD FOR DEPLOYING A SOFTWARE PROGRAM - A method for deploying a software program on a target computing device includes receiving late-binding configuration actions; combining the late-binding configuration actions with a target computing device-specific model to produce a final configuration model; and providing the final configuration model to the target computing device. The final configuration model is executed by the target computing device to configure the target computing device with the software program. | 04-26-2012 |
20120101802 | PREDICTION APPARATUS, PREDICTION METHOD, AND RECORDING MEDIUM - Response performance of a new type of transaction processing based on a new program, when the new type of transaction processing is executed by a computer of an information processing system, is predicted. The information processing system executes transaction processing requiring access to a database system in response to an external processing request. Upon prediction of response performance each value of a plurality of parameters related to operation that affects response speed of a database system assumed in the new type of transaction processing is acquired. The acquired each value of the plurality of parameters is inputted to a predetermined evaluation formula to calculate an evaluation value related to response performance of the new type of transaction processing. | 04-26-2012 |
20120116747 | Recommending Alternatives For Providing A Service - In certain embodiments, one or more current service elements that can provide a service for a client are monitored. An event associated with a current service element is detected. One or more candidate service elements are analyzed with respect to the one or more current service elements operating for the client. The one or more candidate service elements operate in a client scenario corresponding to the client. A recommendation is provided in response to the analysis. | 05-10-2012 |
20120130702 | VERIFICATION OF A COMPUTER PROGRAM IN RESPECT TO AN UNEXPECTED RESPONSE TO AN ACCESS REQUEST - Testing a computer program comprises identification of resource access requests by the computer program to a resource provided by an underlying host. The resource access requests may be intercepted and a determined response may be returned instead of the actual response of the underlying host. In some exemplary embodiments, the resource may a clock of the underlying host and the response may be the time of the clock. In some exemplary embodiments, the computer program may be tested to check for validity during execution on a cloud computing environment, in which access to resources may yield results that on a non-cloud computing environments are generally not expectable. The testing may be performed on a non-cloud computing environments and simulate scenarios applicable to cloud computing environments. | 05-24-2012 |
20120130703 | METHODS AND APPARATUS FOR ADVANCING TIME IN A DISTRIBUTED BUSINESS SIMULATION - Methods and apparatus for advancing time in a distributed business process simulation are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial transaction system, in a secure distributed manner. Each business entity that is part of the interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, simulation time may be warped from one breakpoint to another breakpoint thereby facilitating an efficient ratio of simulation time to real time. | 05-24-2012 |
20120136644 | PREDICTING SYSTEM PERFORMANCE AND CAPACITY USING SOFTWARE MODULE PERFORMANCE STATISTICS - An approach for predicting performance and capacity of an information technology (IT) system before the IT system is built is described, where the predicting uses a database of performance statistics measured for reusable software modules. A performance simulation modeling tool receives a set of performance statistics of a test computer. The set of performance statistics is associated with a set of software modules included in a library of reusable software modules. The set of software modules is required to build a target IT system. The set of performance statistics is received from a database of performance statistics resulting from individual executions on the test computer of each reusable software module in the library. The performance simulation modeling tool predicts computing resources required by the target IT system. The computing resources prediction follows the receipt of the set of performance statistics and precedes the target IT system being built. | 05-31-2012 |
20120143588 | CONCURRENT WORKLOAD SIMULATION FOR APPLICATION PERFORMANCE TESTING - Embodiments of the present invention provide a method, system and computer program product for concurrent workload simulation for application performance testing. In an embodiment of the invention, a method for concurrent workload simulation for application performance testing is provided. The method includes loading a list of recorded workloads for different tasks of a computing application under test in a workload simulator executing in memory by at least one processor of a host computer. The method also includes grouping the recorded workloads by common task in a corresponding block. Finally, the method includes generating loads for simulating performance of the computing application under test from the grouped workloads so as to require serial execution of workloads in a common block in order of appearance in the common block, but to allow concurrent execution of workloads in different blocks. | 06-07-2012 |
20120150526 | MODELIZING RESOURCES AND EXTERNAL DATA OF A PROGRAM FOR PROCEDURAL LANGUAGE CODING - A computer-implemented method of representing a software application to be coded in a procedural language is provided. An initial UML class diagram modelizing the software application is received. Data definition classes within the initial UML class diagram are identified. Class operations within the initial UML class diagram are identified. The initial UML class diagram is modified by a processor to generate an extended UML class diagram by applying a data object stereotype to the identified data definition classes, and applying a program stereotype to the identified class operations. The data definition classes represent logical data, and the class operations represents programs. | 06-14-2012 |
20120179447 | Hybrid Simulation System and Method - A hybrid simulation model includes a real model, a bus interface and an acceleration model. The real model simulates a group of instructions. The acceleration model includes a trace generation unit, a trace replay unit, a selection unit, a snapshot generation and load unit and a virtual breakpoint control unit. The trace generation unit records at least one trace file of the real model in a first simulation. The trace replay unit reads and accordingly accesses the at least one trace file. The selection unit dynamically switches to perform a real simulation or a trace simulation. The snapshot generation and load unit generates at least one status snapshot file and loads the at least one status snapshot file to the real model in repeated simulations. The virtual breakpoint control unit controls the selection unit to switch between the trace simulation and the real simulation according to a virtual breakpoint. | 07-12-2012 |
20120185232 | SYSTEM AND METHOD FOR PROVIDING A STATIC MODEL MAP OF BEHAVIORS IN A MIDDLEWARE SYSTEM, FOR USE IN IDENTIFYING SYSTEM PROBLEMS - A system and method for providing a static model map of behaviors in a middleware system, for use in identifying system problems. In accordance with an embodiment, the system provides a view of the system, such as a middleware system, which allows for analysis of the various components involved, such that analysis of one component does not affect the analysis of a second component. Locations within the middleware system where a particular request spends its time before returning a response are broadly categorized into either “wait” or “execution” locations. Irrespective of which request calls a component, the components exhibit the same behaviors which affect the response time of the request serviced. These exhibited behaviors are static and can be predefined for different types of components and analyzed independently of each other. In turn the behaviors can be similarly classified as either “wait” or “execution”, each of which can be considered aspects of a component. Each aspect of a component must satisfy the same efficiency/inefficiency as defined by the requirements on the middleware system. An aspect that does not meet the criteria is considered a “problem aspect” and is analyzed further to find the cause of the problem. | 07-19-2012 |
20120185233 | Method and System for Analyzing Temporal Flow Characteristics - A method and a system for analyzing temporal flow characteristics by which processing times for module labels of program modules can be graphically represented in a display to provide a user of an industrial controller with an enhanced way to analyze a distribution of the computing times of each individual program module. | 07-19-2012 |
20120191443 | MODEL BASED VERIFICATION USING INTELLIGENT CONNECTORS - Verifying operation of a device, where the device may have one or more inputs and one or more outputs, with at least one input and/or output associated with an intelligent connector. The intelligent connector is a data structure that contains the name of a variable transported by that connector, an address of the variable itself as a value in memory, and further information of the device producing the variable, at least in the form of address or pointer to the device data structure and the addresses of all other devices consuming that variable. | 07-26-2012 |
20120191444 | SIMULATION DEVICE, SIMULATION METHOD, AND COMPUTER PROGRAM THEREFOR - Disclosed is a simulation device capable of simulating a functional IP with high accuracy. The simulation device includes a first CPU that controls the functional IP by executing a user program, a second CPU that simulates the functional IP by executing a simulator program, and a shared memory that is accessed by the first and second CPUs. In the shared memory, a built-in register area corresponding to a built-in register of the functional IP is mapped. The first CPU writes data into the built-in register area to control the simulation to be performed by the second CPU. The second CPU simulates the functional IP in accordance with the data written in the built-in register area. Consequently, the functional IP can be simulated with high accuracy. | 07-26-2012 |
20120197625 | Data-dependency-Oriented Modeling Approach for Efficient Simulation of OS Preemptive Scheduling - In the present disclosure, the DOM approach for the simulation of OS preemptive scheduling has presented and demonstrated. By maintaining the data-dependency between the software tasks, and guaranteeing the order of shared variable accesses, it can accurately simulate the preemption effect. Moreover, the proposed DOM OS model is implemented to enable preemptive scheduling in SystemC. | 08-02-2012 |
20120197626 | Method and System for Predicting Performance of Software Applications on Prospective Hardware Architecture - A system and method for identifying optimal system architectures for a reference application are provided. The system and method comprise executing a reference application and a plurality of test applications on a current system architecture and sampling performance data for each of the applications. The performance data is used to compute an application signature for each application. A similarity element is derived from the application signatures that illustrates the similarity between each application and every other application. Using a similarity threshold and an algorithm, a subset of test applications that are similar to the reference application are derived. | 08-02-2012 |
20120203534 | SYSTEM AND METHOD FOR DETECTING UNREACHABLE STATES IN A STATEMATE STATECHART MODEL - 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. | 08-09-2012 |
20120203535 | Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking - Formal verification of models using concurrent model-reduction and model-checking. For example, a system for formal verification of models includes: one or more model reducers to reduce a model; one or more model checkers to check the model, wherein at least one of the model reducers is to run concurrently with at least one of the model checkers; and a model synchronizer to synchronize information between at least one of the model reducers and at least one of the model checkers. | 08-09-2012 |
20120203536 | METHOD AND SYSTEM FOR SOFTWARE BEHAVIOUR MANAGEMENT - A performance or reliability model representing the behaviour of an application under different system resource conditions is provided. This model may take the form of one or more sparse matrix providing a reliability or performance values for different combinations of conditions. This model is distributed to a user of the application, and is consulted during execution of the application with reference to system resource information provided by the operating system or other monitoring software so as to provide an indication of the expected performance of the application under present operating conditions. This indication may be notified to a user, for example in a case where the indication falls outside predetermined bounds of satisfactory operation. The system may also attempt to renegotiate attributed system resources to as to improve performance. | 08-09-2012 |
20120209586 | Contextual Demonstration of Applications Hosted on Multi-Tenant Database Systems - Mechanisms and methods for providing a contextual demonstration of a customer relationship management (CRM) system can be tailored to illustrate the user-specific benefits of the CRM. An example method can include sending instructions to display a user interface having at least one pre-defined field on an electronic device's display. An explicit input corresponding to one of the pre-defined fields and made at the user interface can be received. A selection of the type of simulation can be received. The explicit input and the selected type of simulation can be processed to generate at least one output. Each output can represent a correlation between the explicit input and at least one of the at least one pre-defined fields. A presentation can be generated based at least in part on the at least one output and the selection of the type of simulation. The presentation can be displayed at the user interface. | 08-16-2012 |
20120232880 | PERFORMANCE ASSESSMENT OF A PROGRAM MODEL - An apparatus and a computer-implemented method performed by a computerized device comprising: receiving a model describing an aspect of a computer program; and determining comparative performance assessment of a property of the model by operating the model. | 09-13-2012 |
20120239375 | Standardized Modeling Suite - An enhanced modeling tool associated with an entity may facilitate end-to-end modeling of problems in any application space. The enhanced modeling tool may collect modeling data from a variety of sources, check the collected data, find the best predictor variables for a given target variable, estimate the model, implement the model, and validate the model. The output of each of these steps may be in a standardized format to allow other steps to directly incorporate the output. An additional feature of the system may include a reporting capability that generates supporting documents related to model governance and risk compliance. | 09-20-2012 |
20120239376 | PREDICTING PERFORMANCE OF A CONSOLIDATED VIRTUALIZED COMPUTING ENVIRONMENT - Implementations of the present disclosure provide computer-implemented methods for predicting a performance of a consolidated virtualized computing environment. Methods include processing benchmark workloads using a plurality of virtual machines to generate a plurality of traces, each trace including data corresponding to requests issued by a respective virtual machine operating in an isolated environment, storing the plurality of traces in one or more trace repositories, each trace repository provided as a computer-readable storage medium, selecting a trace from the plurality of traces stored in the one or more trace repositories, parameterizing a queuing model based on the trace, the queuing model representing request queuing in the consolidated virtualized computing environment, and processing the queuing model using one or more processors to generate one or more response time estimates for the consolidated virtualized computing environment. | 09-20-2012 |
20120245917 | Virtualized Policy Tester - Embodiments of the present invention are directed to testing policy changes associated with a production network. A virtual network that represents at least a portion of the production network can be generated. A first transaction log based on a first execution of the virtual network using test traffic and a first set of policies that are implemented in the production network can be obtained. A second transaction log based on a second execution of the virtual network using the test traffic and a second set of policies to be implemented in the production network can be obtained. Based on a comparison of the first and second transaction logs, it can be determined whether the second set of policies has a desired effect in the virtual network. | 09-27-2012 |
20120278059 | SYSTEM AND METHOD FOR EXAMINING CONCURRENT SYSTEM STATES - A computer-implemented process, computer program product, and apparatus for examining concurrent system state space models. A system has concurrent events to create a modeled system. A minimal chain decomposition of the modeled system is created to identify a set of chains. All chains in the set of chains are extended, and a first set of paths is generated, wherein the first set of paths is a minimal set of paths covering all states of the modeled system. The first set of paths is explored. It is optionally determined whether all transitions have been covered. Responsive to a determination that all transitions have not been covered, remaining paths are explored by traversing a graph induced by the modeled system using a depth-first strategy. | 11-01-2012 |
20120284009 | SYSTEM AND METHOD FOR ADAPTING SOFTWARE ARCHITECTURE - The present invention is a method for determining during run-time an adaptation to a software architecture comprising a plurality of components. The method includes the steps of—evaluating constraints for the adaptation relating to a functional dependence of components of the software architecture,—determining during run-time a context for the software architecture taking into account information on the state of the architecture,—selecting among a plurality of context models a context model corresponding to the determined context,—evaluating constraints for the adaptation imposed by the selected context model,—taking a decision on performing the adaptation based on the outcome of the evaluation steps. | 11-08-2012 |
20120290283 | Workload Partitioning Procedure For Null Message-Based PDES - An embodiment of the invention includes applying a first partition to a plurality of LPs, wherein a particular LP is assigned to a first set of LPs. A second partition is applied to the LPs, wherein the particular LP is assigned to an LP set different from the first set. For both the first and second partitions, lookahead values and transit times are determined for each of the LPs and related links. For the first partition, a first system progression rate is computed using a specified function with the lookahead values and transit times determined for the first partition. For the second partition, a second system progression rate is computed using the specified function with the lookahead values and transit times determined for the second partition. The first and second system progression rates are compared to determine which is the lowest. | 11-15-2012 |
20120296624 | Monitoring Enterprise Performance - The techniques provided herein include obtaining a model of an enterprise operation that specifies initiation and one or more evolution milestones of one or more business entities, formulating one or more performance metrics for the enterprise operation, wherein the one or more performance metrics are calculated from the one or more business entities, the one or more evolution milestones, and one or more relevant external events, and using the one or more business entities and one or more performance metrics to automatically create an executable performance monitoring model for the enterprise operation, wherein the executable performance monitoring model processes data in the one or more business entities, the one or more evolution milestones, and the one or more relevant external events to compute the one or more performance metrics for the enterprise operation. | 11-22-2012 |
20120323550 | SYSTEM AND METHOD FOR SYSTEM INTEGRATION TEST (SIT) PLANNING - A method is implemented in a computer infrastructure having computer executable code tangibly embodied on a computer readable storage medium having programming instructions. The programming instructions are operable to receive a system architecture model of a system and receive trigger coverage rules. Additionally, the programming instructions are operable to determine system integration test (SIT) coverage for each connection and interface of the system architecture model and select a set of use cases execution scenarios to satisfy the SIT coverage. | 12-20-2012 |
20120323551 | SYSTEMS AND METHODS FOR HIGHLY PARALLEL PROCESSING OF PARAMETERIZED SIMULATIONS - Systems and associated methods for highly parallel processing of parameterized simulations are described. Embodiments permit processing of stochastic data-intensive simulations in a highly parallel fashion in order to distribute the intensive workload. Embodiments utilize methods of seeding records in a database with a source of pseudo-random numbers, such as a compressed seed for a pseudo-random number generator, such that seeded records may be processed independently in a highly parallel fashion. Thus, embodiments provide systems and associated methods facilitating quicker data-intensive simulation by enabling highly parallel asynchronous simulations. | 12-20-2012 |
20120330639 | AUTOMATIC MODEL EVOLUTION - A method includes performing, on a processor, evaluating log data; determining at least one discrepancy between the log data and a system model; generating a candidate model based on the discrepancy and a model template; and updating the system model based on the candidate model. | 12-27-2012 |
20130013284 | SYSTEM AND METHODS FOR MODELING AND ANALYZING QUALITY OF SERVICE CHARACTERISTICS OF FEDERATED CLOUD SERVICES IN AN OPEN ECO-SYSTEM - A system and methods for modeling and analyzing Quality of Service (QoS) characteristics of federated cloud services in an open eco-system is disclosed. A plurality of system entities of a federated service system are identified, and each of the system entities is classified to provide a plurality of entity classifications. A plurality of inter-entity relationships of the system entities are identified, and each of the inter-entity relationships is classified as a primitive model to provide a plurality of inter-entity relationship classifications. A composite model of the federated service system comprising the system entities, the entity classifications, the inter-entity relationships, and the inter-entity relationship classifications is generated. | 01-10-2013 |
20130035924 | Electronic Data Processing System Having A Virtual Bus Server Application - An electronic data processing system comprises a first application program that is capable of operating in a first mode and a second mode. The first mode comprises software emulation of a vehicle data bus and one or more network elements. The second mode comprises communications access to the vehicle bus and the one or more network elements. The electronic data processing system is capable of executing an operating system. A virtual bus server application comprises a shared memory and a message router. The operating system facilitates communication between at least two dynamic link libraries in shared memory. The message router is capable of routing data messages between the first application and a first hardware module as a network element in the second mode. A first dynamic link library interface provides an interface between the first application program and the virtual bus server application. The first dynamic link library is capable of communicating with the shared memory of the virtual bus server application. A second dynamic link library interface provides an interface between the virtual bus server application and the first hardware module. The second dynamic link library is capable of communicating with the shared memory of the virtual bus server application. | 02-07-2013 |
20130054220 | ARRANGEMENTS FOR EXTENDING CONFIGURATION MANAGEMENT IN LARGE IT ENVIRONMENTS TO TRACK CHANGES PROACTIVELY - Methods and arrangements for tracking changes in an information technology environment. Configuration dependencies are learned in a production environment, and a model of the production environment is built. Events on a target system in the production environment are subscribed to. Events are received and correlated with the model to generate an enhanced model, and the enhanced model is thereupon employed to predict configuration errors. | 02-28-2013 |
20130054221 | GENERATING SPECIFICATIONS FOR EXPRESSION LANGUAGE EXPRESSIONS AND TAG LIBRARIES - Systems and methods are provided for creating a data structure associated with a software application that is based on at least one framework. According to the method, at least one Java Server Page file associated with the software application is analyzed. The Java Server Page (JSP) file includes at least one call to at least one library tag, and at least one Expression Language (EL) expression. A set of tag library usage information for the JSP file is generated based. The set of tag library usage information includes at least one variable, and a value of the at least one variable created by the at least one call. The EL expression is evaluated based on the variable and the value of the variable. A data structure is created for a static analysis engine based on EL expression. The data structure includes at least one Java expression representing the EL expression. | 02-28-2013 |
20130066621 | Automated Discovery of Resource Definitions and Relationships in a Scripting Environment - Embodiments of the invention use incomplete metadata, automated heuristics, and user input to construct a data model implemented by a set of commands used in a scripting environment. A combination of a static analysis and a runtime analysis of the scripting environment may be used to determine the data model. Commands that enumerate resources are identified. Return types for the commands are discovered either from a definition of the command or by running the command with default parameters. Properties for the return types are identified and key fields are identified for indexing. Relationships between the return types are identified, and additional commands associated with the return types are identified. The return type properties are analyzed to identify updatable return types. A data model of the scripting environment is created from the collected information. | 03-14-2013 |
20130066622 | SIMULATION OF STATIC MEMBERS AND PARAMETERIZED CONSTRUCTORS ON AN INTERFACE-BASED API - Embodiments are directed to providing a simulation of a type-level construct on an interface instance and to maintaining a token-based event handling system. In one scenario, a computer system instantiates an interface instance that includes an instance object and multiple instance members. The computer system also instantiates a separate typed object which is configured to maintain one or more simulated type-level parameterized constructors. The computer system then associates the instantiated interface instance with the separate typed object. The typed object routes method invocations from the interface instance to various simulated type-level parameterized constructors and static members of the type. | 03-14-2013 |
20130080142 | Predicting Resource Requirements for a Computer Application - A resource consumption model is created for a software application, making it possible to predict the resource requirements of the application in different states. The model has a structure corresponding to that of the application itself, and is interpreted to some degree in parallel with the application, but each part of the model is interpreted in less time than it takes to complete the corresponding part of the application, so that resource requirement predictions are available in advance. The model may be interpreted in a look-ahead mode, wherein different possible branches of the model are interpreted so as to obtain resource requirement predictions for the application after completion of the present step. The model may be derived automatically from the application at design or compilation, and populated by measuring the requirements of the application in response to test scenarios in a controlled environment. | 03-28-2013 |
20130085742 | SERVICE LEVEL AGREEMENT-AWARE MIGRATION FOR MULTITENANT DATABASE PLATFORMS - A method for migration from a multitenant database is shown that includes building an analytical model for each of a set of migration methods based on database characteristics; predicting performance of the set of migration methods using the respective analytical model with respect to tenant service level agreements (SLAs) and current and predicted tenant workloads, where the prediction includes a migration speed and an SLA violation severity; and selecting a best migration method from the set of migration methods according to the respective predicted migration speeds and SLA violation severities. | 04-04-2013 |
20130103379 | APPARATUS AND METHOD FOR VERIFYING INTEROPERABILITY BETWEEN APPLICATION SOFTWARE AND AUTOSAR SERVICE - The present invention relates to an apparatus and method for verifying interoperability between application software and AUTOSAR services. The apparatus includes an AUTOSAR interoperability configuration unit configured to configure an interoperability relationship between AUTOSAR service components defined to provide the AUTOSAR services and the components of the application software for an Electronic Control Unit (ECU) performing functions requested by the application software and a simulation unit configured to perform simulations in order to verify whether the interoperated AUTOSAR service components and the components of the application software are normally driven or not based on scheduled task timing. | 04-25-2013 |
20130117006 | SIMULATED BOOT PROCESS TO DETECT INTRODUCTION OF UNAUTHORIZED INFORMATION - Techniques involving a simulated start-up or “boot” process to detect the introduction of unauthorized code or data into the boot process. In one embodiment, a boot process is performed to initiate a computing system. The boot process is then simulated using the initiated computing system to detect unauthorized modifications introduced into the computing system prior to the computing system's operating system being operational. | 05-09-2013 |
20130124184 | CONTROLLER SUPPORT DEVICE, SIMULATION METHOD OF CONTROL PROGRAM, SUPPORT PROGRAM FOR A CONTROLLER, AND COMPUTER READABLE STORAGE MEDIUM FOR STORING THE SUPPORT PROGRAM OF THE CONTROLLER - A sequence control portion of a control program is configured to execute simulation for one period to generate an execution result related to the sequence control portion. A motion control portion is configured to execute simulation for one period to generate an execution result related to the motion control portion. A control period number is then increment updated. Whether or not a resumable control period is determined, and if determined as the resumable control period, content of a resuming data buffer ( | 05-16-2013 |
20130132060 | PREDICTING SERVICE REQUEST BREACHES - An approach for prioritizing work requests to resolve incidents in an information technology (IT) infrastructure is presented. Historical data of work requests to resolve incidents in the IT infrastructure is divided into first and second data sets. A first set of data fields of work requests in the first data set is used to generate incident concept(s). The incident concept(s) are combined with a second set of data fields of the work requests in the first data set to form a set of predictive variables. Utilizing the predictive variables, a statistical model is generated for predicting whether or not work requests will be resolved in accordance with a service level target. The statistical model is validated using the second data set. The statistical model is deployed to the IT infrastructure. | 05-23-2013 |
20130144591 | Computer Method And Apparatus Converting Process Engineering Application Data Into A Canonical Flowsheet Representation - Process engineering software applications have respective proprietary in nature and disconnected model representations of a manufacturing or processing facility. The invention method and apparatus extract from the various applications topology of equipment and streams for a facility. From the extracted data, a convertor or adapter of the invention system derives a common canonical model. To support the common canonical model (e.g., a Flowsheet object in embodiments), the converter/adapter maps or associates one or more physical assets to a logical asset, and arranges a working hierarchy of assets that can be navigated, queried and filtered. | 06-06-2013 |
20130151229 | METHODS AND APPARATUS FOR SIMULATING RISK TOLERANCE AND ASSOCIATED ADVERSARY COSTS IN A DISTRIBUTED BUSINESS PROCESS - Methods and apparatus for simulating risk tolerance and associated adversary costs in a distributed business process are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial transaction system, in a secure distributed manner. Each business entity that is part of the interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, the simulation server receives inputs from users indicative of risk tolerance levels and associated response actions. If the operational costs imposed by a selected response action are greater than a deterrence threshold associated with a particular adversary, the adversary is not deterred from causing a certain disruption to the simulated competitive market environment. If the operational costs imposed by a selected response action are greater than the deterrence threshold the adversary is deterred. | 06-13-2013 |
20130158974 | MODELING AND PREDICTING CONTROL SYSTEM BEHAVIOR THROUGH FAST-FORWARDING - Methods and systems for modeling and predicting control system behavior through fast-forwarding are provided herein. The method includes obtaining sets of equivalent inputs, time zones, and a user-defined stop time. The method also includes taking a primary checkpoint of a main instance of a control system in response to a user input. The method includes fast-forwarding the control system by generating a secondary instance from the main instance at the primary checkpoint and subjecting the secondary instance to each combination of an input from each of the sets of equivalent inputs in each time zone. The method includes taking a secondary checkpoint from the primary checkpoint for each combination. For each secondary checkpoint, the method includes fast-forwarding the control system by generating a tertiary instance from the secondary instance and subjecting the tertiary instance to each combination as long as a time does not exceed the user-defined stop time. | 06-20-2013 |
20130166271 | SIMULATING AND TESTING AVIONICS - An avionics application host system and method for simulating and/or testing a plurality of partitioned applications arranged to be periodically executed on a target system. The target system is a distributed avionics control system of an aerial vehicle. The host system includes a plurality of functional modules. The plurality of functional modules includes: an application module arranged to import the plurality of partitioned applications in un-modified form, a configuration module arranged to configure the operations of the host system, at least one communication module arranged to provide communication between the partitioned applications, a control module arranged to provide coordinated execution time to the functional modules, a service module associated to each imported partitioned application arranged to provide services to the imported partitioned applications so as to enable execution of the imported partitioned applications and to preserve the temporal order of events related to communication and execution. | 06-27-2013 |
20130185047 | SIMULATION MODELLING - A method of simulation including selecting program elements from a library to use in a simulation model defining a network including the program elements and interactions therebetween. The method stores the simulation model and divides the simulation model into portions each having at least one program element. The method also runs each portion on a processing core and collating the results. A simulation architecture having a first library containing program elements is also included. The architecture includes a second library that contains a simulation model network that defines interactions between program elements and links to selected program elements in the first library. There is a plurality of processing cores to run portions of the simulation model and a controller to allocate portions of the simulation model to each of the plurality of processing cores dependent on the number of interactions between program elements. | 07-18-2013 |
20130204603 | METHODS AND APPARATUS FOR SIMULATING A DISTRIBUTED BUSINESS PROCESS - Methods and apparatus for simulating a distributed business process are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial transaction system, in a secure distributed manner. Each business entity that is part of the interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, if a client based model is not available, the server supplies a software agent to replace the inputs and outputs normally associated with that portion of the overall simulation. | 08-08-2013 |
20130211811 | Electrical Submersible Pump Design Parameters Recalibration Methods, Apparatus, and Computer Readable Medium - Apparatus, computer readable medium, program code, and methods for performing a parameter recalibration on parameters for an electrical submersible pump application model, are provided. An example of a method can include generating a data set containing a plurality of winning data sets or rows containing ESP application model input parameters and associated theoretical output parameters for an ESP application model substantially matching a corresponding set of measured ESP output parameters, through application of a self-organizing map analysis on a substantial number of training data sets. An averaging analysis is performed on the plurality of winning data sets or rows to obtain a set of ESP application model input parameters that can be used to recalibrate the ESP application model. | 08-15-2013 |
20130211812 | CONVEYING DATA FROM A HARDWARE DEVICE TO A CIRCUIT SIMULATION - system and method is described for connecting a logic circuit simulation to a hardware peripheral that includes a computer running software for communicating data to and from the hardware peripheral. The software transmits the data received from the hardware peripheral to the device being simulated by the logic circuit simulation. The computer also transmits the data received from the device being simulated by the electronic circuit simulation to the hardware peripheral. This allows the user to test the device being simulated using real hardware for input and output instead of simulated hardware. | 08-15-2013 |
20130246038 | EMULATOR UPDATING SYSTEM AND METHOD - One embodiment includes a method and computer program product for distributing and/or receiving a first emulator extension with respect to an emulator capable of performing an emulation using emulation code. The first emulator extension includes program instructions that aid in the process of emulating in order to detect potentially unwanted computer software. Such program instructions of the first emulator extension are additional beyond that associated with the emulator code, for assisting the emulator code in the emulation by patching the additional program instructions into the emulator in order to aid in detecting the potentially unwanted computer software within the suspect code. In use, an emulation is performed using the first emulator extension and the suspect code. The emulation is performed within an insulated environment in a computer system so that the computer system is insulated from potentially unwanted actions of the suspect code. | 09-19-2013 |
20130262074 | Machine Learning for a Memory-based Database - An enterprise database is accessed through semantic labels to develop models that enhance the database. A database of business objects is accessed, the business objects including data tables that relate semantic labels to enterprise data. One or more rules that use the semantic labels are applied to select enterprise data corresponding to the semantic labels. The selected enterprise data are used to determine modeling parameters that relate a semantic-label input set to a semantic-label output set, the semantic-label input set and the semantic-label output set each including at least one of the semantic labels. The modeling parameters are used to generate a simulation table that predicts an operational range of at least one business object corresponding to at least one of the semantic labels. The at least one business object is augmented in the database by including the simulation table in the at least one business object. | 10-03-2013 |
20130268257 | SYSTEM AND METHOD FOR ENERGY USAGE ACCOUNTING IN SOFTWARE APPLICATIONS - A method for generating an energy usage profile for a software program executed in a computing device includes generating a call trace of an executed system call, identifying a first power consumption and duration of a first power state due to the first system call using a model, identifying a second power consumption and duration of a second power state based on the model, and generating an energy usage profile for the software program. The energy usage profile includes energy consumption of the computing device for the system call based on the first power consumption level multiplied by the first duration and the second power consumption level multiplied by the second duration associated an identifier for the call trace. | 10-10-2013 |
20130282357 | OPTIMIZATION METHOD IN A VEHICLE-TO-VEHICLE COMMUNICATION SYSTEM - A method of optimizing a vehicle-to-vehicle communication system is described. One embodiment uses a set of desired and defined metrics of success, combined with pre-recorded operating histories, combined with a series of simulations to optimize certain specific parameters in the vehicle-to-vehicle communication protocol. | 10-24-2013 |
20130282358 | Modifying a Virtual Processor Model for Hardware/Software Simulation - A method of transforming a provided virtual processor model to a user virtual processor model. Also a tool, e.g., provided as instructions for operating in a host computer system for converting a provided virtual processor model to a user virtual processor model. Also a method of specifying one or more characteristics of a target processor to transform a provided virtual processor model to a user virtual processor model that when operating in a c-simulation system, simulates the operation of the target processor. For example, a method of specifying one or more characteristics of instructions to transform a provided virtual processor model to a user virtual processor model. | 10-24-2013 |
20130289968 | STATEFUL SIMULATION - Systems, methods, and computer-readable and executable instructions are provided for generating a stateful simulation program. Generating a stateful simulation program can include arranging a number of recorded request-response pairs in a sequence order to generate a number of tracks. Generating a stateful simulation program can also include assigning a state to each of the number of request-response pairs and calculating a cost for each state based on a number of current requests. Furthermore, generating a stateful simulation program can include generating the stateful simulation program based on a selected state with a desired cost. | 10-31-2013 |
20130332142 | METHODS AND APPARTUS FOR PERFORMING POWER ESTIMATION IN CIRCUITS - Power consumption is estimated for an application being executed by a circuit. Power consumption values are estimated for a set of base events executed by the circuit. The application is then reduced to an equivalent sequence of base events selected from the set of base events. Lastly, the estimated power consumption values for the base events in the equivalent sequence of base events are summed. | 12-12-2013 |
20130346058 | SIMULATING VECTOR EXECUTION - A system and method for simulating new instructions without compiler support for the new instructions. A simulator detects a given region in code generated by a compiler. The given region may be a candidate for vectorization or may be a region already vectorized. In response to the detection, the simulator suspends execution of a time-based simulation. The simulator then serially executes the region for at least two iterations using a functional-based simulation and using instructions with operands which correspond to P or less lanes of single-instruction-multiple-data (SIMD) execution. The value P is a maximum number of lanes of SIMD exection supported both by the compiler. The simulator stores checkpoint state during the serial execution. In response to determining no inter-iteration memory dependencies exist, the simulator returns to the time-based simulation and resumes execution using N-wide vector instructions. | 12-26-2013 |
20140006000 | BUILT-IN RESPONSE TIME ANALYTICS FOR BUSINESS APPLICATIONS | 01-02-2014 |
20140012560 | Completion of Partial Coverage Tasks - A method, apparatus and product for completion of partial coverage tasks. The method comprising obtaining a partial coverage task defining a test with respect to a functional coverage model of a System Under Test (SUT), wherein the functional coverage model defining functional attributes and respective domains thereof, wherein the functional coverage model further defining one or more restrictions on value combinations of the functional attributes; and enhancing the partial coverage task to include an assignment of a value to a functional attribute, wherein the functional attribute is unassigned in the partial coverage task, wherein the value is an only valid assignment to the functional attribute in view of assignments of other functional attributes and in view of the restrictions. | 01-09-2014 |
20140012561 | MODELING AND EVALUATING APPLICATION PERFORMANCE IN A NEW ENVIRONMENT - A method for evaluating the performance of an application when migrated from a first environment in which the application is currently executing to a second, different environment includes generating a virtual application that mimics the resource consuming behavior of the application, executing the virtual application in the second environment, and evaluating the performance of the virtual application in the second environment. | 01-09-2014 |
20140012562 | MODELING AND EVALUATING APPLICATION PERFORMANCE IN A NEW ENVIRONMENT - A method for evaluating the performance of an application when migrated from a first environment in which the application is currently executing to a second, different environment includes generating a virtual application that mimics the resource consuming behavior of the application, executing the virtual application in the second environment, and evaluating the performance of the virtual application in the second environment. | 01-09-2014 |
20140032203 | METHODS AND APPARATUS FOR ADVANCING TIME IN A DISTRIBUTED BUSINESS PROCESS SIMULATION - Methods and apparatus for advancing time in a distributed business process simulation are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial transaction system, in a secure distributed manner. Each business entity that is part of the interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, simulation time may be warped from one breakpoint to another breakpoint thereby facilitating an efficient ratio of simulation time to real time. | 01-30-2014 |
20140039868 | User-Defined Application Models - A system (and corresponding method) that employs wiki-type models to consider authoring rather than composition in an application environment is provided. The innovation enables collaborative information and templates to be used to enhance quality, productivity, etc. within a software application environment. These wiki-type models can provide features, functions and benefits related to, but not limited to, general information, auto-fills, formats, schema, conversions, preferences, etc. | 02-06-2014 |
20140046648 | AUTOMATED SYSTEM AND METHOD FOR KNOWLEDGE TRANSFER, END USER SUPPORT AND PERFORMANCE TRACKING DURING A LIFE CYCLE OF ENTERPRISE APPLICATIONS - An automated system and method for knowledge transfer, end user support and performance tracking during a life cycle of an enterprise application are disclosed. In one embodiment, knowledge information associated with the enterprise application is captured. Further, a simulated enterprise application is created based on the captured knowledge information. In addition, the end users are allowed to use the simulated enterprise application and actual performance of the simulated enterprise application is tracked. | 02-13-2014 |
20140052433 | AUTOMATICALLY EXTRACTING A MODEL FOR THE BEHAVIOR OF A MOBILE APPLICATION - A method of modeling behavior of a mobile application includes determining an action associated with the mobile application based on source code of the mobile application. The method further includes dynamically crawling through the mobile application based on the action and generating a graphical user interface (GUI) behavioral model based on dynamically crawling through the mobile application. | 02-20-2014 |
20140067359 | AUTOMATED ITERATIVE ERROR SIMULATION - An example system may include error simulation capabilities. In one embodiment, the system obtains a configuration list associated with an application and a simulation trace associated with a first simulation of the application based on a simulation list. The configuration list comprises one or more functions associated with the application and one or more error return values for each function. The simulation list comprises zero or more functions to be executed during the first simulation. The system updates the simulation list based on the simulation trace. The system updates the simulation list based on the configuration list. The system updates the updated simulation list based on the configuration list. Upon determining that the updated simulation list comprises a function associated with the application, the system causes a second simulation of the application to be performed, wherein the second simulation is based on the updated simulation list. | 03-06-2014 |
20140067360 | System And Method For On-Demand Simulation Based Learning For Automation Framework - Systems and methods for on-demand simulation based learning for an automation framework. According to one embodiment, the system or method comprises an automated process in a real computing environment that encounters a novel, divergent, or defined state that the automation cannot handle. The state is replicated in a simulated computing environment which a user interacts with to resolve the simulated issue. The user's actions are captured and replicated in the real computing environment in order to resolve the issue. Optionally, the user's actions are analyzed and added to the automation database or rules. | 03-06-2014 |
20140074452 | SYSTEM AND METHOD FOR AUTOMATIC MODELING OF AN APPLICATION - A system and method for automatically generating a displayable model of an application. A first and second screenshots of a first and second screens produced by an application may be captured and stored in a model. Transition information related to a transition from the first to the second screen may be obtained and stored in the model. A session may be recorded by recording screenshots and related events. Other embodiments are described and claimed. | 03-13-2014 |
20140081616 | System And Method For Emulating And Profiling A Frame-Based Application Playing On A Mobile Device - A system, method and software product emulate and profile an application playing on a mobile device. The mobile device is emulated using a model based upon characteristics related to performance of the mobile device. The application is played and monitored within the model to determine resource utilization of the application for the mobile device. | 03-20-2014 |
20140088949 | SIMULATION APPARATUS, SIMULATION METHOD, AND SIMULATION PROGRAM - A simulation apparatus includes a processor that executes a simulation of a control program executed on a controller. The controller controls motion of a machine that handles an object. The processor includes: a motion control device that controls motion of a virtual machine based on a motion command to move the virtual machine in a virtual space, with the virtual machine corresponding to the machine; a determination device that determines whether a volume of a region, where a work space in which the virtual machine works overlaps with the virtual object, is equal to or greater than a predetermined reference value, the virtual object being handled by the virtual machine and corresponding to the object; and a follow-up device that makes the virtual object follow the motion of the virtual machine based on the motion command when the volume is equal to or greater than the reference value. | 03-27-2014 |
20140095142 | RESILIENT MOCK OBJECT CREATION FOR UNIT TESTING - Embodiments of the invention provide a method, system and computer program product for fault alerting in mock object supported unit testing. In an embodiment of the invention, a method for fault alerting in mock object supported unit testing is provided. The method includes creating in memory of a computing system an instance a mock object proxying for an object under test by test code and proxying by method name an invocation of a method in the object under test to the mock object. The method also includes determining whether or not a method exists in memory for the mock object corresponding to the method name. Finally, the method includes invoking an exception handler for the mock object outputting error text indicating a non-presence of a method associated with the method name responsive to a method by the method name not existing in the memory for the mock object, but otherwise invoking a method that exists in the memory of the mock object corresponding to the method name. | 04-03-2014 |
20140100840 | Systems and Methods for Creating Context Sensitive Graph Topologies Based on Multidimensional Context Information - In one embodiment, a computer-implemented method comprises receiving a first user instruction in a controller. The controller stores information about a first plurality of metaquarks and a first graph topology creating expression. The method further includes generating, by the controller, an original graph topology based on the first plurality of metaquarks and the first graph topology creating expression and the first user instruction, and generating first display information based on the original graph topology. The method may further comprise receiving a second user instruction in the controller; generating a second plurality of metaquarks and a second graph topology creating expression based on the second user instruction; generating, by the controller, a modified graph topology based on the first plurality of metaquarks, the second plurality of metaquarks, and the second graph topology creating expression; and generating second display information based on the modified graph topology. | 04-10-2014 |
20140163946 | MEMORY FRAME ARCHITECTURE FOR INSTRUCTION FETCHES IN SIMULATION - A simulation technique that handles accesses to a frame of instruction memory by inserting a command object between a frame proxy and a memory frame provides improved throughput in simulation environments. The instruction frame, if present, processes the access to the frame. If an instruction frame is not present for the accessed frame, the memory frame handles the request directly. The instruction frame caches fetched and decoded instructions and may be inserted at the first access to a corresponding instruction memory frame. The instruction frame can track write accesses to instruction memory so that changes to the instruction memory can be reflected in the state of the instruction frame. Additional check frames may be chained between the interface and the memory frame to handle breakpoints, instruction memory watches or other access checks on the instruction memory frame. | 06-12-2014 |
20140163947 | MEMORY FRAME ARCHITECTURE FOR INSTRUCTION FETCHES IN SIMULATION - A simulation technique that handles accesses to a frame of instruction memory by inserting a command object between a frame proxy and a memory frame provides improved throughput in simulation environments. The instruction frame, if present, processes the access to the frame. If an instruction frame is not present for the accessed frame, the memory frame handles the request directly. The instruction frame caches fetched and decoded instructions and may be inserted at the first access to a corresponding instruction memory frame. The instruction frame can track write accesses to instruction memory so that changes to the instruction memory can be reflected in the state of the instruction frame. Additional check frames may be chained between the interface and the memory frame to handle breakpoints, instruction memory watches or other access checks on the instruction memory frame. | 06-12-2014 |
20140172404 | EVALUATION OF SOFTWARE APPLICATIONS - Software applications receive input data, perform processing of the received data and generate output. In one aspect the output is modification of data structures. The software application is tested with instances of input data that lead to various data modifications in the data structures. In another aspect, patterns are found in the modifications of the data structures, which are evaluated and analyzed for software vulnerabilities. | 06-19-2014 |
20140172405 | EVALUATING DISTRIBUTED APPLICATION PERFORMANCE IN A NEW ENVIRONMENT - A method for evaluating the performance of an application when migrated from a first environment in which the application is currently executing to a different second environment includes generating a configuration file using data obtained from the application executing in the first environment, installing the configuration file in a virtual machine residing in the second environment, launching the application in the virtual machine after the installing, and obtaining a metric indicative of the performance from the virtual machine. | 06-19-2014 |
20140172406 | EVALUATING DISTRIBUTED APPLICATION PERFORMANCE IN A NEW ENVIRONMENT - Evaluating the performance of an application when migrated from a first environment in which the application is currently executing to a different second environment includes generating a configuration file using data obtained from the application executing in the first environment, installing the configuration file in a virtual machine residing in the second environment, launching the application in the virtual machine after the installing, and obtaining a metric indicative of the performance from the virtual machine. | 06-19-2014 |
20140236565 | ROBOT SIMULATOR, ROBOT TEACHING APPARATUS AND ROBOT TEACHING METHOD - A robot simulator includes a generating unit, a display unit, a display control unit, and a simulation instructing unit. The generating unit generates a virtual image that includes a virtual robot obtained by imaging an actual robot having at least one axis and an operation handle capable of operating three-dimensional coordinate axes having a predetermined control point of the virtual robot as the origin. The display control unit displays on the display unit the generated virtual image. The simulation instructing unit, when an operator's operation for the operation handle is received, acquires at least one of a displacement amount of the control point and a rotation amount of the three-dimensional coordinate axes attributable to the operator's operation, and instructs the generating unit to regenerate the virtual image in which a posture of the virtual robot is changed in accordance with the displacement amount or the rotation amount thus acquired. | 08-21-2014 |
20140249795 | TECHNIQUES TO AUTOMATICALLY GENERATE SIMULATED INFORMATION - Techniques to automatically generate simulated information are described. A method comprises receiving, by a program builder component executed on a processor, a structured input file comprising one or more data libraries and one or more directive files to generate simulated data for a simulation database. The method further comprising producing, by the program builder component executed on the processor, a data generator program based on the structured input file, the data generator program arranged to generate the simulated data for the simulation database using multiple data generating sessions executed concurrently or sequentially. Other embodiments are described and claimed. | 09-04-2014 |
20140257785 | HANA BASED MULTIPLE SCENARIO SIMULATION ENABLING AUTOMATED DECISION MAKING FOR COMPLEX BUSINESS PROCESSES - Data for simulation are selected from an in-memory database of an in-memory database server or simultaneous scenarios simulation at a business application server. The simulation results of a plurality of scenarios received from the business application server are temporarily stored at the in-memory database. One scenario from the plurality of scenarios is selected based on using user-defined rules at the in-memory database server. The selected scenario is communicated to the business application server. | 09-11-2014 |
20140278336 | STREAM INPUT REDUCTION THROUGH CAPTURE AND SIMULATION - An information processing system, computer readable storage medium, and method for regulating input data streams of a stream computing environment. A processor of the information processing system captures one or more data streams history of inputs and outputs of a working stream computing environment (SCE). The processor off-line simulates at least one candidate training model of the SCE processing input data streams and output data streams according to the one or more data streams history. The processor varies modulation of the input data streams into the candidate training model during the off-line simulation, analyzes effects of the varying modulation of input data streams on the off-line simulation of the SCE, determines, based on the analyzing, effectiveness of each of the at least one candidate training model of the SCE to regulate input data streams without affecting, within acceptable tolerance limits, the SCE processing of the output data streams. | 09-18-2014 |
20140278337 | SELECTING AN OPERATOR GRAPH CONFIGURATION FOR A STREAM-BASED COMPUTING APPLICATION - First and second simulated processing of a stream-based computing application using respective first and second simulation conditions may be performed. The first and second simulation conditions may specify first and second operator graph configurations. Each simulated processing may include inputting a stream of test tuples to the stream-based computing application, which may operate on one or more compute nodes. Each compute node may have one or more computer processors and a memory to store one or more processing elements. Each simulated processing may be monitored to determine one or more performance metrics. The first and second simulated processings may be sorted based on a first performance metric to identify a simulated processing having a first rank. An operator graph configuration associated with the simulated processing having the first rank may be selected if the first performance metric for the simulated processing having the first rank is within a processing constraint. | 09-18-2014 |
20140278338 | STREAM INPUT REDUCTION THROUGH CAPTURE AND SIMULATION - An information processing system and a computer readable storage medium, for regulating input data streams of a stream computing environment. A processor of the information processing system captures one or more data streams history of inputs and outputs of a working stream computing environment (SCE). The processor off-line simulates at least one candidate training model of the SCE processing input data streams and output data streams according to the one or more data streams history. The processor varies modulation of the input data streams into the candidate training model during the off-line simulation, analyzes effects of the varying modulation of input data streams on the off-line simulation of the SCE, determines, based on the analyzing, effectiveness of each of the at least one candidate training model of the SCE to regulate input data streams without affecting, within acceptable tolerance limits, the SCE processing of the output data streams. | 09-18-2014 |
20140278339 | Computer System and Method That Determines Sample Size and Power Required For Complex Predictive and Causal Data Analysis - Established methods for statistical “power-size” analysis for statistical modeling are geared toward statistical hypothesis testing, and have serious shortcomings in modern complex predictive and causal modeling applications where the determination of sample size is affected by parameters not addressed by the standard statistical power-size analysis. The present invention provides a method and computer-implemented system for determining sufficient sample size for training predictive or causal models for a given application field or distribution type and desired performance level taking into account the critical factors that affect the needed sample size. The invention can be applied to practically any field where predictive modeling or causal modeling are desired. | 09-18-2014 |
20140309980 | EXECUTION AND REAL-TIME IMPLEMENTATION OF A TEMPORARY OVERRUN SCHEDULER - The automatic generation of a real-time scheduler for scheduling the execution of tasks on a real-time system is disclosed. The scheduler may allow task overruns in the execution of the tasks on the real-time system. The task overruns may occur when the execution of a task for a current sample hit is not completed before a next sample hit. When the task overruns occur, the scheduler may delay the execution of the task for the next sample hit until the execution of the task for the current sample hit is completed. The execution of the task for the next sample hit is performed after the execution of the task for the current sample hit is completed. The present invention may enable users to input information relating to the behavior in real-time execution of the graphical programs or models. The present invention may simulate the graphical programs or models using the information on the behavior of the graphical programs or models executed in the real-time execution. | 10-16-2014 |
20140316761 | SIMULATION APPARATUS AND STORAGE MEDIUM - A simulation apparatus includes a memory, and a second processor configured to detect an internal state of the first processor in the operation simulation, when a target block in the operation simulation changes, the target block being included in blocks obtained by dividing code of the program, generate association information in which the internal state detected by the detecting section and performance values of instructions included in the target block in the detected internal state are associated with each other, and execute an execution code that allows a performance value when the first processor executes the target block to be calculated based on the association information, by using the internal state detected and the association information generated for the target block, to thereby calculate a performance value when the first processor executes the target block. | 10-23-2014 |
20140324409 | STOCHASTIC BASED DETERMINATION - Stochastic based determination can include accessing a sequence of a plurality of vectors, wherein each of the plurality of vectors includes a plurality of metrics that define a performance of an application. Stochastic based determination can also include querying a digital representation of a first Stochastic Model to determine a first likelihood that the sequence will terminate in an anomalous state. Stochastic based determination can include querying a digital representation of a second Stochastic Model to determine a second likelihood that the sequence will terminate in a normal state. Stochastic based determination can include determining whether the sequence will terminate in the anomalous state based on a comparison between the first likelihood and the second likelihood. | 10-30-2014 |
20140324410 | APPARATUS AND METHOD FOR THE VIRTUAL DEMONSTRATION OF A SMART PHONE CONTROLLED SMART HOME USING A WEBSITE - An apparatus providing for virtual use of one or more virtualized smart home devices. The apparatus includes a simulation app download element and a web host. The simulation app download element is disposed in a cloud-based file server, and is configured to download a simulation app to a smart phone that is collocated with a computer, upon which the one or more virtualized smart home devices are simulated. The web host is disposed in the cloud-based file server, and is configured to provide content to the computer to simulate the one or more virtualized smart home devices and, responsive to control commands transmitted via the simulation app, is configured to transmit corresponding control commands to the computer that change simulated states of the one or more virtualized smart home devices such that a user experiences control of the one or more virtualized smart home devices. | 10-30-2014 |
20140350912 | METHOD AND SYSTEM FOR PREDICTING PERFORMANCE OF SOFTWARE APPLICATIONS ON PROSPECTIVE HARDWARE ARCHITECTURE - A system and method for identifying optimal system architectures for a reference application are provided. The system and method comprise executing a reference application and a plurality of test applications on a current system architecture and sampling performance data for each of the applications. The performance data is used to compute an application signature for each application. A similarity element is derived from the application signatures that illustrates the similarity between each application and every other application. Using a similarity threshold and an algorithm, a subset of test applications that are similar to the reference application are derived. | 11-27-2014 |
20140358514 | SYSTEM AND METHOD FOR AUTOMATICALLY GENERATING OFFLINE RESULT EMULATION FILES FROM A TESTFLOW - A system for, and method of automatically generating a structured data file for offline result emulation (ORE). In one embodiment, the system includes: (1) a testflow integrator configured to populate a supported testsuite with parameters from a testflow corresponding to a test program and (2) a device under test description integrator associated with the testflow integrator and configured further to populate the supported testsuite with parameters from at least one device under test description file. | 12-04-2014 |
20150019197 | DATABASE MODELING AND ANALYSIS - A method of modeling a prospective database migration between database systems may include collecting performance data associated with a plurality databases in a first database system. The method may also include receiving a selection of a set of databases in the plurality of databases to migrate to a second database system. The method may additionally include computing, using at least some of the performance data, combined performance data that estimates how the set of databases will perform on the second database system. The method may further include providing one or more indications as to whether the set of databases should be migrated to the second database system. In some embodiments, the one or more indications may be based on the combined performance data. | 01-15-2015 |
20150019198 | METHOD TO APPLY PERTURBATION FOR RESOURCE BOTTLENECK DETECTION AND CAPACITY PLANNING - Inducing perturbation by varying a supply amount of the resource type in the system and measuring performance of the software entity at multiple variation levels of the supply amount of the resource type in the system. A model may be built that characterizes a relationship between the measured performance and the variation levels. The model may be applied to detect the resource bottleneck. The model may be also applied for capacity planning. | 01-15-2015 |
20150100298 | TECHNIQUES FOR VALIDATING FUNCTIONALITY OF BACKPLANE CONTROLLER CHIPS - Present disclosure relates to a system for validating target backplane controller chips. The system includes a backplane controller chip validation board. In certain embodiments, the backplane controller chip validation board includes: (a) a program/verify/validate controller chip, (b) one or more backplane controller chip sockets for installing one or more target backplane controller chips, and (c) a backplane simulator. The program/verify/validate controller chip includes backplane controller chip firmware verification software, a USB interface, and a software storage. The backplane simulator is used to simulate functions of drives, LEDs, and other devices of a backplane for verifying all functions of target backplane controller chips. The backplane controller chip validation board is in communication with a host computer, and the host computer has a user interface, a backplane controller chip validation software, a USB interface, and a software storage to store backplane controller chip firmware. | 04-09-2015 |
20150100299 | TECHNIQUES FOR PROGRAMMING AND VERIFYING BACKPLANE CONTROLLER CHIP FIRMWARE - Present disclosure relates to a system for programming and verifying backplane controller chip firmware on target backplane controller chips. The system includes a backplane controller chip validation board. In certain embodiments, the backplane controller chip validation board includes: (a) a program/verify/validate controller chip, (b) one or more backplane controller chip sockets for installing one or more target backplane controller chips, and (c) a backplane simulator. The program/verify/validate controller chip includes backplane controller chip firmware verification software, a USB interface, and a software storage. The backplane simulator is used to simulate functions of drives, LEDs, and other devices of a backplane for verifying all functions of backplane controller chip firmware. The backplane controller chip validation board is in communication with a host computer, and host computer has a user interface, a backplane controller chip programming and verifying software, a USB interface, and a software storage to store backplane controller chip firmware. | 04-09-2015 |
20150112663 | METHODS AND APPARATUS FOR SIMULATING A DISTRIBUTED BUSINESS PROCESS - Methods and apparatus for simulating a distributed business process are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial transaction system, in a secure distributed manner. Each business entity that is part of the interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, if a client based model is not available, the server supplies a software agent to replace the inputs and outputs normally associated with that portion of the overall simulation. | 04-23-2015 |
20150302120 | DISPLAY IN A GRAPHICAL FORMAT OF TEST RESULTS GENERATED USING SCENARIO MODELS - A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output. | 10-22-2015 |
20150309813 | A System for analyzing applications in order to find security and quality issues - The present invention relates to field of application and more specifically to analysis of applications for determining security and quality issues. The present invention describes an application analysis system providing a platform for analyzing applications which is useful in finding security and quality issues in an application. In particular, the present invention is composed of an advanced fusion analyzer which gains an understanding of the application behavior by using a multi-way coordination and orchestration across components used in the present invention to build an continuously refine a model representing knowledge and behavior of the application as a large network of objects across different dimensions and using reasoning and learning logic on this model along with information and events received from the components to both refine and model further as well as drive the components further by sending information and events to them and again using the information and events received as a result to further trigger the entire process until the system stabilizes. The present invention is useful in analysis of internet/intranet based web applications, desktop applications, mobile applications and also embedded systems as well as for hardware, equipment and machines controlled by software. | 10-29-2015 |
20150347210 | SOFTWARE LIFE EXTENSION TIME DETERMINATION SYSTEM, SOFTWARE LIFE EXTENSION TIME DETERMINATION METHOD, AND PROGRAM - A software life extension time determination system includes an aging-state-model storing unit configured to store a first state model representing a state change of software due to aging of software, a software-life-extension-state-model storing unit configured to store a second state model representing a state change of the software due to software life extension processing, a parameter input unit configured to receive an input of parameter values of the first state model and the second state model, an evaluation-function storing unit configured to store an evaluation function for deciding values of performance and availability targeted by the system, a state-model analyzing unit configured to analyze the first state model and the second state model by using the parameter values and the evaluation function, and a software-life-extension-time determining unit configured to determine, on the basis of analysis results of the first state model and the second state model, whether the software life extension processing is implemented. | 12-03-2015 |
20150370583 | SYSTEM AND METHOD FOR SIMULATING VIRTUAL MACHINE (VM) PLACEMENT IN VIRTUAL DATACENTERS - A placement simulator is used for testing a placement engine in a virtual machine environment. The placement simulator includes a simulation controller, an event manager, and an inventory manager. The simulation controller receives input data for a simulated datacenter. The event manager invokes event handlers for a sequence of events from the input data. The inventory manager stores states of inventory objects to simulate deployment of virtual infrastructure resources by the placement engine based on the sequence of the events. | 12-24-2015 |
20150378754 | METHOD FOR INTERRUPTING THE EXECUTION OF AN OVERALL PROGRAM OF AN ELECTRONIC CONTROL UNIT - A method for interrupting an execution of an overall program of an electronic control unit, wherein the overall program has a first program and a second program. A graphical modeling environment is provided that has graphical model elements, wherein the first program is represented by a first model element, and the second program is represented by a second model element, and the link between the first program and the second program is represented by a third model element. A halt condition is specified by the modeling environment, wherein a program status change leading to interruption of the execution of the overall program is specified by means of the halt condition, the overall program is executed, a program status change is detected during execution of the overall program. The execution of the overall program is interrupted when the program status change specified in the halt condition takes place. | 12-31-2015 |
20150379167 | CROWD-SOURCED OPERATIONAL METRIC ANALYSIS OF VIRTUAL APPLIANCES - A system and method for performing an operational metric analysis for a virtual appliance uses application operational data from multiple instances of the virtual appliance. The application operational data is then used to generate an operational metric prediction for the virtual appliance. | 12-31-2015 |
20160011889 | SIMULATION METHOD AND STORAGE MEDIUM | 01-14-2016 |
20160041844 | PREDICTION OF IMPACT OF WORKLOAD MIGRATION - A method, system and product for predicting impact of workload migration. The method comprising: obtaining a utilization pattern of a workload that is being executed on a first platform; generating a synthetic workload that is configured to have the utilization pattern when executed on the first platform; executing the synthetic workload on a second platform; and identifying a change in performance between execution of the synthetic workload on the first platform and between execution of the synthetic workload on the second platform in order to provide a prediction of an impact of migrating the workload from the first platform to the second platform. | 02-11-2016 |
20160055277 | METHOD AND SYSTEM FOR CREATING A PREDICTIVE MODEL FOR TARGETING WEB-PAGE TO A SURFER - Systems and methods for determining predictive model types are provided. A method may include generating a predictive model for a web page of a website, wherein the web page includes a configuration defining one or more objects presented with the web page, and wherein each object is associated with a predictive model. The method may include determining one or more predictive model types that are associated with the predictive model, determining one or more performance indicators that correspond to each determined predictive model type, wherein performance indicators represent one or more benefits to a website, selecting a predictive model type of the predictive model out of the one or more predictive model types, wherein the predictive model type is selected based on a performance indicator corresponding to the selected predictive model type, and determining a configuration of the web page using the selected predictive model type of the predictive model. | 02-25-2016 |
20160092247 | SELECTING AN OPERATOR GRAPH CONFIGURATION FOR A STREAM-BASED COMPUTING APPLICATION - First and second simulated processing of a stream-based computing application using respective first and second simulation conditions may be performed. The first and second simulation conditions may specify first and second operator graph configurations. Each simulated processing may include inputting a stream of test tuples to the stream-based computing application, which may operate on one or more compute nodes. Each compute node may have one or more computer processors and a memory to store one or more processing elements. Each simulated processing may be monitored to determine one or more performance metrics. The first and second simulated processings may be sorted based on a first performance metric to identify a simulated processing having a first rank. An operator graph configuration associated with the simulated processing having the first rank may be selected if the first performance metric for the simulated processing having the first rank is within a processing constraint. | 03-31-2016 |
20160112274 | REAL TIME SIMULATION MONITORING - A method for monitoring at least one simulation program includes capturing, by a computer, a plurality of simulation data from the at least one simulation program, the capturing is performed in real time while the at least one simulation program is continuously streaming the plurality of simulation data, analyzing, by the computer, the captured plurality of simulation data using a streaming data software, identifying a plurality of predefined criteria within the analyzed plurality of simulation data, the plurality of predefined criteria includes at least one of an event, a result and a variable, and providing feedback to the at least one simulation program to modify a plurality of simulation parameters according to the at least one identified event, result and variable. | 04-21-2016 |
20160124734 | COMMON DEPLOYMENT MODEL - In one implementation, a system for a common deployment model includes a content engine to embrace content from a number of deployment tools, a properties engine to associate a number of properties from the content to generate a component model for the number of deployment tools, a cost engine to associate the component model with a cost model, and a fulfillment engine to instantiate the component model with the associated cost model. | 05-05-2016 |
20160147922 | MEMORY FRAME PROXY ARCHITECTURE FOR SYNCHRONIZATION AND CHECK HANDLING IN A SIMULATOR - A simulation technique that handles accesses to a frame of memory via a proxy object provides improved throughput in simulation environments. The proxy object, if present, processes the access at a head of a linked list of frames. If a check frame is not inserted in the list, the memory frame handles the request directly, but if a check frame is inserted, then the check operation is performed. The check frame can be a synchronization frame that blocks access to a memory frame while the check frame is present, or the check frame may be a breakpoint, watch or exception frame that calls a suitable handling routine. Additional check frames may be chained between the interface and the memory subsystem to handle synchronization, breakpoints, memory watches or other accesses to or information gathering associated with the memory frame. | 05-26-2016 |
20160162611 | MODELING AND SIMULATION OF INFRASTRUCTURE ARCHITECTURE FOR BIG DATA - Embodiments for modeling and simulation of one or more architecture models for Big Data of an organization are described. In one example, at least one user requirement and set of model requirements are received from a user associated with the organization, where the set of model requirements is indicative of information relating to the one or more architecture models. Subsequently, one or more architecture models are generated for providing recommendation to the user, where the one or more architecture models are generated based on the at least one user requirement and the set of model requirements. Further, the one or more architecture models are simulated to ascertain performance of each of the one or more architecture models based at least on a pre-defined specification of architecture components associated with each of the one or more architecture models. | 06-09-2016 |
20160170778 | SYSTEM AND METHOD FOR SIMULATING INTERNET BROWSING SYSTEM FOR USER WITHOUT GRAPHICAL USER INTERFACE | 06-16-2016 |
20160188434 | METHOD AND DEVICE FOR DETERMINING PROGRAM PERFORMANCE INTERFERENCE MODEL - A method and a device for determining a program performance interference model is described. The method includes: selecting programs from a determined sample program set to form multiple subsets; acquiring a value of performance interference imposed on each program in each subset and a total occupancy rate of a shared resource occupied by all the programs in each subset; dividing all the subsets into multiple analytical units; performing a regression analysis on the value of performance interference on each sample program included in each analytical unit and a total occupancy rate corresponding to a subset in which the sample program is loaded, and acquiring a target function model; acquiring a performance interference model corresponding to a target program according to the target function model. The performance interference model may be used for preventing another program whose mutual interference is relatively strong from running together with the target program. | 06-30-2016 |
20160196368 | System and Method for Emulation of Unprivileged Code in a Simulated Environment | 07-07-2016 |
20170235859 | SIMULATION SERVER CAPABLE OF CONFIGURING EVENTS OF A LESSON PLAN THROUGH INTERACTIONS WITH A COMPUTING DEVICE | 08-17-2017 |
20190147124 | OPERATION MODEL GENERATOR AND OPERATION MODEL GENERATION METHOD | 05-16-2019 |