Method for manufacturing and executing single-use systems
AssigneeThe United States of America as represented by the Secretary of the Air Force
InventorsKAMAL T. JABBOUR, ERICH D. DEVENDORF, ANDREW N. ZELIFF
Life of this patent
Estimating the term…
Abstract
A method for manufacturing and executing single-use systems. Invention provides provably secure system design, instantiated in heterogeneous hardware that exists solely for the lifetime of a mission. More specifically, the present invention provides a functional mission analysis, formal specification and mathematically rigorous machine-checkable representation of a hardware mission instantiation to significantly reduce the vulnerabilities of a mission.
Claims21
(canceled)
A computer-implemented method for executing a single-use computer hardware system, the method comprising:
- executing a finite state machine representative of predefined parameters associated with a mission, wherein the mission comprises a predefined computerized process used for a fixed duration and for a single-use, and wherein the finite state machine generates an output;
- compiling software code from the finite state machine to create a computerized instantiation from the output of the finite state machine;
- and
- transforming the computerized instantiation into a mission-specific hardware design computer language representative of a mission-specific integrated single-use computer hardware system.
A mission-specific integrated single-use computer hardware system comprising:
- a finite state machine representative of predefined parameters associated with a mission, wherein the mission comprises a predefined computerized process used for a fixed duration and for a single-use, and wherein the finite state machine generates an output;
- software code compiled from the finite state machine, wherein the software code creates a computerized instantiation of the output of the finite state machine;
- and
- computer architecture to transform the computerized instantiation into a mission-specific hardware design computer language representative the mission-specific integrated single-use computer hardware system.
Dependencies are inferred from the claim text.