Skip to main content
SpringerLink
Log in
Book cover

Embedded Systems pp 108–126Cite as

Functional formalisms for system description: Current research topics

  • Chapter
  • First Online:

  • 2234 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 284))

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.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. G.V. Bochmann, "Hardware specification with temporal logic: an example". IEEE trans. C-31, 3 pp. 223–231 (March 1982)

    Google Scholar 

  3. R.T. Boute, "The Binary Decision Machine as a programmable controller". Euromicro Newsletter 2, 1, pp. 16–22 (Jan. 1976)

    Article  Google Scholar 

  4. R.T. Boute, "Functional temporal calculus versus temporal logic: an engineering approach". Report No. 59, Dept of Computer Science, University of Nijmegen, (March 1985)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. R.N. Bracewell, The Fourier transform and its applications, 2nd ed. McGraw-Hill, New York (1978)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. A.B. Carlson, Communications systems (2nd. ed.), McGraw-Hill (1974)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. G.F. Franklin, J.D. Powell, Digital control of dynamic systems. Addison-Wesley, Reading, Mass. (1980)

    Google Scholar 

  11. G.F. Franklin, J.D. Powell, A. Emami-Naeini, Feedback control of dynamic systems. Addison-Wesley, Reading, Mass. (1986)

    Google Scholar 

  12. M.J.C. Gordon, The denotational description of programming languages. Springer, Berlin (1979)

    Google Scholar 

  13. 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)

    Article  Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. A. Papoulis, Probability, random variables and stochastic processes. McGraw-Hill, New York (1965)

    Google Scholar 

  17. A. Papoulis, Signal Analysis. McGraw-Hill, New York (1984)

    Google Scholar 

  18. C. Piguet et al., "Microcomputer design for digital watches". Proc. 7th Euromicro Symposium, pp. 431–442 (Sept. 1981)

    Google Scholar 

  19. D.T. Ross, "Structured Analysis (SA): a language for communicating ideas". IEEE SE-3, 1, pp. 16–34 (Jan. 1977)

    Google Scholar 

  20. 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)

    Article  Google Scholar 

  21. D.P. Siewiorek, C.G. Bell, A. Newell, Computer structures: principles and examples. McGraw-Hill, New York (1982)

    Google Scholar 

  22. J.E. Stoy, Denotational semantics: the Scott-Strachey approach to programming language theory. MIT Press, Cambridge, Mass. (1977)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. D.A. Turner, SASL language manual (revised version). University of Kent (1979)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Nijmegen, The Netherlands

    Raymond T. Boute

Authors
  1. Raymond T. Boute
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Kündig R. E. Bührer J. Dähler

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation