Microprocessors

Microprocessor design for data security is examined with regard to both methodology and implementation. The examination begins with seven commercial 32-bit microprocessors which are evaluated against a set of previously published requirements for secure hardware. Then, the methodology and implementation of data secure microprocessor design is presented using an original design. The presentation includes a description of the security policy implemented, a model of secure operation, and a detailed description of the design. The security-related overhead of the new design is compared to that of two commercial microprocessors. The design is then validated with a formal proof. Finally, the design is shown to protect against several generic attacks.

As a new trend in designing a computer architecture, Reduced
Instruction set Computers(RISC) have been proposed recently.
This thesis reviews the new design approach behind the RISC and
discuss the controversy between the proponents of the RISC
approach and those of the traditional Complex Instruction set
COmputer(CISC) approach. Ridge 32 is selected as a case study of
the RISCs. Architectural parameters to evaluate the computer
performance are considered to analyze the performance of the Ridge
32. A simulator for the Ridge 32 was implemented in PASCAL as a
way of measuring those parameters. Measurement results on the
several selected benchmark programs are given and analyzed to
evaluate the characteristics of the Ridge 32.

Methods of collecting information about the deep ocean
sediments are considered. A compact, flexible data collection
and management system based on microprocessor technology
is developed. The hardware of the system is detailed
and a typical software operating system is presented which
controls sensor operations, stores temporary data and communicates
with a shipboard computer system.

The Microprocessor Design Team Assignment Problem models the microprocessor design efforts of Intel Corporation over a 29-year period from 1972 until 2001. The basic model is a Erlang queuing system based probability model of the individual programming-design team daily operations. After extensive research the Erlang Loss/Delay Blocked Multiserver Model is utilized throughout the dissertation The Erlang loss-delay model takes into account the Key Man Constraint for team leaders and programming team personnel. The Microprocessor Design Team Assignment Problem Case Study and massive research effort, into Intel Corporations design efforts, is complicated by modeling a major programming-design team operation without any current data or assistance from Intel Corporation. However much of the lack of assistance and data was obtained by utilizing a critical managerial design team decomposition which answered most major questions about Intels lack of adequate personnel and overutilization of team leaders and asst. team leaders throughout the 48 months of most major design projects. The study-dissertation concludes that Intels and Hewlett Packards current positions in the computer industry are relatively secure because of extremely high entry level costs exceeding $850,000,000.00 million dollars. Many individual issues about programming-design team operations are analyzed in a great amount of detail. This is the first time that much of this design-programming team material and information is being made public for future research and continuing improvement upon large scale project managerial methods and techniques. The basic design-programming team effort is also modeled with Erlang probability models and stochastic Riccati differential equations. This modeling effort is discussed in great detail in chapter 5 and Appendix Alpha. It is believed that this fundamental research leads the way for more advanced efforts in manufacturing systems and possibly mechatronics for further models utilizing strong Markov properties. This research effort substantially advances the basic research and knowledge of Partially Observable Markov Decision Processes and Strong Brownian Motion with the basic unit being strong Markov properties.