State (computer science)

About: State (computer science) is a research topic. Over the lifetime, 24436 publications have been published within this topic receiving 225733 citations.

Safe and protected execution for the Morph/AMRM reconfigurable processor

Abstract: Technology scaling of CMOS processes brings relatively faster transistors (gates) and slower interconnects (wires), making viable the addition of reconfigurability to increase performance. In the Morph/AMRM system we are exploring the addition of reconfigurable logic, deeply integrated with the processor core, employing the reconfigurability to manage the cache, datapath, and pipeline resources more effectively. However, integration of reconfigurable logic introduces significant protection and safety challenges for microprocess execution. We analyze the protection structures in a state of the art microprocessor core (R10000), identifying the few critical logic blocks and demonstrating that the majority of the logic in the processor core can be safely reconfigured. Subsequently, we propose a protection architecture for the Morph/AMRM reconfigurable processor which enable nearly the full range of power of reconfigurability in the processor core while requiring only a small number of fixed logic features which to ensure safe, protected multiprocess execution.

Remote attestation on program execution

Abstract: Remote attestation provides the basis for one platform to establish trusts on another. In this paper, we consider the problem of attesting the correctness of program executions. We propose to measure the target program and all the objects it depends on, with an assumption that the Secure Kernel and the Trusted Platform Module provide a secure execution environment through process separation. The attestation of the target program begins with a program analysis on the source code or the binary code in order to find out the relevant executables and data objects. Whenever such a data object is accessed or a relevant executable is invoked due to the execution of the target program, its state is measured for attestation. Our scheme not only testifies to a program's execution, but also supports fine-granularity attestations and information flow checking.

Method and system for proactively reducing the outage time of a computer system

Abstract: A method (and system) of reducing a time for a computer system to recover from a degradation of performance in a hardware or a software in at least one first node of the computer system, includes monitoring a state of the at least one first node, and based on the monitoring, transferring a state of the at least one first node to a second node prior to the degradation in performance of the hardware or the software of the at least one first node.

System and method for controlling copying and playing of digital programs

Abstract: A system and method for preventing effective copying of digital recordings. A copy-state code accompanies each recording, one state of which represents that no copies at all are to be made of the recording. Compatible players are designed to prevent play of any writable disk which includes a "no-copy" code. It is the inconsistency between the code and the medium containing it that causes play of the medium to be inhibited.

System and method for programmatically generating a graphical program in response to a state diagram

Abstract: A system and method for programmatically generating a graphical program in response to state diagram information. The state diagram information may specify a plurality of states and state transitions, wherein each state transition specifies a transition from a first state to a second state. A graphical program generation program (GPG program), may receive the state diagram information and automatically, i.e., programmatically, generate a graphical program (or graphical program portion) based on the state diagram information. The GPG program may programmatically include graphical source code in a block diagram of the graphical program, which may serve as a framework of the states specified by the state diagram information and the state transitions among the states. The graphical source code framework automatically generated by the GPG program may include various “placeholders” or “containers” enabling the user to easily fill in the graphical program with source code that specifies execution instructions for each state and Boolean conditions for each state transition. The specific graphical source code that is automatically generated may depend on programming features supported by a particular graphical programming development environment with which the graphical program is associated. Examples of generating graphical source code for the LabVIEW graphical programming development environment are included. In one embodiment, the graphical program may be dynamically (programmatically) updated as the state diagram is being interactively constructed by the user. I.e., as the user performs various actions in a state diagram editor, such as adding or deleting states, adding or deleting transitions, etc., the corresponding graphical program may be dynamically (programmatically) updated to reflect the change.