Class / Patent application number | Description | Number of patent applications / Date published |
703017000 | Event-driven | 70 |
20080221854 | COMPUTER AIDED DESIGN APPARATUS, COMPUTER AIDED DESIGN PROGRAM, COMPUTER AIDED DESIGN METHOD FOR A SEMICONDUCTOR DEVICE AND METHOD OF MANUFACTURING A SEMICONDUCTOR CIRCUIT BASED ON CHARACTERISTIC VALUE AND SIMULATION PARAMETER - A simulation instructing unit instructs a simulation unit, which generates signal characteristics, to generate the signal characteristics. A characteristic value extracting unit extracts, from the signal characteristics, characteristic values for distinguishing between a signal characteristic generated by setting a first simulation parameter and a signal characteristic generated by a second simulation parameter. A simulation parameter determining unit determines a first mapping relationship from the characteristic values to the simulation parameters with the characteristic values obtained by setting a plurality of set values in the simulation parameters and with the set values. | 09-11-2008 |
20080243463 | NON-INTRUSIVE EVENT CAPTURING FOR EVENT PROCESSING ANALYSIS - A system and a method for capturing, storing and replaying data describing application of an event-based process to an event are described. As an event processing engine processes an input event, specified data is captured by a store monitor included in the event processing engine. Hence, while the event processing engine processes an input event, data describing the event processing is contemporaneously captured without affecting processing of the input event. The captured data is then stored for later access and can be used later simulate or analyze the event processing. In one embodiment, the stored data is also classified or grouped based on one or more grouping criteria (e.g., event type, timestamp) to simplify later access to the data. | 10-02-2008 |
20080243464 | METHOD OF TRANSACTIONAL SIMULATION OF A GENERIC COMMUNICATION NODE MODEL, AND THE CORRESPONDING COMPUTER PROGRAM PRODUCT AND STORAGE MEANS - A method of transactional simulation of a generic communication node model is proposed. The method includes steps, performed at each simulation step corresponding to transaction start events and transaction end events, including: calculating a remaining quantity of data to be transmitted for each transaction not completed in a list of current transactions; if the simulation step corresponds to the start of a new transaction, calculating a quantity of data to be transmitted for the new transaction and adding the new transaction to the list of current transaction; if the simulation step corresponds to the end of the transaction, removing the transaction from the list of current transactions; allocating throughputs to the current transactions, according to a predetermined node sharing policy; calculating a duration up to the closest end time of one of the current transactions; and assigning a wait for the duration before generation of the next transaction end event. | 10-02-2008 |
20080270101 | Building Finite State Machine Model - A solution for building a finite state machine model is provided. The solution comprises: displaying ( | 10-30-2008 |
20080270102 | CORRELATING OUT INTERACTIONS AND PROFILING THE SAME - A method and system for correlating out interactions, which occur due to one or a set of specific events, of an application, which is deployed in multiple adjacent tiers in an actual environment is described. First, a simulation environment corresponding to the actual environment is created. Then, specific events are led to the actual environment and the simulation environment. A pattern(s) of interactions, which are related with the specific events, between adjacent tiers in the simulation environment and a large number of interactions between adjacent tiers in the actual environment are obtained. Afterwards, interactions, which are related with the specific events, between adjacent tiers among the obtained interactions between adjacent tiers in the actual environment are correlated using a template of the obtained pattern(s) of interactions, which are related with the specific events, between adjacent tiers in the simulation environment as a template. | 10-30-2008 |
20080281573 | Digital design ecosystem - Methods, systems, and articles of manufacture consistent with the present invention provide a digital design environment in which model information is delivered to a plurality of analysis programs that simultaneously provide real-time feedback to the user and to each other. An administrator/orchestrator program obtains a building information model and outputs a copy of at least a part of the building information model to at least two of the analysis programs. The administrator/orchestrator program receives an analysis result, which is based on an analysis of the copy of the at least part of the building information model, from each of the at least two analysis programs. The at least two analysis programs perform a respective analysis simultaneously to each other. At least two of the received analysis results are simultaneously displayed, such that effects in the received analysis results are simultaneously displayed in real-time responsive to changes in the building model. | 11-13-2008 |
20080312897 | Programmable Device and Method of Previewing User-Programmed Events of Programmable Devices - A programmable device ( | 12-18-2008 |
20080319729 | Device, System and Method of Generating a Hardware-Verification Test Case - Some demonstrative embodiments of this invention may include, for example, devices, systems and methods of performing functional verification of a hardware design. In some demonstrative embodiments, a test generator may include a transaction generator to automatically generate a plurality of manipulated transactions by manipulating one or more test case transactions resulting from a constraint-satisfaction-problem. Other embodiments are described and claimed. | 12-25-2008 |
20090012771 | Transaction-based system and method for abstraction of hardware designs - Apparatus and method for transaction-based abstraction process can, in an embodiment, include three main phases: first, selecting a set of transaction-processing finite state machines (FSMs) that determine transaction boundaries. Second, extracting the transaction-processing FSMs, composing them, and computing an abstracted FSM corresponding to the composed FSM after abstraction, step | 01-08-2009 |
20090030667 | REAL-TIME DISCRETE EVENT SIMULATION WITH LOCATION TRACKING - A machine-implemented method for simulating a supply chain for a product may include receiving real-time information regarding delays from at least one link in a product supply chain, simulating events in a supply chain based on the received information, and determining, based on the simulation, whether the costs and/or level of service relative to the product is unacceptable. | 01-29-2009 |
20090037161 | Methods for improved simulation of integrated circuit designs - A method of improved simulator processing is provided. The method according to the current invention includes grouping frequently accessed data into one set id to improve memory hierarchy performance. The method further includes simulating predication in a non-predicated architecture to improve CPU performance. The simulated predication includes pseudo-predicated implementation of read-operation vector element access pseudo-predicated implementation of write-operation vector element access, and predicated implementation of multi-way branches with assignment statements having a same left-hand-side (lhs). The method further includes determining a selection path in a multi-sensitive “always” block to reduce taken branches. The multi-sensitive “always” block selection path determination includes generating instance-specific code to save port allocation storage, and generating inlined instance-specific code to combine sensitive actions. The method further includes regenerating code affected by the assignment statement to implement value-change callback. | 02-05-2009 |
20090106011 | SYSTEM AND METHOD FOR DEVELOPING AND DEPLOYING SENSOR AND ACTUATOR APPLICATIONS OVER DISTRIBUTED COMPUTING INFRASTRUCTURE - The present invention discloses a method for coordinating zero or more modelings, zero or more implementations and zero or more deployments of a computer system, including but not limited to computer systems involving sensors, actuators, or both and a system providing assistance to designers, implementers, and deployers of computer systems. The method and system including: defining one or more interfaces of one or more components; creating models for the one or more components, each of which is either a composite component model or a atomic component, model, creating the one or more composite components as instances of the composite component models creating the one or more atomic components as instances of the atomic component models creating a domain model by specifying the computational resources; and creating a deployment model by specifying one or more component-model instances and specifying which the component-model instances should be executed on which the computational resources of the domain model. | 04-23-2009 |
20090112559 | MODEL-DRIVEN, REPOSITORY-BASED APPLICATION MONITORING SYSTEM - Enabling and processing events. To enable events, an application model correlated to an application is declaratively defined. The application model describes operations of the application. One or more event models correlated to the application model are declaratively defined. The event models describe application execution locations where events are desired to be emitted in the execution of the application. Based on the correlation of the event models to the application models, the applications are instrumented with instrumentation code to cause the application to emit events at the execution locations. To process events an application model is defined. The application model includes one or more observation models. The observation models include a correlation of events to the observation model by defining instrumentation models in the application model. An event is received. The event is applied to the observation model based on the correlation. The event is processed according to the observation model. | 04-30-2009 |
20090112560 | ADJUSTING MODEL OUTPUT EVENTS IN A SIMULATION - In an embodiment, input data is received from a user and reference data is calculated based on an original simulation state. An adjustment amount is determined based on the difference between the input data and the reference data. An event value is generated via a probability function, and the event value is adjusted by the adjustment amount into an adjusted event value. A next simulation state is then determined based on the adjusted event value, and the next simulation state is presented to a user. In an embodiment, the adjustment amount is proportional to the difference. In this way, direct and realistic feedback to the user is provided via the simulation state, which positively reinforces correct behavior and negatively reinforces incorrect behavior, more so than does an unadjusted simulation. | 04-30-2009 |
20090112561 | Method, System and Program Product for Defining and Recording Threshold-Qualified Count Events of a Simulation By Testcases - A design is simulated utilizing a hardware description language (HDL) simulation model by stimulating the HDL simulation model with a testcase. The HDL simulation model includes instrumentation not forming a portion of the design that includes a count event counter for a count event in the design, and the simulation includes counting occurrences of the count event in the count event counter to obtain a count event value. A threshold is also established for an aggregate count event value for the count event counter. After completion of the testcase, a determination is made whether addition of the count event value to the aggregate count event value for the count event counter would cause the aggregate count event value to exceed the threshold. If not, the count event value is recorded in a testcase data storage area, and the count event value is accumulated in the aggregate count event value. If so, the count event value is discarded without recording the count event value in the testcase data storage area. | 04-30-2009 |
20090119086 | System and method for clock modeling in discrete-event simulation - Local clock modeling for a discrete event simulator is described. A local clock generator provides realistic clock characteristics in terms of clock precision and clock drift and clock mapping utilities provide API for other modules and/or protocols in the discrete event simulator to schedule events on local clocks instead of global clock of the simulator. | 05-07-2009 |
20090164199 | METHOD AND SYSTEM FOR SIMULATING RECOMMENDATIONS IN A SOCIAL NETWORK FOR AN OFFLINE USER - A method and system are provided for simulating recommendations for unavailable users in a social media recommendation network. In general, the social media recommendation network is formed such that each user in the social media recommendation network sends and receives recommendations from their friends. When one of the users in the social media recommendation network is unavailable, a recommendation simulator operates to simulate recommendations from the unavailable user. When the user once again becomes available, the recommendation simulator ceases simulation of recommendations from the user. | 06-25-2009 |
20090164200 | DISTRIBUTED SIMULATION - A method and apparatus are presented to facilitate simulation of complex systems on multiple computing devices. Model authors can specify state-related information to be exported for viewing or access by other applications and models. Subsystem models may be written to enable connection with other subsystem models via controlled interfaces, such as by defining state-related information for export and providing for a particular use of data imported from other models to which a subsystem model is connected. In some embodiments, a consistent distributed simulation API enables cross-platform, multi-device simulation of complex systems, wherein the proprietor of each subsystem simulation can keep its implementation secret but accessible to others. | 06-25-2009 |
20090187395 | EVENT-SYNCHRONIZATION PROTOCOL FOR PARALLEL SIMULATION OF LARGE-SCALE WIRELESS NETWORKS - An event synchronization protocol called time-based synchronization (TBS) is employed to control operation of a network simulation. In TBS, processors in the simulated network execute events based on comparisons between timestamps for each event and a value generated by a time tracking device in the processor. In this manner, event execution is not dependent on other processes in the network and the simulation can actually be carried out at speeds faster than real time. A multiprocessor network is specially designed to execute TBS-based simulations. | 07-23-2009 |
20090192778 | TRACKING CONVERGE RESULTS IN A BATCH SIMULATION FARM NETWORK - A method and system for providing centralized access to count event information from testing of a hardware simulation model within a batch simulation farm which includes simulation clients and an instrumentation server. Count event data for said hardware simulation model is received by the instrumentation server from one or more simulation clients. A first and a second counter report are generated for the hardware simulation model, in which the first and second counter reports are derived from the count event data received by the instrumentation server. The first counter report is compared to the second counter report, and responsive to this comparison, a counter difference report is generated within the instrumentation server that conveys count event trends associated with the simulation model under different simulation testcases. | 07-30-2009 |
20090254332 | EFFICIENT PRESENTATION OF FUNCTIONAL COVERAGE RESULTS - Apparatus for presentation of functional coverage, including one or more processors and a memory, wherein the memory stores software instructions including instructions for representing a set of attributes of a design under test as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of the attributes to be tested, the events comprising legal and illegal events, instructions for running at least one test on the design, instructions for identifying, responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test, instructions for grouping one or more of the illegal events with at least one of the first and second groups so as to generate a simplified model of the functional coverage of the events in the cross-product space and instructions for presenting the simplified model of the functional coverage on an output device. The apparatus further includes an output device coupled to the coverage processor to present the simplified model of the functional coverage to a user. | 10-08-2009 |
20090259454 | AUTOMATIC TEST PROGRAM GENERATION USING EXTENDED CONDITIONAL CONSTRAINT SATISFACTION - Apparatus for automatically generating test programs is provided. The apparatus includes a test generator, which is adapted to receive a description of a system under test, expressed in terms of variables associated with the system and conditional constraints including semantics applied to the variables, to receive a definition of an event to be tested in the system, to generate an ECondCSP over the variables responsively to the definition of the event and to the conditional constraints, such that at least some of the semantics of the conditional constraints are preserved in the ECondCSP when one or more of the variables to which the semantics are applied are inactive, and to solve the ECondCSP to generate a test case for the system. | 10-15-2009 |
20090271168 | Systems and Methods for Stimulating Engineering Projects - Methods and systems for simulating engineering projects are disclosed. A plurality of networked processing devices operable to execute respective software components are provided, wherein the respective software components facilitate the simulation of respective components of the engineering project. A respective memory is associated with each of the plurality of networked processing devices. Each of the respective memories is operable to store simulation data associated with the engineering project that is shared among a plurality of the respective memories. A simulation of the engineering project is initiated by initiating the execution of the respective software components by the plurality of networked processing devices. The simulation is managed based at least in part on synchronizing the execution of the respective software components and updating at least a portion of the shared simulation data stored in the respective memories. | 10-29-2009 |
20090326904 | Apparatus and method for virtual assembly, integration and testing of an integrated system - An apparatus for testing a subsystem of a plurality of subsystems capable of being assembled to form an integrated system may include an integration stand for testing the subsystem without actual physical assembly of the plurality of subsystems which form the integrated system. The integration stand may include an interface to connect the subsystem to the integration stand for testing. The integration stand may also include a network device for connecting the integration stand to a communications network for communications between the subsystem and any other subsystems of the plurality of subsystems available via the network. In this way, the subsystem and the other subsystems may be virtually assembled and integrated to virtually form the integrated system for interoperability of the subsystems and testing without actual physical assembly of the plurality of subsystems. The integration stand may also include a simulation unit to simulate any other subsystems forming the integrated system, which are unavailable via the communications network, to virtually form the integrated system for testing the subsystem connected to the interface of the integration stand. | 12-31-2009 |
20100004916 | Process Analyzer - Techniques for performing discrete event process simulations are described. A first software module receives production process data and configures the data into a precedence format. The precedence data is then provided to a second software module which modifies the precedence data by introducing variability into the data. A third software module is then selected based on whether processing speed or graphics capability is desired. The selected third software module then performs a discrete event process simulation using the modified data. The results of the discrete event simulation are then provided to the second software module which presents results of the simulation to the user. | 01-07-2010 |
20100057427 | SIMULATED PROCESSOR EXECUTION USING BRANCH OVERRIDE - A processor simulation environment includes a processor execution model operative to simulate the execution of processor instructions according to the characteristics of a target processor, and branch override logic. When the processor execution model decodes a branch instruction, it requests a branch directive from the branch override logic. In response to the request, the branch override logic provides a branch directive that resolves the branch evaluation. The request may include a branch instruction address. The branch override logic may index an execution trace of instructions executed on a processor compatible with the target processor, using the branch instruction address. The branch directive may include an override branch target address, which may be obtained from the instruction trace, or otherwise calculated by the branch override logic. In this manner, accurate program execution order may be simulated in a simulation environment in which complex I/O is not modeled. | 03-04-2010 |
20100082318 | SINGLE QUANTIFICATION METHOD OF EXTERNAL EVENT PSA MODEL CONTAINING MULTI-COMPARTMENT PROPAGATION SCENARIOS - Provided is a single quantification method of an external event PSA model containing multi-compartment scenarios, including: loading an internal event PSA logic model having core damage as a top event; constituting a mapping table comprising external events containing the multi-compartment scenarios in consideration of information regarding external event occurrence frequencies, external event-induced initiators, and equipments damaged by external events; reflecting the mapping table in the internal event PSA logic model to establish an external event PSA model; calculating a final minimum cut set (MCS) based on the external event PSA model; and calculating a core damage frequency (CDF) value according to the final MCS. | 04-01-2010 |
20100106478 | Method for building enterprise scalability models from production data - The invention provides a method for preparing a discrete event simulation model of a production network including a client and a plurality of servers on a plurality of network tiers connected by a network comprising the steps of executing a business function from the client on the production network, gathering resource data from the plurality of servers, normalizing the resource data, calculating a consumption of resources used by the plurality of servers, estimating a transaction cost associated with the consumption of resources and building a discrete event simulation model from the transaction cost. | 04-29-2010 |
20100161305 | PERFORMANCE EVALUATION DEVICE, PERFORMANCE EVALUATION METHOD AND SIMULATION PROGRAM - A performance evaluation device includes: a control timing model unit for outputting a timing for inputting a control signal input/output between plural function blocks contained in a simulation model corresponding to a hardware; a control signal transfer period calculation unit for calculating a transfer period of the control signal between the plural function blocks in accordance with the timing for inputting the control signal; a data timing model unit for outputting a timing for inputting a data signal corresponding to the control signal, which is input/output between the plural function blocks; and a data signal transfer period calculation unit for calculating a transfer period of the data signal between the plural function blocks in accordance with the timing for inputting the data signal. | 06-24-2010 |
20100174522 | TEST SYSTEM COMBINATION FOR TESTING SEVERAL SYSTEMS UNDER TEST IN PARALLEL, COMPRISING SEVERAL TEST SYSTEMS - Modern high-end technology products such as aircraft consist of a number of individual systems that are controlled by independent electronic control units and increasingly interconnected. According to one exemplary embodiment of the present invention, a test system assembly for testing several such systems for an aircraft in parallel is disclosed, wherein a master network is provided in order to exchange data between the individual test systems and a control unit, and wherein original electrical wiring is provided between the test systems in order to directly interconnect the tested systems. The flexibility of system tests for aircraft may be increased in this fashion. | 07-08-2010 |
20100198576 | METHODS AND DEVICES FOR COMMUNICATING DIAGNOSIS DATA IN A REAL TIME COMMUNICATION NETWORK - Methods and devices for non-intrusive identification and communication between a server node and at least one client node in a communication network. An identification message is first transmitted to at least one client node, the identification message including at the application level a duplicate of the addressing data, the physical address and the internet address of the server node, also contained in the MAC and IP layers. The reception of at least one couple of addresses from at least one client node, wherein a couple of addresses from a client node includes a physical address and an internet address according to the same duplication strategy, can be used for identifying the client node by the server. Similarly, the methods and devices can be used for identifying in a client node at least one server node in the network. | 08-05-2010 |
20100204974 | Lidar-Assisted Stero Imager - A lidar and one or more electro-optical (EO) imaging device may asynchronously acquire lidar shots and EO images. Navigation data comprising positioning, orientation, acceleration, and/or velocity information may be acquired as the lidar and EO data is captured. The lidar shots, EO images, and/or navigation data may be time stamped. The navigation and timing data may be used to associate a particular lidar shot and/or EO image with navigation data. The EO images may be captured at a higher capture rate and at a higher spatial resolution than the lidar shots. The navigation data may be used to cross correlate a lidar shot to a selected plurality of overlapping EO images. Ranging model information may be determined from EO image sequences using a stereo imaging technique. The stereo imaging technique may be seeded using the lidar shot data. | 08-12-2010 |
20100250225 | DATE AND TIME SIMULATION FOR TIME-SENSITIVE APPLICATIONS - A process for providing a simulated date and/or time to a time-sensitive application is disclosed herein. Such a process may include detecting the invocation of a time handler method configured to retrieve system time. Upon detecting the invocation, the contents of a call stack may be captured and analyzed to determine which requester method initiated the invocation. The process may then determine whether the requester method should receive a real or simulated system time. A real system time may be returned to the requester method in the event it should receive the real system time. A simulated system time may be returned to the requester method in the event it should receive the simulated system time. A corresponding apparatus and computer program product are also disclosed and claimed herein. | 09-30-2010 |
20100250226 | HYBRID SYSTEM SIMULATION METHOD AND SIMULATION PROGRAM PRDUCT - A technique for enhancing the execution efficiency of simulation of a hybrid system. A continuous system simulator receives a request for evaluation of an event generating conditional expression for an event to be processed by a discrete system simulator, from the discrete system simulator. The event generating conditional expression is evaluated by referring to the value of a first variable describing a continuous system. Until evaluation of the event generating conditional expression indicates true, the continuous system simulator repeats simulation of advancing the current time by a step time interval and evaluation of the event generating conditional expression. When evaluation of the event generating conditional expression indicates true, the continuous system simulator sends current time data and the value of a second variable describing the continuous system which is referred to by the discrete simulator, to the discrete simulator. | 09-30-2010 |
20100268521 | Monitoring An Automation System - The present disclosure includes a monitoring of an automation system. The automation is monitored using the modeling information in which a runtime software was created to control the automation system. In one embodiment, the automation system is online. In a further embodiment the automation system is offline. Controls of the monitoring, such as stop, start, pause, and playback may be provided. | 10-21-2010 |
20100274549 | DESIGN SIMULATION USING PARALLEL PROCESSORS - A method for design simulation includes partitioning a verification task of a design ( | 10-28-2010 |
20110040549 | DISCRETE EVENT SIMULATION TOOL COMBINING PROCESS-DRIVEN AND EVENT-DRIVEN MODELS - The embodiments described herein generally relate to a discrete event simulation (DES) tool which combines the process-driven model and the event-driven model. This integrated process (which uses entities) and event simulation framework according to the various embodiments provides a platform that is appropriate for all combinations of simulation model requirements and at the same time provides higher level of model abstraction. The DES tool instantiates a new paradigm that permits flow of entities at the event-driven model layer that is analogous to their treatment at the process-driven model layer. | 02-17-2011 |
20110054877 | ANALYSIS SUPPORT COMPUTER PRODUCT, ANALYSIS SUPPORT APPARATUS, AND ANALYSIS SYSTEM - A non-transitory, computer-readable recording medium stores therein an analysis support program that causes a computer to execute receiving disposal position information indicative of respective disposal positions for jigs in information indicative of disposal positions set on a surface of an object model modeling an object; creating, using the object model and a jig model modeling a jig, an analytic model by modeling a state where the jigs are disposed respectively at the disposal positions that are on the surface of the object and indicated by the disposal position information; obtaining an analysis result for each of the disposal positions by executing strength analysis of the object using the analytic model; producing, by correlating the disposal positions and the analysis results for the disposal positions based on the obtained analysis results, a chart that displays at each of the disposal positions, a correlated analysis result; and outputting the chart. | 03-03-2011 |
20110082682 | SYSTEMS POWER DISTRIBUTION TOOL - A systems power distribution tool integrates the design of the power source and distribution network to provide a robust interconnect topology and power source. This is accomplished with a machine of one or more computing devices configured as a systems power distribution tool. The tool “pulls” load current from the source through interconnects to the loads. This allows the interconnects to be designed to satisfy derating conditions for worst case voltage and current conditions and the power source to be designed to source the loads under actual conditions without margin stacking. | 04-07-2011 |
20110144969 | High-Frequency Entropy Extraction From Timing Jitter - A method for creating entropy in a virtualized computing environment includes waking one or more samplers, each sampler having a sampling frequency; sampling a sample source with each of the one or more samplers; placing each of the samplers in an inactive state when not sampling; determining a difference between an expected value and a sampled value at each sampler; and providing a function of the difference from each of the one or more samplers to an aggregator. | 06-16-2011 |
20110153305 | Software extensions to a high level description language simulator to provide infrastructure for analog, mixed-signal, RF modeling and verification - An extension to a simulator ( | 06-23-2011 |
20110231176 | CONTROL SYSTEM SIMULATOR AND SIMPLIFIED INTERCONNECTION CONTROL SYSTEM - A computer-based simulator, separate from a computer process control system, that simplifies the electrical interconnection of the computer-based simulator to the computer control system and reduces the number of hardware components required to effect a computer-based simulator. The invention also facilitates remote configuration and operation of the control and simulator systems. | 09-22-2011 |
20110270600 | METHOD AND APPARATUS FOR PROVIDING INTEROPERABILITY BETWEEN DEVICES - An apparatus, method, and computer program product are provided for enabling interoperability between devices, such as a mobile terminal and some other remote device or remote environment. The apparatus may include at least one processor and at least one memory including computer program code. The at least one memory and the computer program code may be configured, with the processor, to cause the apparatus to maintain a terminal session between a server device and a client device in which the client device emulates at least a portion of a display presented at the server device; receive an indication of a user input received at the client device identifying a function to be performed at the server device; determine a corresponding input to elicit the identified function; and cause the identified function to be performed at the server device. | 11-03-2011 |
20110282640 | TIMING ANALYSIS USING FORMAL METHODS - A method and tools for providing precise timing analysis scalable to industrial case studies with large numbers of tasks and messages are provided, including the capability to model and analyze task and message response times; ECU usage; bus usage; end-to-end latency of task/message chains; and timing synchronization problems in task/message graphs. System tasks and messages are modeled in a formalism known as calendar automaton. Models are written in a modeling language such as Promela and instrumented with code specific to the analysis specification. Models and instrumentation are automatically generated from the system description and analysis specification. The system model is subjected to exhaustive state space exploration by a compatible model checker, such as SPIN. During exploration, the instrumented code produces results for different timing analyses. Optimization techniques are provided to generate models which require less memory and time for analysis and make the method scalable to large, industrial case studies. | 11-17-2011 |
20120084068 | Incorporation of Uncertainty in Simulation Analysis - A computing device simulates a test system by defining parameter values to be used to populate certain modeling formulas defining the test system. The defined parameter values correspond to one of the many points defining a domain in which the test system is to be simulated. The simulation iteratively solves the modeling formulas for each unit of the test system model space for each point in the domain in which the test system is simulated. Results for the subjects of interest are calculated at each iteration using the populated modeling formulas. A variance of the subjects of interest is also calculated at each iteration using a correlation coefficient obtained for the subjects of interest. The iterations of defining the parameter values and calculating the value and variance of the subjects of interest in the test system model space continues until all points in the domain have been simulated. | 04-05-2012 |
20120084069 | GENERATING AND DELAYING FUNCTION CALLS IN A DISCRETE EVENT MODELING ENVIRONMENT - A mechanism to dynamically vary the amount of delay for an event-generated function call is discussed. The event causing the generation of the function call may be a signal-based event, function call event or some other type of event. A function call generating delay component is inserted into a DES model and dynamically adjusts the amount of delay to apply prior to generating and transmitting the function call to an intended target component. The function call generating component reads a value from an input port in determining the amount of delay. The identified value at the input port may be a signal value or an attribute associated with an event entity received at the port. | 04-05-2012 |
20120166171 | MODELLING AND SIMULATION METHOD - A method for simulating behaviour of first and second interrelated components within a system. The method comprises modelling behaviour of said first and second components using first and second functional specifications; simulating behaviour of said first and second components in predetermined circumstances by instantiating at least one first entity within a hierarchy of interrelated entities; and instantiating at least one further entity in response to the or each instantiated first entity. The or each further entity is selected by a simulation system on the basis of its hierarchical relationship with the at least one first entity. | 06-28-2012 |
20120209584 | Advanced Metering Infrastructure Simulation - Disclosed are various embodiments for systems and methods facilitating simulation of metering devices in an advanced metering infrastructure (AMI) deployment. Meter simulators are executed in a simulation application, and a user can initiate a simulation based upon various operational scenario the user desires to simulate. | 08-16-2012 |
20120239372 | EFFICIENT DISCRETE EVENT SIMULATION USING PRIORITY QUEUE TAGGING - A method is provided for sequential discrete event simulation for a distributed system having a set of nodes. A priority queue is constructed that includes events to be executed by a processor at a given node in the set. A first subset of nodes is identified. Each node in the first subset is associated with a respective subset of events and includes a highest priority event whose priority must be unconditionally re-evaluated during a next time step. A second subset of nodes is identified. Each node in the second subset is associated with a respective other subset of events and includes a highest priority event whose priority must be re-evaluated when a re-evaluation condition depending upon an external state is satisfied. A next one of the plurality of events in the priority queue is selected to be executed by the processor using the first and second subsets of nodes. | 09-20-2012 |
20120310620 | METHOD AND SYSTEM FOR SIMULATION OF REAL-TIME SYSTEMS USING ACCESS POINTS - Computer-based simulation of a real time system which includes an application software to be executed on a target hardware platform (hardware and operating system). The application software has tasks of different priority and a set of instructions. An access point is defined for each task at an instruction representing an entry point of a task, a termination point of a task, an access to shared memory, an access to a register of the target hardware platform, and/or a system call or a driver function call, thus dividing the tasks into consecutive instruction blocks. A target execution time is assigned to each instruction block. A discrete event simulation is performed using a queue of events, each associated with a task, an access point of a task, and an event timestamp. During event processing, the instruction block corresponding to the access point associated with the event is executed without interruption. | 12-06-2012 |
20130066620 | MACHINE EMULATOR MACHINES - Emulator computer program machines including an emulator module are disclosed. A machine includes a computer usable medium having computer readable program code for emulating a process of a machine having actuators and mechanical elements. The computer readable program code includes computer readable code instructions configured to display a graphical user interface having input fields corresponding to the actuators and mechanical elements, and to display a graphical representation of output response data of the machine using inputted parameters. Computer readable code instructions for receiving a plurality of parameters inputted into the plurality of input fields, and for emulating a mechanical operation of the machine using the plurality of parameters inputted into the plurality of input fields by simulating the programmable logic controller code are included. Output response data based on an emulation of the mechanical operation of the machine is generated and displayed. | 03-14-2013 |
20130085739 | LOOKING GLASS: A HYBRID SIMULATION SYSTEM TO MODEL CASCADING EVENTS WITHIN A BLACK BOX SYSTEM - A hybrid simulation system to model cascading events within a black box system may include a tessellated field operable to allow a plurality of black box components to execute on a processor and communicate without needing a direct connection between the black box components. The black box components have transfer functions defined over a common coordinate system and time. | 04-04-2013 |
20130085740 | LOOKING GLASS: A HYBRID SIMULATION SYSTEM TO MODEL CASCADING EVENTS WITHIN A BLACK BOX SYSTEM - A hybrid simulation system to model cascading events within a black box system may include a tessellated field operable to allow a plurality of black box components to execute on a processor and communicate without needing a direct connection between the black box components. The black box components have transfer functions defined over a common coordinate system and time. | 04-04-2013 |
20130275112 | DELTA RETIMING IN LOGIC SIMULATION - Aspects of the present invention are directed to improving the speed of event-driven simulation by manipulating delta delays in a system model to reduce delta cycle executions. The manipulation is performed in a manner that preserves delta cycle accurate timing on selected signals of the system, which may be of interest to a designer. Methods and systems are provided for identifying the signals of interest, and for determining portions of the design that may have delta delays retimed. Preserving the timing on the signals of interest ensures that race conditions and glitches present in the design on the signals of interest are still viewable by the designer. To reduce simulation time, delta delays may be moved from high activity signals to low activity signals, the total number of delta delays may be reduced, or a number of processes executed may be reduced. | 10-17-2013 |
20140067357 | EVENT DRIVEN SIMULATION OF A SYSTEM MODEL - Methods and systems for simulating a system model are provided. The method includes loading into a computing system the system model that includes a plurality of event generating device models and non-event generating device models, scheduling a next event for each of the event generating device models independent of the next event of each other of the device models, advancing time to an earliest of the scheduled next events that is scheduled at a host device, committing the earliest of the scheduled next events, and replacing the earliest of the scheduled next events with a new next event for the host device. | 03-06-2014 |
20140067358 | DETERMINING AN OPTIMAL GLOBAL QUANTUM FOR AN EVENT-DRIVEN SIMULATION - An apparatus and method for determining an optimal global quantum value for use in event-driven simulations of a device are disclosed herein. The device is simulated using information representative of a device design corresponding to the device, the simulation of the device comprising an event-driven simulation using a provisional global quantum value. Events included in a sequence chart corresponding to the simulation using the provisional global quantum value are compared against expected events. Based on the comparison detecting at least one of the expected events being absent in the sequence chart, providing the optimal global quantum value as being smaller than the provisional global quantum value. Based on the comparison detecting no difference between the events in the sequence chart and the expected events, providing the optimal global quantum value as being larger than the provisional global quantum value. | 03-06-2014 |
20140107999 | MULTI-LEVEL ABSTRACT POWER MODELING METHOD - Methods, apparatuses, and computer readable media for utilizing a single model of event-based energies at multiple hierarchical levels of a design. The event-based energy model contains multiple interfaces that access or reference lower level power data, such as pin-based power data. The power of a transaction level definition of a design is estimated using the event-based energy model. The transaction-level definition of the design uses indirect references to access the event-based energy model. Other abstraction levels of the design may have their power estimated using the same low-level event-based energy model. Overall, a consistent power estimation of a design is performed using the same event-based energy model at different levels of abstraction of the design flow. | 04-17-2014 |
20140114637 | METHOD FOR JUST-IN-TIME COMPILATION AND EXECUTION OF CODE BLOCKS WITHIN DISCRETE EVENT SIMULATIONS - A method for a discrete event simulation model of a system utilizing a just-in-time compilation for one or more code blocks associated with an event in one or more discrete event simulation models is disclosed. The method comprises the steps of determining the event in a discrete event simulation model according to a kind of event, retrieving the code block associated with the event, compiling the code block into an object file using a compiler, linking the object file with a predetermined function in a simulation library, compiling the object file and the predetermined function into a customized dynamic link library, loading the customized dynamic link library (DLL) within a discrete event simulation program execution and linking the customized DLL to a simulation program. The method allows user entered logic to be executed in high speed by integrating a just-in-time compiler embedded into the simulation model to allow dynamic generation of high speed code blocks within one or more simulations. | 04-24-2014 |
20140278330 | ILLUMINATION SYSTEM - An illumination system is provided, including a light emitting device and a control device, wherein the control device is coupled to the light emitting device so as to capture a situation data in a remote end and generate a situation signal correspondingly. The light emitting device receives the situation signal and generates a simulating situation. | 09-18-2014 |
20140278331 | PAVEMENT CONDITION ANALYSIS FROM MODELING IMPACT OF TRAFFIC CHARACTERISTICS, WEATHER DATA AND ROAD CONDITIONS ON SEGMENTS OF A TRANSPORTATION NETWORK INFRASTRUCTURE - A pavement condition analysis system and method models a state of a roadway by processing at least traffic and weather data to simulate the impact of traffic and weather conditions on a particular section of a transportation infrastructure. Traffic data is ingested from a plurality of different external sources to incorporate various approaches estimating traffic characteristics such as speed, flow, and incidents, into a road condition model to analyze traffic conditions on the roadway in order to improve road condition assessments and/or prediction. A road condition model applies these traffic characteristics, weather data, and other input data relevant to road conditions, accounting for heat and moisture exchanges between the road, the atmosphere, and pavement substrate(s) in a pavement's composition, as further influenced by traffic and road maintenance activities, to generate accurate and reliable simulations and predictions of pavement condition states for motorists, communication to vehicles, use by industry and public entities, and other end uses such as media distribution. | 09-18-2014 |
20140330549 | SIMULATION DEVICE, SIMULATION METHOD, AND RECORDING MEDIUM - A simulation apparatus has a type setting section that sets a type of mode of electric power consumption of equipment, and an output section that simulates an amount of the electric power consumption of the equipment in accordance with the type set by the type setting section and outputting the amount of electric power consumption thus simulated. | 11-06-2014 |
20140365198 | TECHNIQUES TO SIMULATE PRODUCTION EVENTS - Techniques to simulate production events are described. Some embodiments are particularly directed to techniques to simulate production events based on randomization across a distribution of production events. In one embodiment, for example, an apparatus may comprise a simulation application operative to simulate one or more commands in a simulated environment using a task hierarchy, the simulation application comprising a configuration component, a command generation component, and an execution component, wherein simulating the one or more commands comprises executing one or more task commands. The configuration component may be operative to receive the task hierarchy from the data store, the task hierarchy comprising a plurality of task entries, each task entry comprising a list of task entries or a task command, the list of task entries comprising probabilities associated with each task entry in the list of task entries, wherein task commands correspond to the simulated environment representing a production environment. The command generation component may be operative to determine the one or more task commands by traversing through the task hierarchy based on the associated probabilities until the one or more task commands are reached. The execution component may be operative to execute the one or more task commands as one or more simulated commands in the simulated environment. Other embodiments are described and claimed. | 12-11-2014 |
20150019195 | CONSOLIDATION PLANNING SERVICES FOR SYSTEMS MIGRATION - Systems and methods for modeling a prospective systems migration between server systems are provided. Performance data associated with a plurality of applications in a first server system may be collected. A selection of a set of applications in the plurality of applications to migrate to a second server system may be processed. Combined performance data that estimates how the set of applications will perform on the second server system may be computed using at least some of the performance data. Based on the combined performance data, indications as to whether the set of applications should be migrated to the second server system may be provided. | 01-15-2015 |
20150081266 | INFORMATION PROCESSING APPARATUS, METHOD, AND PROGRAM PRODUCT - An information processing apparatus includes a simulator configured to simulate a process to be executed by an apparatus based on an operation procedure defined in first definition information, and one or more status changers each configured to detect arrival of a time specified in second definition information by monitoring an event generated based on the simulated process, and to change a status of the simulator to a status specified in the second definition information based on the detected time. In the information processing apparatus, the simulator simulates a process to be executed by the apparatus in accordance with a request from a program to cause the apparatus to execute the process in the status changed by the status changer. | 03-19-2015 |
20150127318 | APPARATUS AND METHOD FOR SIMULATING AN OPERATION OF AN OUT-OF-ORDER PROCESSOR - An operation of a processor with out-of-order execution is simulated by a computer configured to access a storage unit storing a specific internal state of the processor. A program executed by the processor is divided into a plurality of blocks. When a target block on which an operation simulation is to be performed is changed from a first block to a second block in the plurality of blocks, the computer determines whether the second block is a block that performs a process according to an exception that has occurred in the first block. When it is determined that the second block is a block that performs the process according to the exception, the computer performs the operation simulation of the second block after changing an internal state of the processor in the operation simulation to the specific internal state stored in the storage unit. | 05-07-2015 |
20160012162 | SYSTEM AND METHOD FOR SCHEDULING THE EXECUTION OF MODEL COMPONENTS USING MODEL EVENTS | 01-14-2016 |
20160180016 | SYSTEM AND METHOD FOR MODELING A LIGHTING CONTROL SYSTEM | 06-23-2016 |
20160188761 | Asynchronous Parallel Simulation Protocol for Stream Processing Platforms - An asynchronous parallel simulation protocol useful to simulate events in a stream processing platform. The invention is a windowing scheme which is suitable for distributed stream computing platforms containing facilities for supporting fully asynchronous processing elements and downstream event flows. It is a realization of the concept of a BSP superstep based oracle simulator that enables using statistics from the recent past to conduct the actual optimistic simulation at low rate of straggler messages. The invention is capable of achieving good statistic agreement with results from sequential simulations of the same models. | 06-30-2016 |
20160253190 | Virtual Environment for Simulating a Real-World Environment with a Large Number of Virtual and Real Connected Devices | 09-01-2016 |
20170235860 | Event Visualization | 08-17-2017 |