Loading [MathJax]/extensions/MathMenu.js
Strum: Structured Microprogram Development System for Correct Firmware | IEEE Journals & Magazine | IEEE Xplore

Strum: Structured Microprogram Development System for Correct Firmware


Abstract:

An approach to the development of correct microprograms is to use the methodologies that have been beneficial in the generation of correct user programs, i. e., structure...Show More

Abstract:

An approach to the development of correct microprograms is to use the methodologies that have been beneficial in the generation of correct user programs, i. e., structured programming, high-level languages (HLL's), and formal program verification using Floyd's inductive assertion method. This paper presents a system that combines these techniques to simplify the design and implementation of correct microprograms for a real microprogrammable computer. It gives some statistics which support our emphasis on generation as well as correctness and some preliminary results on the use of our system.
Published in: IEEE Transactions on Computers ( Volume: C-25, Issue: 10, October 1976)
Page(s): 974 - 985
Date of Publication: 31 October 1976

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.