An Overview of Firmware Engineering
- 1 May 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 11 (5) , 21-33
- https://doi.org/10.1109/c-m.1978.218180
Abstract
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.Keywords
This publication has 38 references indexed in Scilit:
- An Eclipse microassemblerACM SIGMICRO Newsletter, 1977
- Strum: Structured Microprogram Development System for Correct FirmwareIEEE Transactions on Computers, 1976
- A view of program verificationACM SIGPLAN Notices, 1975
- Testing large software with automated software evaluation systemsIEEE Transactions on Software Engineering, 1975
- A simple computerACM SIGMICRO Newsletter, 1974
- A High-Level Language for Horizontal MicroprogrammingIEEE Transactions on Computers, 1974
- Automatic Testing for the Correctness and Equivalence of Loopfree MicroprogramsIEEE Transactions on Computers, 1974
- Some correctness principles for machine language programs and microprogramsPublished by Association for Computing Machinery (ACM) ,1974
- A two level microprogram simulatorPublished by Association for Computing Machinery (ACM) ,1974
- Chief programmer team management of production programmingIBM Systems Journal, 1972