Skip to main content
SpringerLink
Log in

Software Engineering — Firmware Engineering

  • Conference paper
Book cover Firmware Engineering

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 31))

  • 50 Accesses

Zusammenfassung

Neben dem traditionellen Hardware-Aspekt der Mikroprogrammierung, unter dem die Mikroprogrammierung als Technik für die systematische Realisierung von Kontrollfunktionen der Rechner-Hardware betrachtet wird, gewinnt der Software-Aspekt der Mikroprogrammierung immer stärker an Bedeutung. Der Software-Aspekt resultiert aus der Anwendung der Mikroprogrammierung für die interpretative Implementierung des Operationsprinzips einer Rechnerarchitektur. Als Operationsprinzip bezeichnen wir das funktionelle Verhalten der Rechner-Hardware sowie die Darstellung von Informationskomponenten (Maschinenbefehle, Daten, usw.) in der Maschine und deren Interpretation und Transformation durch die Maschine. Um diesen Software-Aspekt der Mikroprogrammierung hervorzuheben, führte A. Opler [1] den Begriff Firmware ein.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Opler, A., “Fourth Generation Software”, Datamation, Vol. 13, No. 1, 1967.

    Google Scholar 

  2. Berndt, H., “Was ist Firmware?”, Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

  3. Boehm, B.W., “Software Engineering”, IEEE Transactions on Computers, Vol. C-25, No. 12, December 1976.

    Google Scholar 

  4. Davidson, S.; Shriver, B.D., “Firmware Engineering: An Extensive Update”, Firmware Engineering Seminar, Berlin, Harz 1980, in diesem Band veröffentlicht.

    Google Scholar 

  5. Berg, H.K., “Firmware-Engineering: Eine Übersicht”, Informatik Spektrum, Vol.3, No. 2, Springer Verlag, 1980.

    Google Scholar 

  6. Zelkowitz, M.V., “Perspectives on Software Engineering”, Computing Surveys, Vol. 10, No. 2, June 1978.

    Google Scholar 

  7. Wirth, N., “Programming Development by Stepwise Refinement”, Communications of the ACM, Vol. 14, No. 4, April 1971.

    Google Scholar 

  8. Dijkstra, E.W., “Notes on Structured Programming”, Dahl, O.J.; Dijkstra, E.W.; Hoare, C.A.R. (eds.), Structured Programming, Academic Press, 1972.

    Google Scholar 

  9. Liskov, B.; Zilles, S., “Programming with Abstract Data Types”, Sigplan Notices, Vol. 9, No. 4, April 1974.

    Google Scholar 

  10. Wegner, P., “Programming Languages, Information Structures and Machine Organisation”, McGraw-Hill, 1971.

    Google Scholar 

  11. Ross, D.T., “Structured Analysis (SA): A Language for Communicating Ideas”, IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, January 1977.

    Google Scholar 

  12. Guttag, J., “Abstract Data Types and Software Validation”, Communications of the ACM, Vol. 21, No. 12, December 1978.

    Google Scholar 

  13. Hoare, C.A.R., “Proof of Correctness of Data Representations”, Acta Informatica, Vol. 1, pp. 271–281, 1972.

    Article  MATH  Google Scholar 

  14. Parnas, D.L., “A Technique for Software Module Specification with Examples”, Communications of the ACM, Vol. 15, No. 5, May 1972.

    Google Scholar 

  15. Robinson, L., “The HDM Handbook, Vol. I: The Foundations of HDM”, Stanford Research Institute International, Menlo Park, SRI Report 4828, 1979.

    Google Scholar 

  16. Shaw, M.; Wulf, W.A., “Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators”, Communications of the ACM, Vol. 20, No. 8, August 1977.

    Google Scholar 

  17. Champell, R.H.; Habermann, A.N., “The Specification of Process Synchronization by Path Expressions”, Lecture Notes in Computer Science, Vol. 16, Springer Verlag, 1974.

    Google Scholar 

  18. Liskov, B.; Snyder, A.; Atkinson, R.; Schaffert, C., “Abstraction Mechanisms in CLU”, Communications of the ACM, Vol. 20, No. 8, August 1977.

    Google Scholar 

  19. Wirth, N., “MODULA: A Language for Modular Microprogramming; The Use of MODULA, MODULA-Design and Implementation”, Software — Practice & Experience, Vol. 7, No. 1, January 1977.

    Google Scholar 

  20. Special Issue on Program Testing, Computer, Vol. 11, No. 4, 1978.

    Google Scholar 

  21. Floyd, R.W., “Assigning Meanings to Programs”, Proc. of Symposia in Applied Mathematics, American Mathematical Society, Vol. 19, pp. 19–32, 1967.

    Google Scholar 

  22. Hoare, C.A.R., “An Axiomatic Basis for Computer Programming”, Communications of the ACM, Vol. 12, No. 10, October 1969.

    Google Scholar 

  23. Tannenbaum, A.S., “Structured Computer Organization”, Prentice Hall, 1976.

    Google Scholar 

  24. Stockenberg, J.; van Dam, A., “Vertical Migration for Performance Enhancement in Layered Hardware/Firmware/Software Systems”, Computer, Vol. 11, No. 5, 1978.

    Google Scholar 

  25. Myers, G.J., “Advances in Computer Architecture”, John Wiley, 1978.

    MATH  Google Scholar 

  26. Melliar-Smith, P.M.; Randell, B., “Software Reliability: The Role of Programmed Exception Handling”, Sigplan Notices, Vol. 12, No. 3, March 1977.

    Google Scholar 

  27. Randell, B.; Lee, P.A.; Treleaven, P.C., “Reliability Issues in Computing System Design”, Computing Surveys, Vol. 10, No. 2, June 1978.

    Google Scholar 

  28. Neumann, P.G., et. al., “A Provably Secure Operating System: The System, its Applications, and Proofs”, Final Report, SRI Project 4332, SRI International, Menlo Park, Cal., February 1977.

    Google Scholar 

  29. Parnas, D.L., “On the Criteria to be Used in Decomposing Systems into Modules”, Communications of the ACM, Vol. 15, No. 12, December 1972.

    Google Scholar 

  30. Berg, H.K.; Güth, R., “On the Use of Software Design Methods in Firmware Engineering”, noch unveröffentlicht.

    Google Scholar 

  31. Giloi, W.K.; Güth, R., “Spezifikation von Firmware”, Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

  32. Drongowski, P.J.; Rose, C.W., “Application of Hardware Description Languages to Microprogramming: Method, Practice, and Limitations”, SIGMICRO Newsletter, Vol. 10, No. 4, 1979, pp. 55–59.

    Article  Google Scholar 

  33. Dasgupta, S., “Towards a Microprogramming Language Scheme”, SIGMICRO Newsletter, Vol. 9, No. 4, December 1978.

    Google Scholar 

  34. Richter, L., “Höhere Programmiersprachen für die Mikroprogrammierung”, Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

  35. Dasgupta, S., “The Organisation of Microprogram Stores”, Computing Surveys, Vol. 11, No. 1, March 1979.

    Google Scholar 

  36. Cleemput, W.M.; Dietmeyer, D. (eds.), Proc. 4th International Symposium on Computer Hardware Description Languages, IEEE Catalog No. 79CH1436–5C, 1979.

    Google Scholar 

  37. Korneurp, P., “Firmware Development Systems, a Survey”, Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

  38. Prechtl, H., “Firmware-Entwurfs- und-Testsysteme: Fallstudie”, Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

  39. Berg, H.K., “Correctness of Firmware —An Overview”, Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

  40. Hartwich, R., “Firmware-Dokumentati on und-Wartung”., Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

  41. Albrich, P., “Vertikale Verlagerung — Verfahren, Voraussetzungen, Anwendung”, Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

  42. Klett, R., “Ein mikroprogrammiertes Unterbrechungswerk für einen Prozeßrechner”, Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

  43. Schleich, G., “Die vertikale Verlagerung von Systemfunktionen im System Nixdorf 8864”, Firmware Engineering Seminar, Berlin, März 1980, in diesem Band veröffentlicht.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik - CAMP, Technische Universität Berlin, Deutschland

    H. K. Berg & R. Güth

Authors
  1. H. K. Berg
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Güth
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Technische Informatik-CAMP, TU Berlin, Einsteinufer 37, 1000, Berlin 10, Deutschland

    W. K. Giloi

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Berg, H.K., Güth, R. (1980). Software Engineering — Firmware Engineering. In: Giloi, W.K. (eds) Firmware Engineering. Informatik-Fachberichte, vol 31. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67774-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-67774-8_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10304-2

  • Online ISBN: 978-3-642-67774-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation