Abstract: A network security system can have a plurality of distributed software agents configured to collect security events from network devices. In one embodiment, the agents are configured to aggregate the security events. In one embodiment of the present invention, an agent includes a device interface to receive a security event from a network device, a plurality of aggregation profiles, and an agent aggregate module to select one of the plurality of aggregation profiles, and increment an event count of an aggregate event representing the received security event using the selected aggregation profile.

Abstract: 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.

Abstract: A discrete event system (DES) modeling environment models the occurrence of events independent of continuous model time. In a DES modeling environment, state transitions depend not on time, but rather asynchronous discrete incidents known as events. A discrete event modeling environment can be used to model a control system using one or more discrete event-driven components. The event-driven components can be used to model certain portions of a control system that cannot be accurately modeled using a time-based model.

Abstract: A method and system for simulation of an electronic circuit is provided, the circuit being represented by a network of a plurality of logic elements, the circuit comprising first and second asynchronous clock domains, whereby jitter elements are additionally inserted at predetermined portions of circuit boundaries between the first and second clock domains, the jitter elements being represented as logic elements, the values of which are randomly set.

Abstract: A simulation of an electronics system which performs a set of operations of interest. A simulated supervisory circuit detects a state in which all the operations have been completed, and also determines the amount of time until the occurrence of the next relevant event. Simulation time is then advanced by that amount of time. This enables simulation time corresponding to an inactive system to be eliminated.

Abstract: System and method for identifying a pattern. A method of the invention compiles a pattern description where the pattern description defines a series of a first event and a second event relating to the first event. The first event is received and includes a type parameter data, a time parameter data, and a substance parameter data. A system of the invention includes a script component for associating or attaching a first script to the first event. The first script defines the type, time, and substance parameters of the second event as a function of the parameters of the first event according to the pattern description. A pattern recognition engine executes the attached first script and the executed script identifies the second event and thereby identifies the pattern.

Abstract: An analysis method of analyzing a discharge phenomenon in an information processing apparatus having a memory includes calculating differences in potential between nodes on a first surface of a meshed simulation model and the corresponding nodes on a second surface thereof based on a predetermined amount of charge of each node before the discharge and the permittivity of each element of the simulation model; storing information concerning a pair of nodes having the difference in potential which exceeds a Paschen voltage determined from the distance between the nodes; and analyzing an amount of charge moved due to the discharge and electric potential distribution after the discharge based on the stored information and the amount of charge of each node before the discharge and storing the analyzed amount of charge and the electric potential distribution.

Abstract: 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.

Abstract: A network troubleshooting framework is described. In an implementation, a method includes generating a first estimation of network performance by a simulator based on network settings obtained from a network, estimating the new performance under an alternative setting by providing the alternative setting to the network simulation and observing the simulation output, repeating the procedure for other alternative settings, and suggesting the alternative setting that improves network performance.

Abstract: A packet delay variation simulation system has a packet generator, a packet delay variation generator, and a packet delay analyzer to analyze delayed packets. The packet delay variation generator has multiple delay distribution modules that use both a deterministic delay process and a statistical delay process packet for determining a packet's delay. The packet delay variation generator may utilize different probability density functions to describe various portions of measured packet data. That is, measured packet delay information is analyzed and information from this analysis is used to construct a total delay model for a network. The delay may include a pre-determined deterministic delay offset as well as one or more variable statistical delay offsets.

Abstract: 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.

Abstract: 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.

Abstract: The invention provides methods for enhancing circuit reliability under statistical process variation. For highly replicated circuits such as SRAMs and flip flops, a rare statistical event for one circuit may induce a not-so-rare system failure. To combat this, the invention discloses the method called “Statistical Blockade,” a Monte Carlo-type technique that allows the efficient filtering—blocking—of unwanted samples insufficiently rare in the tail distributions of interest, with speedups of 10-100×. Additionally, the core Statistical Blockade technique is further extended in a “recursive” or “bootstrap” formulation to create even greater efficiencies under a much wider variety of circuit performance metrics, in particular two-sided metrics such a Data Retention Voltage (DRV) which prior Monte Carlo techniques could not handle.

Abstract: A method and apparatus for determining connections among functional components within a computer system are disclosed. A rule table for describing all interconnections among the components within a computer system is initially constructed. The rule table includes a source functional unit column and a destination functional unit column. A row within the rule table is interrogated to determine if the computer system contains an actual source functional component and an actual destination functional component, according to the respective entries stored within the row. In response to the computer system contains an actual source functional component and an actual destination functional component, a source functional component object is logically connected to a destination functional component object within a hardware object table.

Abstract: A wavelength computation unit computes a wavelength inside a substance based on the values of an analytical model that is set with an analytical model setting unit and values defining a wave source that is set by a wave source setting unit. A coefficients computation unit calculates the coefficients of a second computational formula for computing a polarization current when a grid spacing that is set by a computation conditions setting unit is equal to or larger than “ 1/10” of the wavelength inside the substance. When the grid spacing is less than “ 1/10” of the wavelength, the coefficients of a first computational formula is computed. A FDTD computation unit computes the first or second computational formula or each component of the electromagnetic field based on the FDTD method from the calculated coefficients.

Abstract: Distributed system simulation is enhanced by extending the simulation window. In a described implementation, the simulation window extension is facilitated with a slow message relaxation scheme. For example, especially when the simulation window is extended, slow unscheduled events can arrive at a logical process with a timestamp that is prior to (e.g., less than) the local time of a receiving logical process that is participating in a simulation. To ameliorate issues created by a slow unscheduled message and its corresponding slow unscheduled event, a current logical time of the receiving logical process is substituted for the original timestamp of the slow unscheduled event to transform it into a punctual unscheduled event.

Abstract: An integrated circuit design simulation method is provided that takes advantage of the fact that, when an instance of a circuit module has been simulated under a given set of input conditions, and the resulting output values and delays have been evaluated, another instance of the same module need not be re-simulated when it has the same input combination as the prior circuit module instance. The results computed earlier for the earlier circuit module instance can be re-used for the current circuit module instance.

Abstract: Automated testing of active content wizards is provided. A test infrastructure (TI) accesses a list of ACW to test and controls an ACW runtime engine to execute the ACWs. During ACW execution, the TI interacts with the ACW runtime engine to inject simulated user information based upon test information stored relative to each ACW. The TI records errors generated by the ACW runtime engine as well as other errors relative to the ACW. The TI also directs cleanup of the operating environment between each ACW test. Reports of ACW failures can be provided to ACW authors and/or other interested entities for improvement.

Abstract: A method is specified for determining the quality of a quantity of properties describing a machine, including a step for determining the existence of at least one sub-quantity of interrelated properties (P0, P1, . . . Pn) of the form Pi=(forall t. Ai(t)=>Zi(t)), wherein Ai(t) present an initial state and Zi(t) a target state for a corresponding property and at least one initial state Ai is dependant on internal signals and including a step for checking whether at least one aspect of the input/output behaviour of the machine described by the properties, which cannot be derived from an individual property Pi, is described to such an accurate extent that one property Q exists, which represents this aspect without being dependant on the internal signals. The procedure is capable of providing a measurement and can particularly be used in the verification and specification of circuits.

Abstract: A method is described for determining the effectiveness of maintenance or other improvements to a system having multiple sections and multiple modes of failure. The method uses a simulation model that is dynamic in that it can change during a simulation run to show how a system event such as a failure of one system section can effect a different system section. By running the simulation model multiple times, it may become apparent which system section will benefit most from maintenance or other improvements.

Abstract: 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.

Abstract: A simulation system, a computer product to implement a simulation method, and a method of simulating a digital circuit that has at least one element and at least one clock signal having clock attributes. The method includes maintaining a data structure for time-scheduled events scheduled to occur at particular simulation-times; and maintaining a data structure for clock-scheduled events each corresponding to a particular clock signal and scheduled to occur at a time that can be determined from at least one attribute of the clock signal, such that clocked-scheduled events are distinguishable from time-scheduled events, and such that each and every transition of any clock signal need not be scheduled in the time-scheduled event data structure.

Abstract: 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.

Abstract: Embodiments of a callback procedure mechanism and method are disclosed in relation to a system running a physics simulation in parallel with a main application. A main application registers callback procedures in memory shared with the physics simulation in response to data generated by the physics simulation. The callback procedures are executed by the physics simulation with data generated by the physics simulation.

Abstract: A verification apparatus that efficiently performs hardware verification and software verification in the development of a system LSI with great accuracy. At the hardware verification, an equivalence verification section compares the result of the simulation of an HDL model by a logic simulator and an expected value generated from an expected value calculation model and verifies whether there is equivalence between them. At the software verification, the expected value calculation model is used via an interface section and a firmware is verified by a software debugger. The expected value calculation model is used as an expected value generation model at hardware verification time and is used as a C model of hardware at software verification time. By using the expected value calculation model both for the hardware verification and for the software verification in this way, verification can efficiently be performed with great accuracy.

Abstract: 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.

Abstract: 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.

Abstract: When locating base stations which are wirelessly coupled with each other and establish one or more inter-cell wireless relay routes in a mobile communications system, the heights of directional antennas to be installed at the base stations are determined so as to be different, which base stations are adjacent with each other in a given inter-cell wireless relay route.

Abstract: The present invention provides an architecture for obtaining an analytical view of data. The invention includes a model service component for receiving an indication of a first object model and generating a dimensional model and a second object model from the first object model. The second object model is analytical in that it preserves relationships identified in the dimensional model, but allows the user to obtain information in terms of objects instead of specifying the data in terms of the dimensional model. The architecture also includes a navigational component that allows a user to navigate from the second object model to underlying data represented by the first object model.

Abstract: Dependencies between different channels or different services in a client or server may be determined from the observation of the times of the incoming and outgoing of the packets constituting those channels or services. A probabilistic model may be used to formally characterize these dependencies. The probabilistic model may be used to list the dependencies between input packets and output packets of various channels or services, and may be used to establish the expected strength of the causal relationship between the different events surrounding those channels or services. Parameters of the probabilistic model may be either based on prior knowledge, or may be fit using statistical techniques based on observations about the times of the events of interest. Expected times of occurrence between events may be observed, and dependencies may be determined in accordance with the probabilistic model.

Abstract: A method runs a simulation. The method comprises receiving a selection of a device. The device is one of a prober used in wafer testing and a handler used in package testing. The method comprises receiving at least one parameter for a set of parameters for the simulation. The method comprises running the simulation by executing commands to be performed as if the device were present. A controller supplies the set of commands. Results from the simulation indicate a performance of the controller.

Abstract: 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.

Abstract: According to one method of simulation processing, instrumentation code, such as an runtime executive (rtx), receives one or more statements describing an count event and identifying the count event as an outlying count event. While simulating a design utilizing the HDL simulation model, occurrences of the outlying count event are counted to obtain a count event value. Simulation result data obtained from simulating the design is then received and processed. In the processing, the count event value is recorded within a data storage subsystem responsive to a determination of whether or not the count event value of the outlying count event exceeds a previously recorded count event value.

Abstract: 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.

Abstract: 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.

Abstract: A controller includes a control module to control operation of a process in response to control data, a plug-in module coupled to the control module as a non-layered, integrated extension thereof, and a model identification engine. The plug-in detects a change in the control data, and a collects the control data and data in connection with a condition of the process in response to the detected change. The model identification engine executes a plurality of model parameter identification cycles. Each cycle includes simulations of the process each having different simulation parameter values and each using the control data as an input, an estimation error calculation for each simulation based on an output of the simulation and based on the operating condition data, and a calculation of a model parameter value based on the estimation errors and simulation parameter values used in the simulation corresponding to each of the estimation errors.

Abstract: 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.

Abstract: 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.

Abstract: A computer-implemented method may include defining an input bus signal in a graphical block diagram model by associating the input bus signal with a first group of signals, at least two of the first group of signals having a different data type; defining an output bus signal in the graphical block diagram model by associating the second bus signal with a second group of signals, each of the second group of signals corresponding to one of the first group of signals; defining an input to a non-virtual operation block in the graphical block diagram model as the input bus signal; defining an output to the non-virtual operation block in the graphical block diagram as the output bus signal; and simulating an operation performed on the input bus signal by the non-virtual operation block, the operation being performed on each of the first group of signals and output to each of the second group of signals.

Abstract: A method, apparatus, system, and signal-bearing medium that, in an embodiment, receive elements and a goal for each of the elements. In various embodiments, the elements may represent commands or parameter values for a device to be tested. Testcases are generated based on the elements. If the numbers of testcases for the elements are equally distant from their goals, then a new testcase is generated based on an element chosen at random. But, if the numbers of testcases are not equally distant from their goals, then the new testcase is generated based on the element whose number of testcases if furthest from its respective goal. The number of testcases associated with the chosen element is then incremented, and the process is repeated. In this way, the generated testcases are based on the numbers of previously generated testcases, which, in an embodiment, results in more complete coverage of testcases for the device under test.

Abstract: In general the invention is directed to systems and methods to identify conductors that may be used as part of a power transmission line system. In one embodiment, the invention is directed to a computer-implemented method of evaluating an electric conductor for an overhead power transmission line, comprising: receiving requirements data defining requirements for an overhead power transmission line; receiving conductor data that define at least two conductors to be evaluated; after receiving conductor data for the plurality of conductors to be evaluated, automatically modeling expected operating performance for at least two conductors using conductor assessment software running on a computer, wherein modeling at least comprises, for at least one of the conductors to be evaluated, calculating the conductor's maximum ampacity within the constraints defined by the requirements data; and, based on the modeling, identifying at least one conductor that meets the requirements for the power transmission line.

Abstract: A method for specifying reactive systems using Dynamic State Machines (DSMs) is disclosed. The method extends statecharts in three areas. One is the integration of a group of related finite state machines (FSMs) into a single and powerful entity supporting multiple repeatable concurrent communication sessions. The second is the support for composite transitions to model various parallel event patterns or nested event patterns, which occur in the real world, and to significantly improve the readability of state diagrams. The third is the addition of a parallel-OR composite state to support the OR-termination semantics of a parallel composite state.

Abstract: A method of creating a multi-staged hardware implementation based upon a high level language (HLL) program can include generating a language independent model (LIM) from the HLL program, wherein the LIM specifies a plurality of state resources and determining a first and last access to each of the plurality of state resources. The method further can include identifying a plurality of processing stages from the LIM, wherein each processing stage is defined by the first and last access to one of the plurality of state resources. A stall point can be included within the LIM for each of the first accesses. The LIM can be translated into a scheduled hardware description specifying the multi-staged hardware implementation.

Abstract: An analysis method of analyzing a discharge phenomenon in an information processing apparatus having a memory includes calculating differences in potential between nodes on a first surface of a meshed simulation model and the corresponding nodes on a second surface thereof based on a predetermined amount of charge of each node before the discharge and the permittivity of each element of the simulation model; storing information concerning a pair of nodes having the difference in potential which exceeds a Paschen voltage determined from the distance between the nodes; and analyzing an amount of charge moved due to the discharge and electric potential distribution after the discharge based on the stored information and the amount of charge of each node before the discharge and storing the analyzed amount of charge and the electric potential distribution.

Abstract: The present invention includes a method for performing a thermal analysis, including the steps of determining size and placement of each of a plurality of drivers on an integrated circuit device. The determined size and placement of each driver is stored as layout data and the layout data is converted into input for a finite element analysis program. The input is applied to the finite element analysis program, and the finite element analysis program is used to construct a finite element mesh of the integrated circuit device from the input. Additionally, material properties are assigned to the finite element mesh, and a thermal analysis is performed of the finite element mesh to generate data in a thermal analysis report.

Abstract: 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.

Abstract: 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.

Abstract: A discrete event system (DES) modeling environment models the occurrence of events independent of continuous model time. In a DES modeling environment, state transitions depend not directly on time, but rather aperiodic discrete incidents known as events. A discrete event modeling environment can be used to model a control system using one or more discrete event-driven components. The event-driven components can be used to model certain portions of a control system that cannot be accurately modeled using a time-based model.

Abstract: 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.

Abstract: Disclosed herein is a method of managing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, a restriction list associated with the HDL model is received. The HDL model has a maximum number of possible keyword/value pairs sets for which result data can be obtained, and the restriction list specifies a fewer number of keyword/value pair sets for which the result data can be queried based upon at least one keyword. In response to receipt of result data obtained by simulation of the HDL model, the result data are stored within a data storage subsystem by reference to the restriction list, such that particular result data attributable to each of the plurality of keyword/value sets is separately accessible.