130 results about "Dynamic software" patented technology

A dedicated, optimized, secure and private apparatus, system and method is provided for service providers to dynamically share the resources of a single packet services node within a telecommunications network. The apparatus, method and system uses real-time dynamic software partitioning, with low-level dynamic hardware reconfiguration and adaptation, to enable real-time network, software and hardware resource allocation. The packet services node is configured as a unified and integrated switch (UIS) that can be segmented into a number of logical communication nodes (LCN). Each LCN operates as a secure, independent, private and dynamically configured packet services node. A master controller is responsible for the allocation of resources to LCNs based on resource availability and/or a predefined resource allocation configuration between the operator of the UIS and the user of the LCN.

A piracy protection system incorporates tamper detection capabilities into a protected copy of an application by disassembling a statically linked binary of the application, modifying some of the instructions in the application, and then rewriting all of the modified and unmodified instructions to a new executable file, a protected copy. The piracy protection system comprises an offline tamper detection technique in which the software itself detects the tampering and causes the program to fail, therefore protecting itself from malicious attacks. The system further comprises a dynamic software-watermarking process that incorporates code obfuscation to prevent reverse engineering.

A system and method for dynamically updating digital information, such as a data file, between computing devices in a computer network are provided. The digital information identifier, such as a file name, and a unit identifier, such as a size, of the digital information are provided by a publishing computing device. The publishing computing device receives a request for a delta portion of the identified digital information and, in response to the request, dynamically generates a patch including a copy of the requested information. Once the patch is generated, publishing computing device provides the patch to the party requesting the information.

The present invention provides a system, computer program product and a computer implemented method for prioritizing code fragments based on the use of a software oracle and on a correlation between the executed code fragments and the output they produce. Also described is a computer-implemented method generates additional user inputs based on execution information associated with path constraints and based on information from the oracle. Advantageously, the embodiment is useful in a test generation tool that generated many similar inputs when a failure-inducing input is found, in order to enhance fault localization. Further, described is a computer-implemented flow for extending the existing idea of concolic testing to applications that interact with persistent state.

The present invention provides a system, computer program product and a computer implemented method for prioritizing code fragments based on the use of a software oracle and on a correlation between the executed code fragments and the output they produce. Also described is a computer-implemented method generates additional user inputs based on execution information associated with path constraints and based on information from the oracle. Advantageously, the embodiment is useful in a test generation tool that generated many similar inputs when a failure-inducing input is found, in order to enhance fault localization. Further, described is a computer-implemented flow for extending the existing idea of concolic testing to applications that interact with persistent state.

A software interface that is installable on a processor for interfacing with an electrically or electronically controllable device. The software comprises means for receiving input from a user remotely via a network and a means for translating the network communicated user input into at least one of a control signal and a configuration signal. The software interface further comprises means for communicating a control signal to control software. Such control software, which is already known in the art, is configured in controlling relation to at least one of an electrically or electronically controllable device through a hardware interface. Further, means are included for translating a configuration signal into a user interface application between the control software and an indicator displayable to the user; means rendering a dynamic user interface in response to changes in connected devices; and means for ensuring the reliable relay of command and configuration signals across unreliable networks susceptible to limited bandwidths and communication interruptions.

The invention provides a procedure level software and hardware collaborative design automatized development method, which is characterized in that the method comprises the following steps: step 1, using high level languages to complete the system function description which comprises the transfer of the software and hardware collaborative functions; step 2, dynamically dividing the software and hardware functions; step 3, linking and executing the step; and step 4, judging and ending the step (judging whether the execution of all functions is completed, ending the step if the execution of all functions is completed, and otherwise, returning parameters used for dividing to the second step to enter a next circulation). The invention uses the procedure level software and hardware uniform programming model for shielding the difference realized by bottom layer hardware to realize the goal of transparent effect of reconstruction devices on program users. The programming model encapsulates the hardware accelerator into C Language functions for bringing convenience for the programming by users, and in addition, the dynamic software and hardware division during the operation is supported, so the division is transparent to programmers, and the utilization rate of reconstruction resources is improved.

The invention discloses a crossed dynamic software testing method and a crossed dynamic software testing device. The crossed dynamic software testing method comprises the following steps: 1, executing a random detection on a tested application by a dynamic random testing method and detecting application bugs; if an abnormal application is detected, recording abnormal information and exiting the test; otherwise, after completion of the current test, computing a code coverage and detecting whether the code coverage is saturated; if the code coverage is saturated, invoking a symbol switching function and switching into dynamic symbolic execution to hold on a parent process; otherwise, continuing to execute the next test till the code coverage is detected to be saturated; and 2, searching a new uncovered code block by a dynamic symbolic execution method; if a new code block is detected, restoring the state to a random executing state in the step 1; and if all basic blocks are covered, exiting the test. By the crossed dynamic software testing method, relatively large applications can be tested in an all-around way, so that a relatively high code coverage can be obtained and the explosion problem of a dynamic symbolic execution route can be relieved.

A platform and a method for dynamic software license are disclosed. The dynamic software license platform comprises a license pool, a register manager, a user configure unit and a license manager. The register manager receives a software application from a user end. The user configure unit grants a setting permission to the user end in response to the software application, and allows the user end to submit a license setting according to the setting permission. The license manager adds the software license provided by the software supplier to the license pool, and dynamically provides the software license from the license pool unit according to the license setting.

The invention discloses a three-dimensional design method of a hydraulic support, which considers the dynamic effect of surrounding rocks positioned on a coal face. The three-dimensional design method of the hydraulic support comprises the following steps of: simulating the motions of a top plate, a coal bed and a bottom plate in the advancing process of the coal face by adopting discrete element software; building a support-surrounding rock three-dimensional coupling model, and computing the reverse supporting effect and the control action of the hydraulic support on surrounding rock motion; circularly optimizing support parameters to obtain a structure which has optimal supporting effect on the surrounding rocks; simulating to obtain the distribution regularity of the tension, the bending and the torsion internal force of a part of the hydraulic support by adopting dynamic software under the stress conditions, i.e. unbalance loading, torsion, impact of caving rocks on a shield beam of the hydraulic support, and the like, of the hydraulic support at different time, on different positions and under different geological conditions of coal face advancing; and designing and optimizing the structure form of the hydraulic support by combining with structure arrangement requirements and adopting a finite element method. The three-dimensional design method can effectively enhance the adaptive capacity of the hydraulic support on surrounding rock change, strengthen the stability and the reliability and ensure that the coal mining work is safely and efficiently carried out.

The invention relates to a software hybrid measure method based on trusted computing. The software hybrid measure method includes the steps: preprocessing software, analyzing and inserting program source codes, extracting behavior characteristics of the software, generating a software behavior characteristic library, embedding a software integrity measure strategy and generating an executable program to be measured; measuring the software, measuring integrity by a parallel optimization algorithm when starting the executable program to be measured according to the integrity measure strategy and the software behavior characteristic library, and dynamically measuring the executable program in real time in the running process. Static software measure and dynamic software measure can be simultaneously supported, software integrity measure and real-time dynamic behavior measure are combined by the aid of technologies such as parallel optimization, strategy embedding, inserting and system calling division, and the method has fine measure efficiency and low measure expenditure.

The invention discloses a three-dimensional road surface elevation data generation method for vehicle dynamics research. The method comprises the following steps of: 1, comparing a road surface roughness power spectrum density power function expression specified by a national standard by a least square nonlinear parameter estimation method to obtain parameters in a road surface roughness power spectrum density rational function expression; 2, extending a one-dimensional power spectrum density rational function expression to acquire two-dimensional power spectrum density, and establishing a three-dimensional road surface elevation mathematical model based on a two-dimensional inverse flourier transform method according to the two-dimensional power spectrum density; and 3, programming in a matrix laboratory (MATLAB) according to the mathematical model obtained in the step 2, and generating three-dimensional road surface elevation data according to required road surface level, road length, width and sampling interval. By the method, the road surface elevation data is quickly generated, power spectrum characteristics of a straight track and a bent track of a road surface are excellent, and the generated data can replace data which is manually measured on site; and the method is suitable for vehicle dynamics research of dynamics software and a virtual prototype of a vehicle.

The invention discloses a 3D pavement generation method applicable to a virtual prototype system. The method comprises the following steps: the first step, establishing a 3D random pavement elevation model of a fast Fourier transform (FFT) algorithm based on a single-point FFT pavement roughness random excitation time domain model; the second step, programming a general program of the FFT 3D pavement model in MATLAB software, and selecting the pavement of a specific level to simulate the pavement roughness according to needs, thus obtaining coordinate data of the 3D pavement; the third step, establishing a generalized pavement file which is applicable to common multibody dynamics software: establishing a general model which generates the 3D pavement file and comprises the node generation and the unit generation algorithm, thus compiling the coordinate data of the 3D pavement obtained in the second step into a pavement file that can be identified by virtual prototype simulation software; and the fourth step, performing virtual prototype modeling simulation. The method has faster computation speed of the 3D FFT model, and is more suitable to the research requirements of multi-dimensional complicated systems, real-time systems and the like.

Systems, apparatus, methods, and articles of manufacture provide for dynamic software generation and testing of software projects. In one example implementation, a controller device automatically defines a test case; generates an SQL definition for the automatically-defined test case, and executes the test case SQL definition to determine a test case SQL result of the test case SQL definition.

A data processing system that includes a mode/reserve bit utilized to dynamically change a processor's operating mode between a virtual addressing mode and a real addressing mode. Each address block includes a reserve bit that indicates whether real or virtual addressing is desired, and the reserve bit is assigned a value by the software application executing on the processor. The value of the reserve bit is dynamically set and signals the processor which operating mode is required for the particular address block. The selection of virtual or real addressing mode is determined by the particular application that is being executed by the processor. When the particular application process seeks increased performance rather than protection, the virtual operating mode is selected, allowing the application process to send the effective addresses directly to the OS and hypervisor. This is accomplished by setting the reserve bit to the value for virtual addressing mode. When data protection is desired, the reserve bit is set to the value for real addressing mode, and the data address is sent to the (memory cloner's) TLB, where it is translated into a real address. The invention thus balances performance versus data protection.

Methods and apparatus, including computer program products, for accepting user input defining a first additional parameter to a first source code component, the first source code component not being modified. Accepting user input defining a first modification to the first source code component, the first modification dependent on the first additional parameter, and the source code component not being modified. Incorporating into a second source code component the first source code component and an expression of the first additional parameter and the first modification, the second source code component being separate from the first source code component. And creating a compiled program using the second source code component.

System and method embodiments are provided for coordinated hardware and software performance monitoring to determine a suitable polling time for memory cache during run time. The system and method adapt to the time-varying software workload by determining a next polling time based on captured local characteristics of memory access pattern over time. The adaptive adjustment of polling time according to system performance and dynamic software workload allows capturing more accurately the local characteristics of memory access pattern. An embodiment method includes capturing, at a current polling instance, hardware performance parameters to manage the memory cache, and adjusting a time interval for a next polling instance according to the hardware performance parameters. The captured hardware performance parameters are used to compute performance metrics, which are then used to determine the time interval for the next polling instance.

The invention relates to an ADAS automatic test system and method, an ADAS system and test management software are managed by an automatic test management unit in a unified manner, and simulation scene software and the ADAS system are connected through a hardware board card and comprise CarMaker software and a Simulink model; a virtual vehicle dynamics model is provided through CarMaker software;Virtual sensor and virtual scene, related data is sent to the Simulink model; the Simulink model directly sends related data to the ADAS system through a hardware board card, an ADAS automatic test management unit is added to the Simulink model to achieve unified management of test scenes and test dynamics software, and connection, real-time interaction and convenient operation are achieved through the Simulink software.

The present invention discloses a processor system comprising a processor (31) and at least a first memory (32) and a second memory (34, 36, 37). The first memory (32) is normally faster than the second one, and means for memory allocation (38, 41, 48) perform the periodically static allocation of data into the first memory (32). The means for memory allocation (38, 41, 48) are run-time updateable by software. An execution profiling section (39) is provided for continuously or intermittently providing execution data used for updating the means for memory allocation (38, 41, 48). According to the invention, the memory allocation is performed on a variable or record (49, 50) level. The means for memory allocation preferably use linking tables (41, 48) supporting dynamic software changes. The first memory (32) is preferably an SRAM, connected to the processor by a dedicated bus (33).

The invention discloses a data transmission antenna tracking ground station test verification system and a method used for spacecraft. According to an orbital position of a satellite, an attitude angle of the satellite and an attitude angle speed which are calculated by received dynamic software, and a directional angle of a data transmission antenna which is calculated by satellite software, a data transmission antenna reverse tracking ground station algorithm is provided, a ground station pointed by the data transmission antenna at this time is calculated, and a longitude and a latitude of the ground station are dynamically displayed on monitoring software in real time. Then, a calculated result is compared with ground station latitude and longitude data bound in the satellite software in advance so that correctness of the data transmission antenna reverse tracking ground station can be continuously and dynamically verified in real time.