skip to main content
article
Free Access

Firmware versus software verification

Published:19 November 1978Publication History
Skip Abstract Section

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.

References

  1. 1 Birman A., Joyner W.H., A problem-reduction approach to proving simulation between programs, IEEE Trans. on Soft. Eng., 2, 1976.]]Google ScholarGoogle Scholar
  2. 2 Blikle A., An extended approach to mathematical analysis of programs, Banach Center Lectures, PWN, Warsaw, 1977.]]Google ScholarGoogle Scholar
  3. 3 Blikle A., Budkowski S., Certification of microprograms by an algebraic method, Proc. MICRO-9, New Orlean, 1976.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Boulay G., Microprogramming, London, 1977.]]Google ScholarGoogle Scholar
  5. 5 Chu Y., Computer organization and microprogramming, Prentice Hall, 1972.]]Google ScholarGoogle Scholar
  6. 6 Dembinski P., Budkowski S., Verification, design and description oriented microprogramming language, Proc. EURO-MICRO-78, München, 1978.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 Dijkstra E.W., A discipline of programming, Prentice Hall, 1976.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 Floyd R.W., Assigning meaning to programs, Proc. Amer. Math. Society Symp. in Applied Math., 19, 1967.]]Google ScholarGoogle ScholarCross RefCross Ref
  9. 9 Joyner W.H., Carter W.C., Leeman G.B., Automated proofs program correctness, Proc. MICRO-9, New Orlean, 1976.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 Leeman G.B., Some problems in certifying microprograms, IEEE Trans. on Comp., C-24,5,1975.]]Google ScholarGoogle Scholar
  11. 11 Manna Z., Mathematical theory of computation, McGraw Hill, 1974.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12 Mazurkiewicz A., Proving properties of processes, Algorytmy, 11, 1974.]]Google ScholarGoogle Scholar
  13. 13 Roth J.P., Structured computer-design system, Proc. FTCS-78, Toulouse, 1978.]]Google ScholarGoogle Scholar
  14. 14 Salisbury A.B., Microprogrammable computer organization, Elsevier, 1976.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15 Dembinski P., Budkowski S., An introduction to the verification oriented microprogramming language "MIDDLE", this issue.]] Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Firmware versus software verification

                    Recommendations

                    Comments

                    Login options

                    Check if you have access through your login credentials or your institution to get full access on this article.

                    Sign in

                    Full Access

                    • Published in

                      cover image ACM SIGMICRO Newsletter
                      ACM SIGMICRO Newsletter  Volume 9, Issue 4
                      Dec. 1978
                      160 pages
                      ISSN:1050-916X
                      DOI:10.1145/1014198
                      Issue’s Table of Contents

                      Copyright © 1978 Authors

                      Publisher

                      Association for Computing Machinery

                      New York, NY, United States

                      Publication History

                      • Published: 19 November 1978

                      Check for updates

                      Qualifiers

                      • article

                    PDF Format

                    View or Download as a PDF file.

                    PDF

                    eReader

                    View online with eReader.

                    eReader
                    About Cookies On This Site

                    We use cookies to ensure that we give you the best experience on our website.

                    Learn more

                    Got it!