Summary
Starting with a discussion of the abstraction and specification methods employed in the hierarchical software design methodology, approaches are considered towards the adoptation of these methods for firmware specification. The basic levels of abstraction in firmware systems are identified, and fundamental differences are recognized between software and firmware specification. Consequently, the need arises for extensions and modifications of the existing software specification methods to make them suitable for firmware specification. In particular, the application of the axiomatic and the operational approach to firmware specification is discussed and demonstrated by examples, and the adequacy of the two methods is evaluated.
Zusammenfassung
Ausgehend von Abstraktionsmechanismen des Software-Entwurfs und Software-Spezifikationsmethoden werden Ansätze zur Spezifikation von Firmware vorgestellt. Grundlegende Abstraktionsebenen des Firmware-Entwurfs werden aufgezeigt und fundamentale Unterschiede zwischen Software und Firmware genannt, die Erweiterungen bzw. Modifikationen bei der Adoption von Software-Spezifikationstechniken im Firmware Engineering notwendig machen. Die Anwendung von axiomatischer und Operationen er Methode wird demonstriert. Eine Wertung der Eignung dieser Methoden für den Firmware-Entwurf wird vorgenommen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
Campell R.H., Habermann A.N., The Specification of Process Synchronization by Path Expressions, Lecture Notes in Computer Science, Vol. 16, SPRINGER-VERLAG, Berlin-Heidelberg-New York 1974
Dasgupta S., Towards a Microprogramming Language Scheme, Sigmicro Newsletters, Vol. 9, No. 4, December 1978
Dijkstra E.W., Notes on Structured Programming, in: Dahl/Dijkstra/Hoare (eds.): Structured Programming, Academic Press, New York 1972
Drongowski P.I., Rose C.W., Application of Hardware Description Languages to Microprogramming: Method, Practice, and Limitations, Sigmicro Newsletters, Vol. 10, No. 4, 1979
Giloi W.K., Balaci R., Behr P., APL★DS — A Powerful Portable Programming System for RT-Level Hardware Description and Simulation, Microprogram Specification, and the Simulation of Parallel Processing Concepts, Tech. University of Berlin, FB Informatik, Tech. Report 78–21 (June 1978)
Giloi W.K., Behr P., APL★DS — An APL-Based Hardware Specification/Simulation System, paper submitted for presentation on APL 80 INTERN. CONGRESS (Delft/Netherlands, June 1980)
Giloi W.K., Behr P., Güth R., FIT — A System for Firmware Specification, Implementation, and Validation, Proc. IFIP Working Conference on Firmware, Microprogramming, and Restructurable Hardware, North-Holland, 1980
Hoare C.A.R., An Axiomatic Basis for Computer Programming, CACM 12,10 (Oct. 1969)
Hoare C.A.R., Communicating Sequential Processes, CACM 21,8 (Aug. 1978)
Levitt K.N., Moriconi M.S., The SRI Interactive Program Verification System, in: Berg/Giloi(eds.), The Use of Formal Specification of Software and Firmware, to be published 1980 by SPRINGER
Liskov B., Zilles S., Programming with Abstract Data Types, ACM SIGPLAN Notices 9,4 (April 1974)
Milne R., Strachey C., A Theory of Programming Language Semantics, J. Wiley, New York 1976
Myers G.J., Advances in Computer Architecture, J. Wiley, New York 1978
Ross D.T., Structured Analysis (SA): A Language for Communicating Ideas, IEEE Tr. o. Software Engineering, Vol. 3, No. 1 (Jan. 1977)
Stoy J., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass., 1977
Wegner P., The Vienna Definition Language, Computing Surveys, Vol. 4, No. 1, March 1972
Wirth N., Programming Development by Stepwise Refinement, CACM 14,4 (April 1971)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Giloi, W.K., Gueth, R. (1980). Spezifikation von Firmware. In: Giloi, W.K. (eds) Firmware Engineering. Informatik-Fachberichte, vol 31. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67774-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-67774-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10304-2
Online ISBN: 978-3-642-67774-8
eBook Packages: Springer Book Archive