An Overview of Firmware Engineering

Firmware engineering, in analogy to software engineering, covers the specification and design of microprograms, construction techniques, debugging, testing, verification, and maintenance. Here is a look at the current state of the art and coming trends.

[1]  Stephen S. Yau,et al.  On storage optimization of horizontal microprograms , 1974, MICRO 7.

[2]  David A. Patterson Strum: Structured Microprogram Development System for Correct Firmware , 1976, IEEE Transactions on Computers.

[3]  Daniel Brand,et al.  Microprogram verification considered necessary , 1978, AFIPS National Computer Conference.

[4]  C. V. Ramamoorthy,et al.  A High-Level Language for Horizontal Microprogramming , 1974, IEEE Transactions on Computers.

[5]  Andrzej Blikle,et al.  Certification of microprograms by an algebraic method , 1976, MICRO 9.

[6]  Morrie Gasser An interactive debugger for software and firmware , 1973, MICRO 6.

[7]  William H. Joyner,et al.  Automated proofs of microprogram correctness , 1976, MICRO 9.

[8]  Ward Douglas Maurer Some correctness principles for machine language programs and microprograms , 1974, MICRO 7.

[9]  Ratan K. Guha,et al.  Dynamic microprogramming in a time sharing environment , 1977, MICRO 10.

[10]  S. G. Tucker Microprogram Control for System/360 , 1967, IBM Syst. J..

[11]  W. M. McKeeman A simple computer , 1974, SIGM.

[12]  David Johns Dewitt A machine independent approach to the production of optimized horizontal microcode. , 1976 .

[13]  M. R. Barbacci,et al.  Using Emulaion to Verify Formal Architecture Descriptions , 1978, Computer.

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

[15]  Scott Davidson,et al.  Testing of microprograms using the lockheed SUE microinstruction simulator , 1976, ANSS '76.

[16]  David A. Patterson An approach to firmware engineering , 1978, AFIPS National Computer Conference.

[17]  Ralph L. London,et al.  A view of program verification , 1975, Reliable Software.

[18]  Christine L. Braun,et al.  An integrated microprocessor support software system , 1976, SIGMINI '76.

[19]  David J. DeWitt Extensibility - a new approach for designing machine independent microprogramming languages , 1976, MICRO 9.

[20]  David A. Patterson Strum: structured microprogramming system for correct firmware , 1976 .

[21]  Bobby C. Hodges,et al.  Support software for micro program development , 1975, SIGM.

[22]  Hans-Jürgen Färber Statistical evaluation of program runs on a microprogrammed computer through simulation , 1973, SIGM.

[23]  David Willen An Intel 3000 cross assembler , 1976, SIGM.

[24]  B GoodenoughJohn,et al.  Toward a theory of test data selection , 1975 .

[25]  Mario Tokoro,et al.  An approach to microprogram optimization considering resource occupancy and instruction formats , 1977, MICRO 10.

[26]  Lutz Richter,et al.  A two level microprogram simulator , 1974, MICRO 7.

[27]  Louise H. Jones,et al.  Microinstruction sequencing and structured microprogramming , 1974, MICRO 7.

[28]  C. V. Ramamoorthy,et al.  Execution time (and memory) optimization in microprograms , 1974, MICRO 7.

[29]  Jean P. Schoellkopf Microprogramming: A step of a top-down design methodology , 1974, MICRO 7.

[30]  Marion G. Porter,et al.  Microprogram control system , 1976 .

[31]  F. T. Baker,et al.  Chief Programmer Team Management of Production Programming , 1972, IBM Syst. J..

[32]  George B. Leeman Some Problems in Certifying Microprograms , 1975, IEEE Transactions on Computers.

[33]  C. V. Ramamoorthy,et al.  Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms , 1974, IEEE Transactions on Computers.

[34]  Tilak Agerwala Microprogram Optimization: A Survey , 1976, IEEE Transactions on Computers.

[35]  Daniel Martin An Eclipse microassembler , 1977, SIGM.

[36]  Subrata Dasgupta,et al.  The Identification of Maximal Parallelism in Straight-Line Microprograms , 1976, IEEE Transactions on Computers.

[37]  Harvey Bratman,et al.  The Software Factory , 1975, Computer.

[38]  Joseph E. Urban,et al.  A specification language and its processor. , 1977 .

[39]  David J. DeWitt A Control Word Model for detecting conflicts between microprograms , 1975, MICRO 8.

[40]  Ben A. Laws Microbe: A self commenting microassembler , 1977, MICRO 10.

[41]  C. V. Ramamoorthy,et al.  Testing large software with automated software evaluation systems , 1975, IEEE Transactions on Software Engineering.

[42]  Bruce D. Shriver A Description of the MATHILDA System , 1973 .

[43]  Christopher Vickery Software aids for microprogram development , 1974, MICRO 7.

[44]  Andries van Dam,et al.  Vertical Migration for Performance Enhancement in Layered Hardware/Firmware/Software Systems , 1978, Computer.