Abstract: Executing a simulation of a computer platform, the simulation including simulation models. A dynamic quantum is accessed whose current value specifies a maximum number of units of execution a simulation model is allowed to perform without synchronizing with another simulation model. The dynamic quantum may be received from a user. Respective simulation models are invoked for execution with the current value of the dynamic quantum provided to each of the simulation models. The method also comprises modifying the value of the dynamic quantum based on a simulation event.

Abstract: A system includes tracing logic to parse trace information into time varying segments and model traces based on segments of time varying I/O (input/output) and/or workload behavior. The logic can detect segments that represent statistically similar system behavior and reduce the number of segments based on detecting segments representing similar system behavior. The logic can leverage Mutual Information techniques to eliminate redundant workload dimensions and build a concise workload model. The logic can also use HAC to segregate similar workload patterns represented by multiple non-redundant workload attributes. The logic can use ePDF to regenerate distributions of workload attribute values during trace regeneration. The logic can generate segment models from the segments, which can be combined into a test trace that represents a period of system behavior for simulation.

Abstract: An ECU (Electronic Control Unit) evaluation apparatus, for use in vehicle design, allocates functions appropriately to respective ECUs of a vehicle. The function allocation can be performed based on user-specified priority aspect(s) in conjunction with stored information concerning the respective functions and information concerning the ECUs, such as installation positions on the vehicle, mechanical and electrical specifications of component parts of ECUs, etc.

Abstract: A computer-based analysis of an enterprise computer system is utilized to remove bottlenecks that cause the enterprise computer system to operate in a non-optimal or risky manner. Contents of e-mails are examined to identify bottlenecks in the enterprise computer system. Upon identifying the bottlenecks, the enterprise computer system is simulated, and simulations of replacement components, which the computer-based analysis has deemed appropriate for curing the bottlenecks, are installed in the simulated system. If the computer simulation with the replacement components cures the bottlenecks and causes no new problems for the enterprise computer system, then corresponding actual replacement components are installed in the enterprise computer system.

Abstract: A method for providing a virtual optical disk drive (ODD) is provided. The method can comprise: simulating a PCI IDE controller through PCI configuration space IO trap and simulating the ODD through IDE device IO trap.

Abstract: A method and system for simulating a plurality of devices are disclosed. A simulator configured to simulate a plurality of devices may output simulated device data for the plurality of devices, where the output of the simulated device data may be performed based upon execution of commands by the simulator. The commands may be received from a device abstraction layer in response to a request from the simulator for any commands associated with the plurality of devices. Additionally, the simulated device data may be communicated to a component coupled to the simulator, where a result of the processing of the simulated device data by the component may be used to analyze the performance of the component. Further, other commands may be executed by simulator for changing the frequency at which simulated device data is output, for performing another operation defined during configuration of the simulator, etc.

Abstract: A simulation apparatus is disclosed, including a hardware simulator and a CPU model. The hardware simulator activates one or more logical hardware models for verifying embedded software. The CPU model is one of the one or more logical hardware models which imitates a CPU which executes the embedded software, and to trigger the embedded software to operate without synchronization for each of instructions.

Abstract: A method for generating software for a hardware component of a measuring, control, or regulating system having a processor, an FPGA, and a plurality of I/O channels. The I/O channels are connected to the FPGA and the FPGA is connected to the processor via a communications interface. The method includes the steps of selecting a first subset of the I/O channels for operation by the FPGA, generating a first application for execution in the FPGA, selecting a second subset of the I/O channels for operation by the processor, and generating a second application for execution on the processor. The step of generating a first application comprises generating code for connecting the second subset of I/O channels to the communications interface. The invention relates in addition to a method for operating a hardware component.

Abstract: Example embodiments provide various techniques for modeling network storage environments. To model a particular storage environment, component models that are associated with the components of the storage environment are loaded. Each component model is programmed to mathematically simulate one or more components of the storage environment. A system model is then composed from the component models and this system model is configured to simulate the storage environment.

Abstract: A method includes presenting multiple memory circuits to a system as a virtual memory circuit having at least one characteristic that is different from a corresponding characteristic of one of the physical memory circuits; receiving, at an interface circuit, a first command issued from the system to the virtual memory circuit; and in response to receiving the first command, 1) directing a copy of the first command to a first physical memory circuit of the multiple physical memory circuits, and 2) performing a power-saving operation on at least one other physical memory circuit of the multiple physical memory circuits.

Abstract: Systems and methods for modeling test space for verifying system behavior, using one or more auxiliary variables, are provided. The method comprises implementing a functional coverage model including: one or more attributes, wherein respective values for the attributes are assigned according to a test plan, and one or more constraints defining restrictions on value combinations assigned to the attributes, wherein the restrictions are Boolean expressions defining whether said value combinations are valid; determining a set of valid value combinations for the attributes that satisfy the restrictions to define the test space for verifying the system behavior; and determining relevant auxiliary variables and a corresponding function for said auxiliary variables to reduce the complexity associated with modeling the test space.

Abstract: A simulator is partitioned into a functional component and a behavior prediction component and the components are executed in parallel. The execution path of the functional component is used to drive the behavior prediction component and the behavior prediction component changes the execution path of the functional component.

Abstract: A system, method, and computer program product are provided for providing validation of network model objects within a network model design process. In use, a request to create a design of at least a portion of a network model is received via an interface utilized for creating a network model design. Additionally, at least one object of the network model capable of being utilized to create the design of the at least a portion of the network model is identified, in response to the request. Furthermore, it is determined whether at least one discrepancy has been identified for the at least one object. Moreover, a response to the request to create the design of the at least a portion of the network model is provided that is based on the determination of whether the at least one discrepancy has been identified for the at least one object.

Abstract: The exemplary embodiments of the invention provide at least a method, apparatus and system to perform operations including receiving context data from an electronic device, causing, at least in part based on the received context data, an identification of at least one context model compatible with the electronic device, and causing, at least in part, provision of the electronic device with the at least one compatible context model. In addition, the exemplary embodiments of the invention further provide at least a method, apparatus and system to perform operations including causing, at least in part, a provision of context data associated with an electronic device to a context inference service, in response, receiving a context model from the context inference service, and causing adaptation of the received context model as a current context model of the electronic device.

Abstract: A dynamic predictive model of a computing system fabrication test is constructed. The computing system fabrication test is conducted over test sectors. Each test sector corresponds to a different type of the computing system fabrication test, and includes test operations that are individually performed to effectuate the test sector. The dynamic predictive model generates a predicted completion time of each test operation of each test sector. Production output of the computing system fabrication test is forecast for a scenario corresponding to a particular computing system to undergo fabrication testing, by applying the dynamic predictive model to the scenario. The production output is forecast in that a total time remaining until the particular computing system to which the scenario corresponds has completed the fabrication testing is predicted.

Abstract: A quantum annealer simulator approximates unitary quantum dynamics of a quantum annealer on a non-quantum computing device such as a conventional computing device. The quantum annealer simulator may utilize algorithms that may efficiently approximate unitary time evolution of a quantum system, where the quantum system corresponds to a problem for which an optimized solution is sought.

Abstract: A system is configured to: identify a block of a model; represent the block as a group of sub blocks; and establish connections for the group of sub blocks. The block includes an input signal and two or more output signals. The group of sub blocks include a state block that provides a state, and two or more output blocks for receiving the state.

Abstract: A system and methods to simulate a power profile of an electrical system are disclosed. A combination of electrical devices operable to be electrically coupled to a common power source is virtually assembled, and empirically derived dynamic power requirements associated with each of the electrical devices are modeled. Power profiles for at least one electrical system configuration comprising the combination of electrical devices are generated using the empirically derived dynamic power requirements.

Abstract: A method is presented to verify correctness of computer system software and hardware components. The method includes: operating a test environment with a verified system software and hardware version; monitoring and recording each hardware access during operation of the test environment with the verified system software and hardware version to generate a corresponding verified trace file; operating the test environment with a modified system software and/or hardware version; monitoring and recording each hardware access to generate a corresponding new trace file during operation of the test environment with the modified system software and/or hardware version; defining an arbitrary order for target chips in the verified and the modified hardware model or hardware system version; sorting sequences of entries in both trace files according to the target chip order; and comparing the sorted trace files by comparing their entries each by each and outputting a corresponding comparison result.

Abstract: A method and device for calibrating a power model for a multi-state device. The device includes a processor and a computer readable medium containing instructions to instruct the processor to perform the method. The method includes receiving a device state log comprising a time-based representation of multi-state device states for a first period of time and a power trace comprising a time-based representation of power consumed by the multi-state device for the first period of time; eroding the device state log to reduce potential noise present at state transitions within the device state log, thereby producing an eroded device state log; determining energy consumption for each state transition in the eroded power state log; creating an updated power model for the multi-state device based upon the eroded power state log; and storing the updated power model in a non-transitory computer readable medium operably connected to the multi-state device.

Abstract: Techniques for automated Bayesian posterior sampling using Markov Chain Monte Carlo and related schemes are described. In an embodiment, one or more values in a stationarity phase for a system configured for Bayesian sampling may be initialized. Sampling may be performed in the stationarity phase based upon the one or more values to generate a plurality of samples. The plurality of samples may be evaluated based upon one or more stationarity criteria. The stationarity phase may be exited when the plurality of samples meets the one or more stationarity criteria. Other embodiments are described and claimed.

Abstract: In a method for managing an infrastructure, a utilization of a plurality of infrastructure components in performing an objective is simulated. In addition, a resource demand for the infrastructure associated with the simulated utilization of the infrastructure components is determined and a supply of resources by a plurality of available sources to meet the determined resource demand is simulated. Moreover, at least one metric associated with the determined resource demand and the simulated supply of resources by the plurality of available sources is determined.

Abstract: A method for synchronizing different components of a computer network system using meta-commands embedded in normal network packets. The data communication channel between different components of a computer network system can be used to transport meta-commands piggybacked in normal network packets, without modifying or compromising the validity of the protocol message. Embodiments of the method can be used for embedding test synchronization and control commands into the network packets sent through a device or system under test. The device or system under test can be an edge device, with the data communication channel carrying normal packets containing meta-commands embedded in the packets to synchronize the test control of the test clients and the test servers connected to the edge device.

Abstract: A system for the customization of user settings on a target instrument includes a configuration module configured for the customization of user settings on a target instrument, and a representation module communicably coupled to the configuration module. The representation module includes a duplicate of firmware from the target instrument. A method of production of a system for the customization of user settings on a target instrument, includes configuring a configuration module for the customization of user settings on a target instrument, communicably coupling the configuration module to a representation module; and disposing a duplicate of firmware from the target instrument in the representation module.

Abstract: A simulation apparatus and method for a multicore system are provided. The simulation apparatus may prevent the occurrence of a data collision during the communication between modules and may reduce the overhead generated during simulation. The simulation apparatus may select a plurality of modules to be synchronized in terms of function execution timing based on timing information and may configure a multicore system architecture model using the selected modules. The simulation apparatus may acquire function execution timing information of the modules, control the execution of functions by the modules based on the acquired function execution timing information, and output the results of the control of the execution of functions by the modules.

Abstract: A non-disruptive upgrade (NDU) technique involves installing and activating a first copy of a new version of an application in a temporary directory to (i) obtain control from an original version of the application while the original version is installed in an application directory and (ii) shut down the original version. The technique further involves, after the first copy of the new version obtains control from the original version and the original version is shut down, installing and activating a second copy of the new version of the application in the application directory to (i) obtain control from the first copy of the new version while the first copy of the new version is installed in the temporary directory and (ii) shut down the first copy of the new version. Such operation maintains the continuity of work at each phase of the NDU technique.

Abstract: A computer implemented method, an apparatus and a computer program product for instrumentation coverage. The method comprising: determining an instrumentation coverage model of a system having components, the instrumentation coverage model defining instrumentation tasks of the system, wherein each instrumentation task defines a subset of the components to be monitored; and monitoring the system by a computer, wherein during said monitoring applying a plurality of partial instrumentation tasks defining strict subsets of the components to be monitored.

Abstract: A method and device for preserving the wired-OR nature of the clock signal connection between two devices without a direct analog connection between the lines and in an infinitely scalable fashion. The method includes detecting a logic state at a first connector and a second connector and driving an appropriate connector of the device to an active state in response to determining that a connector is driving an active state. The device includes first and second connectors for communicating logic states and driving active states in response to detected logic states.

Abstract: A configuration storage unit (110) stores the constituent element identification information of each constituent element, in association with the type information indicating the type of the constituent element, the constituent element identification information of another constituent element related to the constituent element, and the type information of the another constituent element. For each piece of the type information, a rule storage unit (120) stores the type information of another constituent element, which is influenced when failures occur in the constituent element corresponding to the type information, in association with influence information indicating a content of the influence. An availability model generation unit (130) generates an availability prediction model for an information processing system, on the basis of the information stored in the configuration storage unit (110) and the information stored in the rule storage unit (120).

Abstract: A method, system and computer program product for creation of specification properties for a visual model of a system. The specification properties are useful for verification of a verification model corresponding to the visual model. The computer-implemented method comprising automatically generating, by a processor, a specification property for a verification model based on a selection by a user of at least one element in a visual model, wherein the visual model defines a computerized system, wherein the verification model corresponds to the visual model.

Abstract: Techniques are described for constructing maximum transition run (MTR) modulation code based upon a multi-level (ML) run-length limited (RLL) finite state machine (FSM) that implements different sets of penalties. A processor is configured to receive information from a hard disk drive (HDD) via a read channel and recover data from the HDD using MTR modulation code. A memory has computer executable instructions configured for execution by the processor to model a magnetic recording channel as a partial response channel, model a source of information to the magnetic recording channel to provide an optimized Markov source, and construct an MTR modulation code to mimic the optimized Markov source based upon an FSM having a limited transition run length and a multi-level periodic structure. The FSM provides at least two different sets of penalties in a period.

Abstract: A network application may be run on a host computer using a target protocol stack by launching a network application on the host computer, opening a target protocol stack library on the host computer before opening a host computer system library and using the target protocol stack library to divert interface calls associated with the network application to a target protocol stack, whereby the network application runs on the host computer as if it were running directly on a computer on which the target protocol stack is available. A network environment may be simulated including wireless communication between a plurality of mobile devices. Multiple instances of the target protocol stack library may be opened to divert interface calls associated with the network application to the target protocol stack. A hardware test bed may be emulated to which the network application may be applied.

Abstract: A method for a computing apparatus, of adopting virtualization resource requirements is provided. Performance indicators at least in part related to a virtualized application are received and a vendor model is updated based on the received performance indicators. The method also allows for generating, based on the updated vendor model, updated resource requirement estimates for the virtualized application. The updated resource requirements serve as a basis for sending, to a cloud service provider, a capacity change request based on the updated resource requirement estimates. The timing for generating and sending updates is managed by an adaptation module and is based on an update policy. The update policy itself can be based on schedules that reflect estimated capacity changes for the virtualized application. The updating can be based on a learning module which can use Kalman filters and other techniques for learning.

Abstract: The present invention relates to a system comprising threat evaluation and sensor/weapon assignment algorithm operating units which are adapted such that they will operate any threat evaluation and sensor/weapon assignment algorithm, a simulation and analysis unit which is adapted such that it will form the area, in which threat evaluation and sensor/weapon assignment algorithms will be operated, as a virtual scenario by forming an air picture in accordance with the data it receives, an external communication unit which is in communication with the simulation and analysis unit; which can communicate correspondingly with a threat evaluation and sensor/weapon assignment algorithm operating unit; which is adapted such that it will transfer the current scenario information to the threat evaluation and sensor/weapon assignment algorithm when it is necessary and transfer the engagement results to the simulation and analysis unit by taking them back, and a communication unit which is adapted such that it will transf

Abstract: This document discusses, among other things, apparatus and methods including an analog-to-digital controller (ADC) configured to receive an enable signal and to provide an ADC output signal to control logic, wherein the control logic is configured to provide a control voltage to a control input of a switch. In an example, the control voltage includes the ADC output signal when the ADC output signal is below a first threshold or above a second threshold. In certain examples, the control logic is configured to transition the control voltage from the first threshold to the second threshold when the ADC output signal is between the first and second thresholds.

Abstract: In one or more embodiments, methods and apparatus are provided for simulating device communications such as those of the Universal Serial Bus (“USB”) or the like. The methods and apparatus involve receiving host requests that represent commands in a communication protocol and are associated with communication endpoints, distributing the host requests across the communication endpoints in the order that they are received, to their associated endpoints to generate a distribution of requests, generating a reordered plurality of host requests by selecting the host requests from the communication endpoints in an order based upon the order in which the requests are received and one or more simulation factors, receiving device requests from a simulated device in accordance with the communication protocol, merging the reordered host requests and the plurality of device requests to form a merged sequence of requests, and performing commands from the merged sequence of requests in the order.

Abstract: A method and mechanism for implementing a general purpose scripting language that supports parallel execution is described. In one approach, parallel execution is provided in a seamless and high-level approach rather than requiring or expecting a user to have low-level programming expertise with parallel processing languages/functions. Also described is a system and method for performing circuit simulation. The present approach provides methods and systems that create reusable and independent measurements for use with circuit simulators. Also disclosed are parallelizable measurements having looping constructs that can be run without interference between parallel iterations. Reusability is enhanced by having parameterized measurements. Revisions and history of the operating parameters of circuit designs subject to simulation are tracked.

Abstract: A system for the customization of user settings on a target instrument includes a configuration module configured for the customization of user settings on a target instrument, and a representation module communicably coupled to the configuration module. The representation module includes a duplicate of firmware from the target instrument. A method of production of a system for the customization of user settings on a target instrument, includes configuring a configuration module for the customization of user settings on a target instrument, communicably coupling the configuration module to a representation module; and disposing a duplicate of firmware from the target instrument in the representation module.

Abstract: Provided are a simulator of a multi-core system employing reconfigurable processor (RP) cores and a method of simulating a multi-core system employing RP cores. The simulator includes a structure builder to receive a structure definition file defining a structure of a system, select components described in the structure definition file from a component library, and fill a data structure with the selected components to generate a structure model of a multi-core system, and a simulation engine to execute an application program according to the structure model and output the result.

Abstract: A computer-implemented method that simulates NPskew effects on a combination NFET (Negative Field Effect Transistor)/PFET (Positive Field Effect Transistor) semiconductor device using slew perturbations includes performing a timing test by a computing device, by: (1) evaluating perturb slews in Strong N/Weak P directions on the combination semiconductor device for a timing test result; (2) evaluation perturb slews in Weak N/Strong P directions on the combination semiconductor device for a timing test result; and (3) evaluating unperturbed slews in a balanced condition on the combination semiconductor device for a timing test result. After each test is performed, a determination is made as to which evaluation of the perturbed and unperturbed slews produces a most conservative timing test result for the combination semiconductor device. An NPskew effect adjusted timing test result is finally output based on determining the most conservative timing test result.

Abstract: Data storage systems monitor the performance of data storage operations on a granular level and compile the information for presenting to a user. The system measures the time of execution for individual granular stages of the storage operation and in response to the monitoring results, automatically adjust parameters to optimize performance. Further, the system performs a performance test by simulating the data storage operation, but may not actually write the data to the secondary storage medium.

Abstract: A method includes capturing data that is representative of actions performed by each of a plurality of human user operated clients as they interact with an online software application, loading at least one or more portions of the captured data into one or more automated simulation clients, and using the one or more automated simulation clients to perform load testing of an online server system. A system includes a data capturing stage, one or more automated simulation clients, and a configuration stage.

Abstract: A system and method for performing circuit simulation is described. The present approach provides methods and systems that create reusable and independent measurements for use with circuit simulators. Also disclosed are parallelizable measurements having looping constructs that can be run without interference between parallel iterations. Reusability is enhanced by having parameterized measurements. Revisions and history of the operating parameters of circuit designs subject to simulation are tracked. Mechanisms are provided that allow for viewing, measurement or other manipulation of signals at specific locations in a circuit design for simulation, such as parameters that include observation points which are implemented using probes. One approach to executing a measurement is via a controllable and flexible control statement, which in one embodiment is the “run” statement. Improved interfaces for viewing, controlling, and manipulating simulations and simulation results are also provided.

Abstract: A platform for manipulating data associated with defining, deploying, and administering distributed server systems utilizes a structured data model with a flexible replication mechanism, a set of schemas, and an object model to manipulate system topology, configuration (settings), and policies. A scoping mechanism for characteristics of the settings, policies, and resolution is provided in addition to the data model along with an authorization mechanism for single and multi-tenant environments.

Abstract: A simulation system, in particular for a control system, which controls a process running in a technical system, is provided. The control system has at least one first process environment embodied as a container and which is also designed to simulate the automatic process to be run in the system and includes corresponding interfaces to the guidance system. The simulation system has, in addition to the first process environment, a second process environment embodied as a container for simulating the hardware of the periphery of the guidance system. In another embodiment variant of the simulation system, both of the process environments can also be combined to form one process environment. In both variants, the interfaces of the first process environment are practically identical to the interfaces of the second process environment. A method for carrying out a simulation and a corresponding control system and computer program product are also provided.

Abstract: A simulation system in particular for a control system which controls a process running in a technical system is provided. The control system has at least one first process environment embodied as a container and which is also designed to simulate the automatic process to be run in the system and includes corresponding interfaces to the guidance system. The simulation system includes, in addition to the first process environment, a second process environment embodied as a container for simulating the hardware of the periphery of the guidance system and a third process environment embodied as a container for simulating the process to be run in the technical system. In another embodiment, all process environments can also be combined to form one process environment. In both variations, the interfaces of the first process environment and the interfaces of the second process environment are practically identical to the interfaces of the third process environment.

Abstract: An image processing method includes the following steps. An input data including a number of original data are received. The original data are converted into a number of converted emulation voltage signals. At least a simulation circuit model including at least a spatial data node, at least a diffusion node and at least a connection device is established, wherein, the at least a connection device is coupled to a part or all of the at least a spatial data node and the at least a diffusion node. A part or all of the converted emulation voltage signals are supplied to the diffusion node to achieve voltage diffusion among the spatial data nodes and the diffusion nodes via the connection device, so that at least a diffused emulation voltage signal is obtained on the diffusion nodes. Then, processed image data are generated according to the diffused emulation voltage signals.

Abstract: A blood glucose meter and computer-implemented method for improving glucose management through modeling of circadian profiles is provided. For each daily meal period, two sets of pre- and post-meal period data are collected into a circadian profile and stored on a glucose meter, including a level of blood glucose of a diabetic patient and a dosage of diabetes medication. A model of predicted blood glucose for the patient is created from the blood glucose levels in each record as expected blood glucose values and predicted errors and visualized in a log-normal distribution. Target ranges for blood glucose at each meal period are determined and superimposed over the expected blood glucose values. Pharmacodynamics of the medication are obtained. An incremental change in dosing of the medication is propagated over a model day and the expected blood glucose values and their predicted errors are adjusted in response to the incremental dosing change.

Abstract: A simulation technique that handles accesses to a frame of memory via a proxy object provides improved throughput in simulation environments. The proxy object, if present, processes the access at a head of a linked list of frames. If a check frame is not inserted in the list, the memory frame handles the request directly, but if a check frame is inserted, then the check operation is performed. The check frame can be a synchronization frame that blocks access to a memory frame while the check frame is present, or the check frame may be a breakpoint, watch or exception frame that calls a suitable handling routine. Additional check frames may be chained between the interface and the memory subsystem to handle synchronization, breakpoints, memory watches or other accesses to or information gathering associated with the memory frame.

Abstract: The graphics load of a virtual desktop is estimated to determine the capacity of a virtual desktop system. In one embodiment, the graphics load of a physical desktop is measured by a remoting agent installed on the physical desktop. The graphics load can be used as an estimate of the load that would be created by a deployed virtual desktop. The remoting agent on the physical desktop mimics host operations that are necessary to direct graphics data to a remote site. The remoting agent also measures the graphics load incurred by the host operations to determine a capacity of a virtual desktop system prior to deployment of the virtual desktop system.