Abstract: A computer-implemented method for encryption and decryption using quantum computational model is disclosed. Such a method includes providing a model of a lattice having a system of non-abelian anyons disposed thereon. From the lattice model, a first quantum state associated with the lattice is determined. Movement of non-abelian anyons within the lattice is modeled to model formation of first and second quantum braids in the space-time of the lattice. The first quantum braid corresponds to first text. The second quantum braid corresponds to second text. A second quantum state associated with the lattice is determined from the lattice model after formation of the first and second quantum braids has been modeled. The second quantum state corresponds to second text that is different from the first text.

Abstract: A design support method of verifying control on a device of an image forming apparatus registers, in a storage device, trigger information for specifying a content of control to be executed when a start condition for switching the control state of the device is satisfied (S1002). The apparatus then registers, in the storage device, the allowable range of the state change of the device due to control switched when the start condition is satisfied (S1003). The apparatus then verifies whether the state change of the device due to the control switched when the start condition is satisfied falls outside the allowable range, by referring to the operation state of the device which is input through an input unit, and the trigger information registered in the storage device (S1004).

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 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: The disclosure includes a method of and associated system for placing nodes in a wireless local area network (WLAN). The method includes receiving user-specified parameters regarding the network. The parameters can include a layout of a building or other space, and requirements for the WLAN. An algorithm then employs these parameters to automatically create and optimized layout of multiple wireless access points for the WLAN. The method can display the layout and provide various types of information to the user.

Abstract: A method for generating a number of load scenarios can include collecting a number of real user metrics utilizing a monitor, calculating a load behavior of the number of real user metrics utilizing a baselining technique, and generating the number of load scenarios based on the load behavior.

Abstract: A system, method and computer program product for predicting a failure of equipment from prior maintenance data of the equipment collected during a time duration estimate a number of preceding failures of the equipment prior to the time duration. The system, method and computer program product construct a model, based on the prior maintenance data, of an impact of an external intervention on a failure of the equipment. The system, method and computer program product construct a model, based on the constructed model of the impact of the external intervention and the estimated number of preceding failures, a replacement policy of the equipment and a probability of a subsequent failure of the equipment in a subsequent time period.

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 for enhancing universal serial bus (USB) applications comprises an upstream processor, a downstream processor and a main controller. The upstream processor accepts standard USB signals from a USB host and independently provides responses required by USB specification within the required time frame. The upstream processor also contains storage for descriptors for a device associated with this upstream processor. The main controller obtains the descriptors by commanding the downstream processor, and passes them to the upstream processor. The downstream processor connectable to USB-compliant devices accepts the USB signals from the USB-compliant devices and provides responses required by USB specification within the required time frame. The main controller interconnects the upstream and downstream processors, and provides timing independence between upstream and downstream timing. The main controller also commands the downstream processor to obtain device descriptors independent of the USB host.

Abstract: The exemplary embodiment of the present invention relates to a generalized LRU algorithm is provided that is associated with a specified cache associativity line set value that is determined by a system user. As configured, the LRU algorithm as presented can comprise n-levels for an LRU tree, each specified tree being individually analyzed within the LRU algorithm. Within each LRU tree level comprises the associativity line value can be further broken down into sub-analysis groups of any desired configuration, however, the total sub-analysis group configuration must equal the specified cache associativity line value.

Abstract: A feature of a computing device application may be selected by user or other input and then demonstrated using a demonstration application. The demonstration application may select simulated user inputs from a script or other source that, when input to the computing device application, drive it to demonstrate the selected feature. The demonstration application may then begin to input the one or more simulated user inputs to the computing device application. Before all of the simulated user inputs have been input, the demonstration application may determine that the user has interrupted the demonstration. In response to the determination, the demonstration application may cease inputting the simulated inputs, leaving the computing device application in the state it was in at the time of interruption, thereby enabling the user to explore the application or feature of the application being demonstrated at a time and in a manner of the user's choosing.

Abstract: The availability model generation device 100 includes an operation procedure information acceptance section 101 which accepts operation procedure information representing an operation procedure including a plurality of manipulations for operating an information processing system and also representing the sequence that the respective manipulations are executed, and an availability model generation section 102 which generates, based on the operation procedure information, an availability model for estimating the availability of the information processing system in a case where the manipulations are executed in accordance with the operation procedure represented by the accepted operation procedure information.

Abstract: A method for automating input/output buffer information specification (IBIS) model generation. A wrapper utility combines components into an automated generation flow to model multiple input/output (I/O) buffers that conform to single-ended and differential I/O standards. Configuration data files are imported to properly configure the modeled I/O buffers according to a specific set of signal parameters across all process corners. Output and input termination impedance may also be modeled within the I/O buffer. A simulation setup file of the modeled I/O buffer is generated to determine the voltage/current (V/I) and voltage/time (V/T) data for the modeled I/O buffer for each process corner. A raw IBIS model is then created, formatted, and validated to determine the accuracy of the IBIS model. Execution steps of the IBIS model generator are then iterated to automatically generate, correlate, and compile IBIS models for each I/O standard into a single file.

Abstract: A system, method and computer program product are provided for creation of a network training environment that simulates a large network as a training target and using simulation and virtual network technologies together with actual network resources to teach computer network exploitation and computer network attack techniques in training exercises for persons responsible for safeguarding networks and for probing and attacking others' networks. The system, method, and computer program product further support integration of real hosts for more realistic exercises.

Abstract: A mechanism is provided for determining fragmentation in a computing environment. A simulation of virtual machine requests for resources in the computing environment is run for a predetermined time. The simulation is scaled down when the predetermined time exceeds a threshold. The scaling down includes scaling down the resources in the computing environment and/or scaling down a number of the virtual machine requests. The scaled down simulation is run iteratively to estimate relative fragmentation of the virtual machine requests against the resources in the computing environment.

Abstract: Provided is to an apparatus for application testing of an embedded system which can cross-develop an application program installed in the embedded system regardless of the type of a target system. A virtual environment for testing the application program adopted in the target system is constructed on the basis of information inputted through a user interface and the application program is tested by configuring a virtual target system in the constructed virtual environment. According to the present invention, the application program adopted in the target system can be developed and tested without constructing a cross-development environment for each target system in an environment in which various kinds of embedded systems are developed.

Abstract: A computer-implemented system for representing a production environment comprises a modeling module that creates a three-dimensional model of at least a portion of a production environment. The system also includes a view module that renders a graphical depiction of at least a portion of the three-dimensional model from a reference point that is based at least in part upon a location. Methods of using the system are also provided.

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

Abstract: Mechanisms are provided for controlling a fidelity of a simulation of a computer system. A model of the system is received that has a plurality of components. A representation of the plurality of individual components of the system is generated. A component is assigned to be a fidelity center having a highest possible associated fidelity value. Fidelity values are assigned to each other component in the plurality of individual components based on an affinity of the other component to the fidelity center. The system is simulated based on assigned fidelity values to the components in the plurality of individual components.

Abstract: The invention relates to a computer-assisted method and data processing system for simulating an embedded system, wherein a plurality of hardware components, respectively provided with a software, are connected via a data exchange network for data exchange, wherein in a simulation program every component is simulated as a processing unit managing an amount of processes, wherein with the simulation program, a start time is dynamically assigned to every processing unit, wherein the processing units are successively sorted dynamically according to their start times, wherein the processing unit with the next start time is respectively selected via a scheduler, wherein, due to the selection of a processing unit, the respective active process is simulated by execution of a program code derived from a corresponding basic block graph and as a result of the simulation, the time required for the execution and/or information about the effected function is/are determined.

Abstract: A multiple programmable logic controller (PLC) simulation system is provided.

Abstract: A method for dynamic frequency scaling (DFS) on the electronic systems level (ESL). The method can run in a virtual environment and dynamically scale the frequency of a virtual component based on a first transaction time and a second transaction time.

Abstract: A system and method of testing, during development, the operation of a clustered storage server system and its associated storage operating system. The system includes at least one host computer having a host operating system, and at least one virtual computer having a simulated storage operating system, at least one simulated disk, a simulated NVRAM, and a simulated flashcard within a guest operating system hosted by the host operating system. The simulated storage operating system represents an actual storage operating system. Facilities of the simulated storage operating system including the simulated disk, the simulated NVRAM, and the simulated flashcard are mapped onto corresponding facilities of the host operating system via virtualization components of the virtual computer so that the simulated storage operating system operates substantially the same as the actual storage operating system on low cost host hardware platforms.

Abstract: A method for simulating multiple processors in parallel is provided. The scheduler create one or more slave threads using a master thread, and determines a processor that is simulated by the master thread and a processor that is simulated by a slave thread, so that the scheduler is capable of using the master thread and the one or more slave threads to invoke, through a first execute interface, the determined processor that is simulated by the master thread and the determined processor that is simulated by the slave thread to execute a corresponding instruction, where the first execute interface is registered with the scheduler by the determined processor that is simulated by the master thread and the determined processor that is simulated by the slave thread. Thus simulation efficiency can be increased and resource utilization can be improved.

Abstract: A process control system simulation technique performs real-time simulation of an actual process control network as that network is running within a process plant in a manner that is synchronized with the operation of the actual process control network. This real-time, synchronized simulation system includes a simulation process control network and a process model which are automatically updated periodically during the operation of the actual process control network to reflect changes made to the process control network, as well as to account for changes in the plant itself, i.e., changes which require an updated process model. The simulation system provides for more readily accessible and usable simulation activities, as the process control network and the process models used within the simulation system are synchronized with and up-to-date with respect to the current process operating conditions.

Abstract: Embodiments of the present invention provide a system, method, and program product for accelerating a simulated memory walking sequence during a simulation conducted by a computer. In one embodiment, a simulation test-case is executed and one or more memory locations in the simulated memory are identified as eligible to contain valid data. Subsequent to commencement of the simulated memory walking sequence, it is determined whether an identified memory location is within a specified number of memory locations after a memory location to be processed by simulated hardware during the simulated memory walking sequence. If an identified memory location is within the specified number, the simulated hardware is allowed to process the memory location. If an identified memory location is not within the specified number, the simulated hardware is advanced to a subsequent memory location and is allowed to process the subsequent memory location.

Abstract: A computer based control system including a field network to which field devices equipped with hardware addresses and logical names are to be connected, a control device performing addressing control in relation to the field devices and their logical addresses and a simulation handling device. The simulation handling device has an own logical address, an own hardware address and is capable of obtaining a logical address, as well as possibly a logical name and/or a hardware address of at least one field device involved in the simulation. It notifies the control device that the field device is connected to the field network, detects a control signal directed towards field device addressed using the logical and/or hardware address of this field device and responds to the control signal with simulation results using the same logical and/or hardware address as the source of the response.

Abstract: A method of, and apparatus for, predicting the performance of a data storage resource forming part of a networked electronic data store is described. The method includes representing the data storage resource as a plurality of separate virtual storage components, each virtual storage component representing a part of the data storage resource and having at least one operational state selectable from a pool of operational states. The method further includes obtaining resource profile data from the data storage resource, and modeling the performance of the data storage resource by assigning, from the pool, an operational state to each virtual storage component to fit the resource profile data. Thus, the data storage resource can be represented as a collection of virtual storage components, each having a dynamically-assignable operational state. This enables the modeling of the performance of the data storage resource to be simplified significantly.

Abstract: A computer-readable recording medium stores a program that causes a computer to execute an evaluation support process that includes calculating a response time for a read request based on multiplicity and a maximal number of requests wherein the multiplicity is the number of overlaps of read or write processes for a storage apparatus per unit time, and the maximal number of requests is the number of read requests that the storage apparatus processes per unit time; and creating, based on the response time, the maximal number of requests, and a minimal response time for the read request, a response model that represents a response time that has the number of read requests as exponent and exponentially increases as the number of read requests increases.

Abstract: Coupling architectural and implementation/behavioral models of a computer-based system by creating a bridge element, defining a port of the bridge element, associating the port of the bridge element with a port of an implementable element of an architectural model of a computer-based system and a port of an implementation element of an implementation/behavioral model of the computer-based system, mapping an interface member of the implementation element port to an interface member of the implementable element port, generating, from a template, skeleton source code applicable for the mapped interface member, generating a usage description element for the architectural model corresponding to the mapped interface member, generating an architectural description document from the architectural model, generating implementation code from the implementation/behavioral model and the generated skeleton source code, and generating a declaration file for an operating system service for use by the implementation code.

Abstract: Disclosed herein is a simulation apparatus for verifying a hybrid system. The simulation apparatus includes a system model input unit, a model information storage unit, a simulation unit, and a result display unit. The system model input unit receives subsystem models which model subsystems included in a hybrid system. The model information storage unit stores the subsystem models and information about the operations of the subsystem models. The simulation unit runs a simulation of the subsystem models based on the information about the operations of the subsystem models stored in the model information storage unit. The result display unit displays the results of running the simulation of the subsystem models using the simulation unit.

Abstract: Automatic programming, scheduling, and control of planned activities at “worker nodes” in a distributed environment are provided by a “real-time self tuner” (RTST). The RTST provides self-tuning of controlled interoperation among an interconnected set of distributed components (i.e., worker nodes) including, for example, home appliances, security systems, lighting, sensor networks, medical electronic devices, wearable computers, robotics, industrial controls, wireless communication systems, audio nets, distributed computers, toys, games, etc. The RTST acts as a centralized “planner” that is either one of the nodes or a dedicated computing device. A set of protocols allow applications to communicate with the nodes, and allow one or more nodes to communicate with each other.

Abstract: A method for real-time server management may include determining a server architecture model based on performance characteristics of a component of a server. The method may further include determining a real-time model of the server from the server architecture model based on real-time server operation data, and adapting a performance controller for the server to operational characteristics of the server based on the real-time model.

Abstract: A system and method for operating a remote plant simulation system is disclosed. The system and method uses a light application at the plant to collect relevant data and communicate it to a remote plant simulation. The remote plant simulation uses the relevant data, including data from the actual process, to create a process simulation and communicate the display data to the light application operating at the plant where it is displayed to a user. The remote system offers the advantage of offering decreased cost and improved simulation as the equipment cost, operator cost and set up cost is shared by a plurality of users. Further, the data may be stored remotely and subject to data analytics which may identify additional areas for efficiency in the plant.

Abstract: According to exemplary embodiments, a computer program product for testing virtual systems includes a tangible storage medium readable by a processing circuit and storing instructions for execution by the processing circuit for performing a method. The method comprises randomly selecting commands from a pool of commands, generating by a computer a test sequence from the randomly selected commands and simulating performance of the test sequence for a simulated virtual system that is a model of a virtual system. The method also includes recording simulated results of the simulated performance, performing the test sequence on the virtual system, recording actual results of the test sequence being performed on the virtual system, and determining by a computer if the virtual system is operating properly based on a comparison of the simulated results to the actual results.

Abstract: An object of the present invention is to improve prediction accuracy for a performance value of a monitoring target system even if the performance value is substantially different for each of patterns of use. A monitoring data analyzing apparatus includes a regression-model recalculating section 14 configured to combine regression models, which are generated for each of a plurality of groups into which log data including monitoring data in a monitoring target system set as a target of performance management is classified, using the log data belonging to the groups corresponding to the regression models and test target log data, which is the log data set as a target of a performance test, to recalculate the regression models.

Abstract: As to a plurality of components in a system, a state transition path covering transitions defined by a behavioral specification of a component is specified to satisfy an input restriction of the component. Action sequences are acquired from the state transition path. By selecting a pair of components connected in the system, it is verified whether an output action sequence of a first component as one of the pair satisfies an input restriction of a second component as the other of the pair. If unsatisfied, the input restriction of the second component is relaxed to satisfy the output action sequence of the first component, or an input restriction of the first component is tightened to acquire a new output action sequence satisfying the input restriction of the second component. Above processing is repeated for each pair of components, so that output action sequences of one and the other of a pair satisfies input restrictions of the other and the one of the pair respectively.

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 receives a model, internals associated with a target processor, and code information associated with the target processor, and obtains a bit-true model simulation for the target processor based on the model, the target processor internals, and the target processor code information.

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 computer-implemented method of finite state machine using constraint relaxation. A first expression having a plurality of variables is accessed. A second expression is accessed that describes a constraint with respect to a first variable of the plurality of variables. At least one of the variables from the second expression is eliminated to create a third expression with the constraint relaxed. The third expression is applied to the first expression to determine a finite state machine for the first expression.

Abstract: Suppressing enabled newer facilities of an older simulated machine. This makes the native machine appear just like the corresponding older simulated machine. The invention creates the Allowed Facilities Table (AFT) that includes all the facilities of each simulated machine that needs to be supported and queries all the installed facilities of the simulated machine. It reads each machine facility of the simulated machine and checks the AFT that includes the state of all the facilities that are allowed to be enabled for the simulated machine to see if this installed facility is also enabled in the AFT. If the installed facility is also enabled in the AFT, then this facility may be used by the software without any problems. Otherwise, this facility should not be used. A system and program product for carrying out the method are included.

Abstract: Methods and systems are provided for modeling a multiprocessor system in a graphical modeling environment. The multiprocessor system may include multiple processing units that carry out one or more processes, such as programs and sets of instructions. Each of the processing units may be represented as a node at the top level of the model for the multiprocessor system. The nodes representing the processing units of the multiprocessor system may be interconnected to each other via a communication channel. The nodes may include at least one read element for reading data from the communication channel into the nodes. The node may also include at least one write element for writing data from the nodes into the communication channel. Each of the processing unit can communicate with other processing unit via the communication channel using the read and write elements. Code may be generated to simulate each node and communication channel in the modeled multiprocessor system.

Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for emulating a mass storage device and a file system of a mass storage device. In a first aspect, a human-portable data processing device that includes one or more data processors that perform operations in accordance with machine-readable instructions, an incoming message classifier configured to classify an incoming read command according to an address of the data requested by the incoming read command, and an emulation data generation component connected to respond to the classification of the incoming read command by the incoming message classifier to generate emulation data emulating that which would have been read by the incoming read command were the human-portable data processing device a mass storage device; and a bus controller configured to respond to the incoming read command with the emulation data generated by the emulation data generation component.

Abstract: This invention relates to a method for simulation of a computer system (10), for example for an aeronautical simulation application, comprising a hardware infrastructure (HW) and a software portion (SW). The method comprises: the modeling (E100) of the said hardware infrastructure (HW) in a plurality of schedulers (11-14) capable of simulating the successive execution of tasks (15, 40, 40?), the modeling (E110) of the said software portion (SW) in a plurality of initial tasks (15) comprising accesses to resources of the said hardware infrastructure (HW), the simulation (E130) of the initial tasks (15) comprising the software propagation of simulated accesses through schedulers (11-14) of the said modeled infrastructure (HW), the said propagation being carried out in the form of transactions (50) between pairs of schedulers (11-14), a transaction (50) comprising a task (40, 40?) on each scheduler and an indication of precedence (40?) linking the two tasks (40, 40?).

Abstract: A configuration management method and system include storing a first model definition, storing a first instance of the first model, receiving an operator and modifying the first instance of the first model based on the received operator. The modified first instance of the first model is then stored.

Abstract: In a method and a device for determining requirement parameters of at least one physical hardware unit, the operating parameters of simulated, virtual hardware units are varied during the execution of a program flow on the virtual hardware units, for example via an interface device of a simulation device, in such a manner that requirement parameters of the execution of a program flow of at least one physical hardware unit can be identified. A method and a device are used for determining requirement parameters of at least one physical hardware unit. The method and the device are used to determine requirement parameters of software products of hardware components to be used. Requirement parameters are allowed to be identified systematically, using an operating system and eliminates the need for expensive, physical hardware components and for modifications to a physical computer system.

Abstract: A system and method for modeling cross system content between a hub and one or more backend systems is disclosed. Model content of one or more data models is stored in a model stack defined in a storage. The model content of each of the one or more data models includes model metadata representing a model of a corresponding backend system. Cross model content is stored in a cross model stack defined in the storage. The cross model content includes reference metadata representing one or more references associated with a data model of one backend system and that reference a data model of another backend system. Central cross model content is stored in a central cross model stack in the storage. The central cross model content includes one or more cross elements that do not belong to the model content of any of the one or more data models, and that establish a connection between two data models of different backend systems.

Abstract: The disclosed embodiments provide a system that analyzes telemetry data from a computer system. During operation, the system obtains the telemetry data as a set of telemetric signals using a set of sensors in the computer system. Next, for each component or component location from a set of components in the computer system, the system applies an inferential model to the telemetry data to determine an operating environment of the component or component location, and uses the operating environment to assess a reliability of the component. Finally, the system manages use of the component in the computer system based on the assessed reliability.

Abstract: A multiple programmable logic controller (PLC) simulation system is provided.