Software Program (i.e., Performance Prediction) Patents (Class 703/22)
  • Patent number: 9031209
    Abstract: A computing device displays a call history graphical user interface (GUI). The call history GUI includes a new list and an old list. The new list may include new missed call elements and missed call elements associated with new unopened voicemails. The old list may include other call history GUI elements, such as old missed call elements and missed call elements associated with opened voicemails.
    Type: Grant
    Filed: July 8, 2013
    Date of Patent: May 12, 2015
    Assignee: Google Inc.
    Inventors: Flavio Lerda, Hugo Hudson, Debashish Chatterjee, Simon Tickner, Marcus Alexander Foster
  • Patent number: 9026409
    Abstract: The present inventors devised, among other things, systems, methods, and software that radically simplify and reduce the time necessary to specify, design, manufacture, and document control panels and wiring harnesses for semi-custom and custom equipment, such as HVAC equipment. A computer storage medium includes data relating to a plurality of control panel enclosures and a set of rules for designing a control panel. The system receives a selection of two or more components for placement in the control panel, retrieves information about the two or more components from a database, and generates one or more layouts. The one or more layouts comprise placement of the two or more components within at least one of the plurality of control panel enclosures as a function of the set of rules for designing a control panel. The control panel enclosures are dynamically selected as a function of the two or more components.
    Type: Grant
    Filed: August 10, 2011
    Date of Patent: May 5, 2015
    Assignee: Design Ready Controls, Inc.
    Inventors: Troy Schmidtke, Mitchell T. DeJong, Dipesh Karki, Peder A. Lindberg, Christopher Ray Kerkhoff
  • Patent number: 9026985
    Abstract: A method, system and apparatus for processing a model-to-model transformation. The method can include dynamically accepting a transformation to apply to a source model in order to produce a target model. More specifically, the method can include traversing a hierarchy for the source model and applying rules in the transformation to objects in the hierarchy to produce the target model. For instance, the traversing step can include sequentially processing a list of transform elements in the transformation. In one aspect of the invention, the processing step can include loading content extractors among the transform elements. Subsequently, other transform elements can be identified through the loaded content extractors in order to traverse the hierarchy.
    Type: Grant
    Filed: December 10, 2004
    Date of Patent: May 5, 2015
    Assignee: International Business Machines Corporation
    Inventors: Kevin J. Cornell, Eric O. Funk, Duong B. Nguyen, David Ruest
  • Patent number: 9020802
    Abstract: A computer program product, method, and apparatus for discovering information about the nodes of the disperse data network, sending a command from a client to a distributed file system, wherein the distributed file system contains the discovered information, distributing the command from the distributed files system to one or more of the nodes of the distributed file system, and executing the command on the one or more network nodes.
    Type: Grant
    Filed: June 28, 2012
    Date of Patent: April 28, 2015
    Assignee: EMC Corporation
    Inventors: Patricia G. S. Florissi, Sudhir Vijendra
  • Publication number: 20150112460
    Abstract: A PC, which is an information processing device, simulates a control program and displays the result of the simulation on a monitor. The PC acquires a value, and identification information identifying a variable for at least one variable at an arbitrary time during the simulation. The PC modifies the control program in accordance with an instruction from a user. The PC simulates the modified control program with the value of the variable identified by the acquired identification information as the value of the acquired variable. The PC displays the result of simulating the modified control program on the monitor.
    Type: Application
    Filed: February 19, 2013
    Publication date: April 23, 2015
    Inventors: Yasunori Sakaguchi, Fumiaki Narutani, Taku Oya
  • Publication number: 20150112663
    Abstract: 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.
    Type: Application
    Filed: September 29, 2014
    Publication date: April 23, 2015
    Inventors: Andrew W. Cutts, Robert Schmidt
  • Patent number: 9015012
    Abstract: 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.
    Type: Grant
    Filed: July 3, 2012
    Date of Patent: April 21, 2015
    Assignee: International Business Machines Corporation
    Inventor: Rachel Tzoref-Brill
  • Patent number: 9007626
    Abstract: A non-transitory, computer-readable medium has embedded therein instructions executable by a processor. The instructions simulate an operation of a print service provider (PSP) using a model of a printing system with a set of operation parameters for performing the PSP operation. The instructions determine a monitoring strategy based on the simulated PSP operation. The monitoring strategy is for monitoring the PSP operation when performed in the printing system.
    Type: Grant
    Filed: April 19, 2012
    Date of Patent: April 14, 2015
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Eric Hoarau, Jun Zeng, Scott Clearwater
  • Patent number: 9009020
    Abstract: A facility that for a multithreaded program executing on a root machine causes the threads of the program to be executed in a relative scheduling that produces an interesting result. The facility suspends execution of the program. The facility then tests a plurality of relative thread schedulings on one or more virtual machines and observes the result. Based upon the observed result the facility selects one of the tested relative thread schedulings. The facility then resumes execution of the program using the selected relative thread scheduling.
    Type: Grant
    Filed: March 14, 2011
    Date of Patent: April 14, 2015
    Assignee: F5 Networks, Inc.
    Inventors: Mark H. Oskin, Peter J. Godman, Andrew M. Schwerin, Andrew J. Whitaker, Lucas M. Kreger-Stickles, Kaya Bekiroglu
  • Publication number: 20150100299
    Abstract: 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.
    Type: Application
    Filed: October 7, 2013
    Publication date: April 9, 2015
    Applicant: AMERICAN MEGATRENDS, INC.
    Inventors: Shibu Abraham, Jay Pancholi, Kayalvizhi Dhandapani
  • Publication number: 20150100298
    Abstract: 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.
    Type: Application
    Filed: October 7, 2013
    Publication date: April 9, 2015
    Applicant: AMERICAN MEGATRENDS, INC.
    Inventors: Shibu Abraham, Kayalvizhi Dhandapani
  • Patent number: 9001978
    Abstract: A computing device displays a call history graphical user interface (GUI). The call history GUI includes a new list and an old list. The new list may include new missed call elements and missed call elements associated with new unopened voicemails. The old list may include other call history GUI elements, such as old missed call elements and missed call elements associated with opened voicemails.
    Type: Grant
    Filed: July 8, 2013
    Date of Patent: April 7, 2015
    Assignee: Google Inc.
    Inventors: Flavio Lerda, Hugo Hudson, Debashish Chatterjee, Simon Tickner, Marcus Alexander Foster
  • Patent number: 8995288
    Abstract: A deployed configurable communication integrated circuit (IC) and/or chipset which may be integrated within a wireless communication and/or multi-media communication device may be operable to monitor its operating conditions, performance and/or utilization characteristics. It may send information via a wireless, optical and/or wired network to a remote analysis and/or development system and/or service, such as an engineering service, that may determine and return configuration parameters. The configuration parameters may be utilized to adjust antenna and/or MIMO, SIMO, MISO and beamforming configuration, power level, interference rejection, equalizer length, dynamic range, modulation, encoding and/or decoding, analog to digital conversion precision, error detection and/or correction parameters, MAC parameters such as timing thresholds, transmit window size and/or buffer space.
    Type: Grant
    Filed: June 10, 2008
    Date of Patent: March 31, 2015
    Assignee: Broadcom Corporation
    Inventor: Jeyhan Karaoguz
  • Patent number: 8997099
    Abstract: Embodiments of apparatuses and methods for processing virtualization events in a layered virtualization architecture are disclosed. In one embodiment, an apparatus includes a event logic and evaluation logic. The event logic is to recognize a virtualization event. The evaluation logic is to determine whether to transfer control from a child guest to a parent guest in response to the virtualization event.
    Type: Grant
    Filed: March 15, 2013
    Date of Patent: March 31, 2015
    Assignee: Intel Corporation
    Inventors: Steven M. Bennett, Andrew V. Anderson, Gilbert Neiger, Dion Rodgers, Richard A. Uhlig, Lawrence O. Smith, Barry E. Huntley
  • Patent number: 8996339
    Abstract: Method, apparatus, and product for performing incremental formal verification. A computer-implemented method performed by a computerized device. The method comprises: obtaining invariants with respect to a first model; determining a portion of the invariants that are invariants with respect to a second model, and utilizing the portion of the invariants to check that the second model holds a property.
    Type: Grant
    Filed: September 7, 2011
    Date of Patent: March 31, 2015
    Assignee: International Business Machines Corporation
    Inventors: Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
  • Patent number: 8996349
    Abstract: A software synchronization system detects a change that modifies an element of the abstract model. The software synchronization system globally modifies references to the element throughout the abstract model. Then the software synchronization system automatically determines elements of the source code that are dependent on the changed model element. The software synchronization system modifies the determined elements of the source code. Thus, the software synchronization system synchronizes the abstract model and the source code, regardless of the one to which the developer makes changes.
    Type: Grant
    Filed: October 11, 2007
    Date of Patent: March 31, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Yuri Belenky, Christian H. Damm, Ronald K. Gabel, Michael S. Thomsen
  • Patent number: 8990057
    Abstract: In an embodiment, an element, that represents an entity in a system, is generated. The generated element may be incorporated in a network that represents the system. The generated element may include geometry information about a geometry of the entity. The geometry information may be used in one or more computations associated with a simulation or an analysis of the system. The element may have a frame port that exposes a frame. The frame may represent at least a position and an orientation in a two dimensional or three dimensional space with respect to another frame in the network. The other frame in the network may be a reference frame that may be defined by a “world” that the system resides in. The generated element may be incorporated into the network by connecting the frame port to the network.
    Type: Grant
    Filed: February 12, 2013
    Date of Patent: March 24, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Brian Mirtich, Jeffrey Wendlandt
  • Patent number: 8989887
    Abstract: A method and system for the use of prediction data in monitoring actual production targets is described herein. In one embodiment, a process is provided to receive data from a plurality of source systems in a manufacturing facility and generate a prediction pertaining to a future state of the manufacturing facility based on the data received from the plurality of source systems. A recent state of the manufacturing facility is determined based on the data received from the plurality of source systems and a comparison between the recent state and the prediction is facilitated.
    Type: Grant
    Filed: February 10, 2010
    Date of Patent: March 24, 2015
    Assignee: Applied Materials, Inc.
    Inventors: Richard Stafford, David E. Norman
  • Patent number: 8990783
    Abstract: Embodiments can include computer-implemented methods or non-transitory computer readable media storing executable instructions. The method or instructions can perform execution scheduling for code generated from an executable graphical model, where the generated code is executed on a target. The method/instructions can perform execution scheduling for a first code portion having a first execution rate, and a second code portion having a second execution rate that is temporally related to the first execution rate. The execution scheduling can account for target environment characteristics obtained from a target, can use an execution schedule, and can account for optimizations related to the first code portion or the second code portion. The method/instructions can further schedule execution of the first code portion and the second code portion in generated executable code based on the performing.
    Type: Grant
    Filed: January 28, 2011
    Date of Patent: March 24, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Biao Yu, Jim Carrick, Pieter J. Mosterman
  • Patent number: 8990062
    Abstract: The present invention is achieved as software which operates on a computer system and which performs calculation by receiving various data as inputs, and which outputs values. The present invention is applicable to a coarse-grained system architecture model including the foregoing event-driven simulation and receives, as inputs, execution time T and the number of memory accesses, N, in the simulation step of the model. Thus, various estimates at the occurrence of memory access conflict are obtained at a simulation speed sufficient for evaluating the effect of the memory access conflict and comparing it with many alternative architectures without information on the correct timing of memory accesses in consideration of memory synchronous accesses and arbitration. The results of this simulation are estimated simulation-step execution time T? under memory access conflict and memory-bandwidth utilization factors {U?i} in individual simulation steps under memory access conflict.
    Type: Grant
    Filed: September 15, 2011
    Date of Patent: March 24, 2015
    Assignee: International Business Machines Corporation
    Inventor: Ryo Kawahara
  • Patent number: 8990061
    Abstract: Performance metrics related to the processing and propagation of messages related to select applications are collected during a simulation of a network. Each message associated with an application is tagged, and each simulated packet that contains some or all of a tagged message is correspondingly tagged to facilitate the creation of transmit records and receive records. A post processor is configured to collate transmit and receive records of each tagged message to identify delays associated with each node that processes the message, and each link that propagates the message from node to node within the network. The processed timing information is provided to the user via an interactive user interface that allows the user to view the timing information from an application layer perspective.
    Type: Grant
    Filed: February 21, 2006
    Date of Patent: March 24, 2015
    Assignee: Riverbed Technology, Inc.
    Inventors: Patrick J. Malloy, Mahesh Lavannis, Marc Schneider, John Strohm, Alain Cohen, Sukanya Sreshta, Jerome Plun, Stephen Pendleton
  • Patent number: 8983823
    Abstract: A system and method automatically generates an object-oriented, textual program from a graphical model, and verifies the performance of the textual program as compared to the graphical model. The graphical model may have a plurality of interconnected blocks, and each block may have a plurality of parameters. One or more of the blocks are mapped to a system object, and the block's parameters are mapped to properties of the system object. An object-oriented, executable textual string is generated automatically for the block. The generated string includes at least one command to: instantiate a system object having functionality that matches the block; set one or more properties of the system object based on the block's parameters; and run the instantiated object.
    Type: Grant
    Filed: March 11, 2010
    Date of Patent: March 17, 2015
    Assignee: The MathWorks, Inc.
    Inventors: David Koh, Brian K. Ogilvie, Zhongxin Li, Shi Chao Zhang, Jihad E. Ibrahim
  • Patent number: 8984494
    Abstract: An embodiment can include one or more computer readable media storing executable instructions for performing execution scheduling for code generated from an executable graphical model. The media can store instructions for accessing a first code portion having a first priority, and a second code portion having a second priority, where the second priority has a relationship with the first priority. The media can store instructions for accessing target environment characteristics that indicate a performance of the target environment, and for performing execution scheduling for the first code portion and the second code portion, the execution scheduling taking into account the target environment characteristics, the execution scheduling using an execution schedule.
    Type: Grant
    Filed: October 21, 2013
    Date of Patent: March 17, 2015
    Assignee: The MathWorks, Inc.
    Inventors: James E. Carrick, Biao Yu
  • Patent number: 8983824
    Abstract: 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.
    Type: Grant
    Filed: October 4, 2013
    Date of Patent: March 17, 2015
    Assignee: Norwich University Applied Research Institutes
    Inventors: Andrew W. Cutts, Robert Schmidt
  • Patent number: 8977534
    Abstract: A controller support program causes a processor to acquire a first control execution time which is an execution time of a first control program which is an object program generated from a control source program, which is a source program of a control program generated in accordance with an object of control of a user, and operating at the simulator, the first control execution time being measured at the simulator. The processor also calculates an estimated execution time which is an estimated value of an execution time, at the controller, of a second control program which is an object program generated from the control source program and operating at the controller, by converting the first control execution time using the calibration data. Data representing the estimated execution time is output.
    Type: Grant
    Filed: February 17, 2012
    Date of Patent: March 10, 2015
    Assignee: Omron Corporation
    Inventors: Fumiaki Narutani, Taku Oya, Yoshiya Shibata
  • Patent number: 8977531
    Abstract: A system for designing a circuit, which includes a module, uses a computer. A user may program or adapt the computer to perform computer-aided design functions. The computer obtains a description of the module from the user. The computer parses the description of the module to identify a port of the module, and to obtain information about the port. The computer presents to the user the information that it has obtained about the port.
    Type: Grant
    Filed: November 5, 2013
    Date of Patent: March 10, 2015
    Assignee: Altera Corporation
    Inventors: James M. Brown, Tim Allen, Mike Fairman, Jeffrey O. Pritchard
  • Patent number: 8977689
    Abstract: A system facilitates collaborative communications and information sharing in a network defined by a model. The model and a portion of the system are stored on a storage component coupled to a terminal. The system captures context information and user-defined data, the user-defined data provided during user interaction of the user in a first domain of the network, and dynamically stores the context information as metadata associated with the user-defined data, the user-defined data and the metadata stored on the storage component; a tracking component for tracking a change of the user from the first domain to a second domain of the network and dynamically updating the stored metadata based on the change, where the user accesses the user-defined data from the second domain; and an interface to the system that permits the user to create and view the user-defined data according to the model of the network.
    Type: Grant
    Filed: June 5, 2014
    Date of Patent: March 10, 2015
    Assignee: VirtualAgility Inc.
    Inventor: Douglas F. Beaven
  • Patent number: 8977533
    Abstract: 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.
    Type: Grant
    Filed: February 9, 2011
    Date of Patent: March 10, 2015
    Assignee: Tata Consultancy Services Limited
    Inventors: Ulka Shrotri, Venkatesh Ramanathan, Ravindra Metta
  • Patent number: 8972237
    Abstract: A state (i.e., ket) of a set of qubits may be simulated via a classical computer. Ordering characteristics of the ket (i.e., the “current” permutation associated with the state) may be determined. An operator (which may be associated with a certain operation to perform on the ket) may be defined and simulated. Ordering characteristics of the operator (i.e., the “current” permutation associated with operator) may be determined. If the current permutations of the state and operator match, then the operation may be performed to generate a new ket. Alternatively, the operator may be permuted to match the permutation of the current state. Or the state may be permuted to match the current operator permutation. The operation may then be performed, and the state and permutation remembered for the next operation. The process may be repeated for each operation in the series.
    Type: Grant
    Filed: August 6, 2012
    Date of Patent: March 3, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventor: David B. Wecker
  • Patent number: 8972931
    Abstract: Functional testing of computer programming code generated from an executable graphical model is performed. The model may include a plurality of graphical objects. The generated code may be stand-alone code, and may include a plurality of functions. A designation of one of the graphical objects may be received. The designated object has input/output defined graphically in the model. Meta-data mapping the designated object to one or more functions of the generated code may be created. The meta-data may also map the graphically defined input/output for the designated object to function input/output of the one or more functions of the generated code. A function interface may be generated using the meta-data that includes a call to the one or more functions, and the function input/output. During execution of the model, execution of the designated object is by-passed and the function interface and the portion of the generated code are executed.
    Type: Grant
    Filed: October 31, 2011
    Date of Patent: March 3, 2015
    Assignee: The MathWorks, Inc.
    Inventor: Aravind Pillarisetti
  • Patent number: 8954309
    Abstract: Techniques for tuning systems generate configurations that are used to test the systems to determine optimal configurations for the systems. The configurations for a system are generated to allow for effective testing of the system while remaining within budgetary and/or resource constraints. The configurations may be selected to satisfy one or more conditions on their distributions to ensure that a satisfactory set of configurations are tested. Machine learning techniques may be used to create models of systems and those models can be used to determine optimal configurations.
    Type: Grant
    Filed: May 31, 2011
    Date of Patent: February 10, 2015
    Assignee: Oracle International Corporation
    Inventors: Reza B'Far, Kent Spaulding, Americo Caves
  • Patent number: 8954301
    Abstract: The invention relates to a system (10) for configuring an aircraft passenger cabin, said system comprising a first database (12) that stores cabin equipment component data pertaining to cabin equipment components selected for and included in a configuration of the aircraft passenger cabin. In addition, said system (10) comprises a second database (14) that stores configuration rules pertaining to the configuration of the aircraft passenger cabin. Finally, the system (10) comprises a unit (16) for generating a documentation, configured in such a way that documentation of the configured aircraft passenger cabin is generated on the basis of at least one user-defined configuration parameter, on the basis of the cabin equipment component data stored in the first database (12), and on the basis of the configuration rules stored in the second database (14).
    Type: Grant
    Filed: March 28, 2012
    Date of Patent: February 10, 2015
    Assignee: Airbus Operations GmbH
    Inventor: Martin Sieben
  • Patent number: 8954311
    Abstract: 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.
    Type: Grant
    Filed: August 31, 2011
    Date of Patent: February 10, 2015
    Assignee: International Business Machines Corporation
    Inventors: Manish Gupta, Venkateswara R. Madduri, Manoj Soni
  • Patent number: 8949106
    Abstract: A selected group of Guest machine instructions in an emulation environment are translated to a semantic routine of Host machine instructions, wherein Guest cells corresponding to an opcode portion of a Guest instruction are mapped to corresponding Host cells, wherein the semantic routine of Host machine instructions are patched into a Host cell corresponding to the first Guest cell of the group of Guest machine instructions, wherein other Host cells of the corresponding Host cells are patched with semantic routines for emulating single instructions associated with the corresponding Guest cell.
    Type: Grant
    Filed: September 18, 2009
    Date of Patent: February 3, 2015
    Assignee: International Business Machines Corporation
    Inventors: Theodore J. Bohizic, Reid T. Copeland, Marcel Mitran, Ali I. Sheikh
  • Patent number: 8949104
    Abstract: 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.
    Type: Grant
    Filed: May 19, 2011
    Date of Patent: February 3, 2015
    Assignee: International Business Machines Corporation
    Inventors: Jun-Jang Jeng, Rong Liu, Anil Nigam, Chian-Rou Shieh, Roman Vaculin, Frederick Wu, Zhe Shan
  • Patent number: 8949093
    Abstract: A method for analyzing and specifying a Human-Machine Interface (HMI) may include providing an HMI designing system, constructing an HMI design that includes objects created from the HMI designing system and associating the objects using events and transitions. Objects may include states and screens of a graphical user interface. The method may receive input from a user and describe a human-machine interface using syntax that is based on the user input. The syntax may include graphical representations of states and transitions between the states. The HMI designing system may include a memory to store representations of the human-machine interface, a processor to receive input from a user and determine graphical representations of states and transitions between states, and a display to display the HMI.
    Type: Grant
    Filed: March 28, 2012
    Date of Patent: February 3, 2015
    Assignee: GM Global Technology Operations LLC
    Inventors: Asaf Degani, Andrew W. Gellatly
  • Patent number: 8949089
    Abstract: Systems and methods for controlling settings of a design system include receiving, via a communications interface, identifying data associated with a multiphysics modeling system. Instructions are transmitted via the communication interface or another interface. The instructions include model settings related to a multiphysics model at least partially residing in the multiphysics modeling system. Model results are received that are at least partially derived from the transmitted model settings. At least a portion of the received model results are displayed in a graphical user interface associated with the design system.
    Type: Grant
    Filed: November 26, 2013
    Date of Patent: February 3, 2015
    Assignee: Comsol AB
    Inventors: Eduardo Fontes, Lars Langemyr, Daniel Bertilsson, Anders Forsell, Johan Kannala, Tomas Normark
  • Patent number: 8949103
    Abstract: A system and method for facilitating simulation of a computer program. A program representation is generated from a computer program. A simulation of the program is performed. Simulation may include applying heuristics to determine program flow for selected instructions, such as a branch instruction or a loop instruction. Simulation may also include creating imaginary objects as surrogates for real objects, when program code to create real objects is restricted, or fields of the objects are unavailable or uncertain, or for other reasons. Data descriptive of the simulation is inserted into the program representation. A visualizer may retrieve the program representation and generate a visualization that shows sequence flows resulting from the simulation.
    Type: Grant
    Filed: May 1, 2009
    Date of Patent: February 3, 2015
    Assignee: Microsoft Corporation
    Inventors: Deon Brewis, Durham Goode, John Joseph Jordan, Sadi Khan
  • Patent number: 8942970
    Abstract: A method is disclosed for configuring an intelligent electronic device (IED) that includes enabling dynamic capability of the IED by a flexible data modeling technique to dynamically adapt a data model based on an application requirement using a configuration tool. A substation automation system is also disclosed which includes a local system equipment having a plurality of IEDs associated with the local system equipment and an IED configuration tool configured to interact with the firmware of each IED to configure the IED based on application requirements. The application configuration tool can include dynamic capability information of the IED to enable a flexible data model in the IED.
    Type: Grant
    Filed: December 9, 2009
    Date of Patent: January 27, 2015
    Assignee: ABB Research Ltd.
    Inventors: Sasi Kumar, Vivek Gopalakrishnan, Tobias Gentzell, Ganesh Kulathu
  • Patent number: 8938733
    Abstract: A migration set list generator specifies a physical topology of a deployed software solution, wherein the software solution comprises software components and data associated with the software components integrated into a single entity. The migration set list generator specifies at least one solution change to the deployed software solution to meet at least one business requirement and specifies at least one migration strategy for migrating the deployed software solution. The migration set list generator generates migration tasks for making the at least one solution change to the deployed software solution specified in the physical topology based on the at least one migration strategy and generates a recommended physical topology yielded for the software solution if the physical topology is updated according to the migration tasks.
    Type: Grant
    Filed: July 18, 2012
    Date of Patent: January 20, 2015
    Assignee: International Business Machines Corporation
    Inventors: Christine M. Draper, Ashwin B. Manekar, Michael J. McMahon, Renganathan Sundararaman, John W. Sweitzer, Kaylee M. Thomsen
  • Publication number: 20150019198
    Abstract: 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.
    Type: Application
    Filed: August 19, 2013
    Publication date: January 15, 2015
    Applicant: International Business Machines Corporation
    Inventors: Yang Lei, Xiaoqiao Meng, Jian Tan, Li Zhang
  • Publication number: 20150019197
    Abstract: 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.
    Type: Application
    Filed: July 9, 2013
    Publication date: January 15, 2015
    Inventors: ANTONY HIGGINSON, JOHN MASTERSON, SEAN FITZPATRICK, PETER ROBERTSHAW, CLIVE BOSTOCK, NICK BALCH, FLORIN POPESCU
  • Patent number: 8935144
    Abstract: 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.
    Type: Grant
    Filed: April 27, 2012
    Date of Patent: January 13, 2015
    Assignee: International Business Machines Corporation
    Inventors: Kamara Akili Benjamin, Guy-Vincent Jourdan, Iosif Viorel Onut, Gregor von Bochmann
  • Patent number: 8935657
    Abstract: A method, system and apparatus for the model-to-model transformation by element-kind of a source model are proposed. An element-kind model-to-model transformation can include one or more transform elements defining a traversal of a source model, an element-kind mapping and the conversion from source models to target models. The element-kind mapping can include a set of associations between element-kinds for the source model and corresponding transformation rules to produce target objects in a target model.
    Type: Grant
    Filed: December 10, 2004
    Date of Patent: January 13, 2015
    Assignee: International Business Machines Corporation
    Inventors: Duong B. Nguyen, Mahboob Ashraf, Kevin J. Cornell
  • Patent number: 8924193
    Abstract: A device receives model information associated with a modeling application. The device determines first and second conflicting information in the model information. The first and second conflicting information describe different characteristics of a model described by the model information. The device formats the first and second conflicting information in a manner that designates the first conflicting information as a first variant of the model and the second conflicting information as a second variant of the model. The model, when executed with the first variant, behaves in a different manner than when executed with the second variant. The device provides the formatted first and second conflicting information to the modeling application, provides information that identifies the first and second variant, receives a user selection of information that identifies the first variant or second variant, and executes the model based on the user selection.
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: December 30, 2014
    Assignee: The MathWorks, Inc.
    Inventors: Timothy Hosey, Robert O. Aberg, Ebrahim Mehran Mestchian
  • Patent number: 8924921
    Abstract: Methods, systems, and products for abstracting business logic into centralized database controls are disclosed herein. In one general embodiment, a method, executed by a computer system, includes identifying data use code in business logic: analyzing the data use code to determine a general data model: and implementing the general data model in the centralized database controls. The general data model is an abstraction embodying the functionality inherent in the data use code. In specific embodiments, identifying data use code in the business logic may be carried out by identifying the data use code in at least one subcomponent of the business logic, such as a user interface code component, a database coding, a table, or a file. The computer system may remove the data use code from the business logic or designate the data use code for removal.
    Type: Grant
    Filed: April 20, 2009
    Date of Patent: December 30, 2014
    Assignee: International Business Machines Corporation
    Inventors: Jon Rush, Richard Donald Salz, Michael John Sandberg, Kay Anderson Tate
  • Patent number: 8924925
    Abstract: A mechanism in a block diagram environment allows the modeling of an execution behavior of a block in a block diagram, where a user selects the execution behavior from a plurality of functions related to the block diagram and where the execution behavior of the block is performed when at least one model variable associated with the block satisfies a user-specified condition is disclosed. States and other internal data in the designated block are initialized upon the satisfaction of the user-specified condition. The illustrative embodiment of the present invention also allows the internal data to be reset upon the ending of the event, such as the modeled introduction or withdrawal of power. The execution behavior may be suspended and resumed multiple times during the simulation in response to multiple occurrences of the specified event. The present invention also allows for selected data to be exempt from the reset process so that the selected data is non-volatile.
    Type: Grant
    Filed: March 21, 2014
    Date of Patent: December 30, 2014
    Assignee: The MathWorks, Inc.
    Inventor: Matthew J. Englehart
  • Patent number: 8918306
    Abstract: Systems and methods are disclosed herein for managing electronic access to a plurality of computerized insurance services. A network interface is configured to receive a user identity provided by a user remote to the system and an access request from the user to access a selected computerized insurance service from the plurality of computerized insurance services. A memory stores computer executable instructions which, when executed by a processor, cause the system to determine a set of access rights for the user based on the user identity and an insurance-related role associated with the user identity and allow the user to access the selected computerized insurance service according to the access request only if the access requested is included in the determined set of access rights. At least two of the computerized insurance services are implemented on substantially different information platforms.
    Type: Grant
    Filed: November 16, 2011
    Date of Patent: December 23, 2014
    Assignee: Hartford Fire Insurance Company
    Inventors: Mark S. Cashman, Cornell N. Bogdan, James A Madison, Hugh J. Quinn
  • Patent number: 8914274
    Abstract: An ISS (instruction set simulator) debugging method. The method includes executing a plurality of instructions of an ISS (instruction set simulator). For each instruction, an ISS simulation state is synchronized to a simulation time when the execution of the instruction is finished. At least two debugger components are executed in conjunction with the execution of the ISS, wherein the debugger components are each coupled to control the ISS.
    Type: Grant
    Filed: December 11, 2006
    Date of Patent: December 16, 2014
    Assignee: Synopsys, Inc.
    Inventor: Dietmar Petras
  • Patent number: 8910130
    Abstract: Certain example embodiments transform a third-generation language (3GL) and/or an Assembler program so that it can be executed within a fourth-generation language (4GL) runtime environment. Certain example embodiments include a method for transforming a 3GL and/or an Assembler program that is callable by a 4GL program so that the 3GL and/or Assembler program is executable upon call by the 4GL program and from within a 4GL runtime environment. For instance a 4GL identifier may be included in the executable of the 3GL and/or the Assembler program to facilitate execution of the 3GL and/or the Assembler program upon call of the fourth-generation language (4GL) program and within the 4GL runtime environment.
    Type: Grant
    Filed: December 30, 2011
    Date of Patent: December 9, 2014
    Assignee: Software AG
    Inventors: Michael Münster, Uwe Henker