A new methodology to computer system design

Abstract Current design of computer systems initiate with top-down structured methodologies but fail to develop appropriate conceptual foundations. They are conspicuously incomplete. The touchstone for successful implementation lies within the domain of optimization theory as will be shown. This paper proposes to couple formal optimization techniques to such designs. The authors conjecture that the design process is equivalent to an optimal control problem which seeks an admissible control effort (set of guiding principles) on state variables (taxonomies) within the confines of modern control theory. One example illustrates the technique.

[1]  Leo Hellerman,et al.  A Measure of Computational Work , 1972, IEEE Transactions on Computers.

[2]  C. V. Ramamoorthy,et al.  Optimization Strategies for Microprograms , 1971, IEEE Transactions on Computers.

[3]  F. Murphy.  A Class of Exponential Penalty Functions , 1974 .

[4]  Jack B. Dennis,et al.  Research Directions in Computer Architecture , 1978 .

[5]  Tilak Krishna Mahesh Agerwala,et al.  Towards a theory for the analysis and synthesis of systems exhibiting concurrency. , 1975 .

[6]  Leo Hellerman,et al.  The Power and Efficiency of a Computer System ( invited ) , 1974, ARCS.

[7]  R. L. Woods.  The Selection of Performance Indices for Optimal Control Problems , 1972 .

[8]  S. Kahne,et al.  Optimal control: An introduction to the theory and ITs applications , 1967, IEEE Transactions on Automatic Control.

[9]  Henry F. Ledgard,et al.  On a proposed measure of program structure , 1974, SIGP.

[10]  C. Houpis,et al.  Functional relationships between the conventional steady-state error characteristics and the weighting matrices in the quadratic performance index† , 1972 .

[11]  Leo Hellerman,et al.  A Discussion of "A Measure of Computational Work"2 , 1974, IEEE Transactions on Computers.

[12]  Ian McCausland,et al.  Introduction to optimal control , 1968 .

[13]  Maurice H. Halstead,et al.  Elements of software science , 1977 .

[14]  Donald E. Kirk,et al.  Optimal Control Theory , 1970 .

[15]  Ira Gaulbert Wilson,et al.  Information, computers, and system design , 1965 .

[16]  L. S. Pontryagin,et al.  Mathematical Theory of Optimal Processes , 1962 .

[17]  Masahiro Tsuchiya,et al.  Toward Optimization of Horizontal Microprograms , 1976, IEEE Transactions on Computers.

[18]  Y. Shih,et al.  On the weighting factors of the quadratic criterion in optimal control , 1974 .

[19]  V. M. Glushkov.  Automata theory and structural design problems of digital machines , 1965 .