Strum: Structured Microprogram Development System for Correct Firmware
- 1 October 1976
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-25 (10) , 974-985
- https://doi.org/10.1109/tc.1976.1674538
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.Keywords
This publication has 28 references indexed in Scilit:
- Assigning Meanings to ProgramsPublished by Springer Nature ,1993
- Structured specification of a Security KernelPublished by Association for Computing Machinery (ACM) ,1975
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- An approach to optimization of horizontal microprogramsPublished by Association for Computing Machinery (ACM) ,1974
- A flexible asynchronous microprocessorBIT Numerical Mathematics, 1973
- The Vienna Definition LanguageACM Computing Surveys, 1972
- The programming language pascalActa Informatica, 1971
- PL360, a Programming Language for the 360 ComputersJournal of the ACM, 1968
- A microprogrammed implementation of EULER on IBM system/360 model 30Communications of the ACM, 1967