Software Partitioning to Migrate Critical Software Components to Trusted Hardware

ASD proposes to develop and integrate an Application Partitioning Toolkit (APT). The APT provides an environment for the partitioning, analysis and the construction of a distributed application. The initial target of the toolkit is the OSD06-IA7 secure coprocessor and application monitor. The toolkit consists of the following components: 1. A Windows based development environment, which is able to work with both source level as well as binary executable representations of target applications. 2. A Portable Executable file format analysis and manipulation module with a corresponding human interface. 3. A C to VHDL translator. 4. A host based interface library for run time linkage of the distributed components. 5. A VHDL compiler and logic synthesis tool chain. 6. Static and dynamic program slicing, analysis and reporting modules. 7. A secure coprocessor embedded software/firmware development environment. A development test-bed that can be used to test, analyze and debug the distributed application. The test-bed will contain an exposed PC (motherboard, hard disk, power supply, etc.), a specially constructed secure coprocessor card with exposed test and probe points, and corresponding documentation for the firmware (Board Support Package), hardware (schematics and data sheets), and development guide. is, partitioning and the construction of a distributed application.