Abstract
This paper presents a cursory overview of current (and hence unfinished) research work on the application of functional formalisms to the description of systems. Following some introductory comments on their interrelation, the following topics are briefly discussed:
-
Representational and denotational semantics as a paradigm for viewing physical systems as realizations of abstract operations,
-
Functional description of computer architectures,
-
Functional description of mixed systems (embedded analog and digital systems),
-
The Functional Temporal Calculus as a general formalism for describing time-varying phenomena.
Preview
Unable to display preview. Download preview PDF.
References
P. Amblard et al., "Describing and reasoning about circuits behaviour by means of time functions". Proc. 1975 on Computer Hardware Description Languages, pp. 39–48, Tokyo (Aug. 1985)
G.V. Bochmann, "Hardware specification with temporal logic: an example". IEEE trans. C-31, 3 pp. 223–231 (March 1982)
R.T. Boute, "The Binary Decision Machine as a programmable controller". Euromicro Newsletter 2, 1, pp. 16–22 (Jan. 1976)
R.T. Boute, "Functional temporal calculus versus temporal logic: an engineering approach". Report No. 59, Dept of Computer Science, University of Nijmegen, (March 1985)
R.T. Boute, "Elements for the formal description of systems". In: A. Kündig, ed., New Approaches to the Formal Description and the Design of Embedded Systems. (March 1986)
R.N. Bracewell, The Fourier transform and its applications, 2nd ed. McGraw-Hill, New York (1978)
M. Browne et al., "Automatic verification of sequential circuits using temporal logic". Report CMU-CS-85-100, Dept. of Computer Science, Carnegie-Mellon University (Dec. 1984)
A.B. Carlson, Communications systems (2nd. ed.), McGraw-Hill (1974)
E.M. Clarke et al., "Automatic verification of finite-state concurrent systems using temporal logic specifications; a practical approach. Report CMU-CS-83-152, Dept. of Computer Science, Carnegie-Mellon University (Sept. 1983)
G.F. Franklin, J.D. Powell, Digital control of dynamic systems. Addison-Wesley, Reading, Mass. (1980)
G.F. Franklin, J.D. Powell, A. Emami-Naeini, Feedback control of dynamic systems. Addison-Wesley, Reading, Mass. (1986)
M.J.C. Gordon, The denotational description of programming languages. Springer, Berlin (1979)
R.A. Karp, "Proving failure — free properties of concurrent systems using temporal logic", ACM Trans. on Prog. Lang. and Systems 6, 2, pp. 239–253 (April 1984)
Z. Manna, A. Pnueli, "Verification of concurrent programs: the temporal framework". In: R.S. Boyer, J.S. Moore, eds., The correctness problem in Computer Science, pp. 215–273. International Lecture Series in Computer Science, Academic Press, London (1982)
Z. Manna, A. Pnueli, "Verification of concurrent programs: a temporal proof system". Report No. STAN-CS-83-976. Dept. of Computer Science, Stanford University, Stanford, Ca. (June 1983)
A. Papoulis, Probability, random variables and stochastic processes. McGraw-Hill, New York (1965)
A. Papoulis, Signal Analysis. McGraw-Hill, New York (1984)
C. Piguet et al., "Microcomputer design for digital watches". Proc. 7th Euromicro Symposium, pp. 431–442 (Sept. 1981)
D.T. Ross, "Structured Analysis (SA): a language for communicating ideas". IEEE SE-3, 1, pp. 16–34 (Jan. 1977)
R.L. Schwartz, P.M. Melliar-Smith, "From state machines to temporal logic: specification methodes for protocol standards". IEEE Trans. COM-30, 12, pp. 2486–2496 (Dec. 1982)
D.P. Siewiorek, C.G. Bell, A. Newell, Computer structures: principles and examples. McGraw-Hill, New York (1982)
J.E. Stoy, Denotational semantics: the Scott-Strachey approach to programming language theory. MIT Press, Cambridge, Mass. (1977)
D. Teichroew, E.A. Hershey III, "PSL/PSA: a computer-aided technique for structured documentation and analysis of information processing systems". IEEE SE-3, 1, pp. 41–48 (Jan. 1977)
D.A. Turner, SASL language manual (revised version). University of Kent (1979)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Boute, R.T. (1987). Functional formalisms for system description: Current research topics. In: Kündig, A., Bührer, R.E., Dähler, J. (eds) Embedded Systems. Lecture Notes in Computer Science, vol 284. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016349
Download citation
DOI: https://doi.org/10.1007/BFb0016349
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18581-9
Online ISBN: 978-3-540-48021-1
eBook Packages: Springer Book Archive