Abstract
The paper presents an uniform framework in which the firmware verification problem can be reduced to the software one. It is shown how to transform the control memory (ROM) content into a microprogram written in the specially designed language MIDDLE and what kind of information has to be included in the hardware documentation in order to make the transformation possible. Once such a microprogram is found, different software methods of verification, outlined in the paper, can be applied.
- 1 Birman A., Joyner W.H., A problem-reduction approach to proving simulation between programs, IEEE Trans. on Soft. Eng., 2, 1976.]]Google Scholar
- 2 Blikle A., An extended approach to mathematical analysis of programs, Banach Center Lectures, PWN, Warsaw, 1977.]]Google Scholar
- 3 Blikle A., Budkowski S., Certification of microprograms by an algebraic method, Proc. MICRO-9, New Orlean, 1976.]] Google Scholar
Digital Library
- 4 Boulay G., Microprogramming, London, 1977.]]Google Scholar
- 5 Chu Y., Computer organization and microprogramming, Prentice Hall, 1972.]]Google Scholar
- 6 Dembinski P., Budkowski S., Verification, design and description oriented microprogramming language, Proc. EURO-MICRO-78, München, 1978.]] Google Scholar
Digital Library
- 7 Dijkstra E.W., A discipline of programming, Prentice Hall, 1976.]] Google Scholar
Digital Library
- 8 Floyd R.W., Assigning meaning to programs, Proc. Amer. Math. Society Symp. in Applied Math., 19, 1967.]]Google Scholar
Cross Ref
- 9 Joyner W.H., Carter W.C., Leeman G.B., Automated proofs program correctness, Proc. MICRO-9, New Orlean, 1976.]] Google Scholar
Digital Library
- 10 Leeman G.B., Some problems in certifying microprograms, IEEE Trans. on Comp., C-24,5,1975.]]Google Scholar
- 11 Manna Z., Mathematical theory of computation, McGraw Hill, 1974.]] Google Scholar
Digital Library
- 12 Mazurkiewicz A., Proving properties of processes, Algorytmy, 11, 1974.]]Google Scholar
- 13 Roth J.P., Structured computer-design system, Proc. FTCS-78, Toulouse, 1978.]]Google Scholar
- 14 Salisbury A.B., Microprogrammable computer organization, Elsevier, 1976.]] Google Scholar
Digital Library
- 15 Dembinski P., Budkowski S., An introduction to the verification oriented microprogramming language "MIDDLE", this issue.]] Google Scholar
Digital Library
Index Terms
Firmware versus software verification
Recommendations
Firmware versus software verification
MICRO 11: Proceedings of the 11th annual workshop on MicroprogrammingThe paper presents an uniform framework in which the firmware verification problem can be reduced to the software one. It is shown how to transform the control memory (ROM) content into a microprogram written in the specially designed language MIDDLE ...
Review on Firmware
ICISPC 2017: Proceedings of the International Conference on Imaging, Signal Processing and CommunicationThis paper presents a review on firmware and the process of firmware development including firmware development model, current trend in firmware development, task scheduling, debugging, documenting the source code and discussed some information related ...






Comments