Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

FTRTFT 1988: Formal Techniques in Real-Time and Fault-Tolerant Systems pp 159–174Cite as

Paradigms for real-time systems

  • Invited Talk
  • Conference paper
  • First Online:

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

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.

4 references

  1. G. Berry, S. Moisan and J. P. Rigault, ESTEREL: Towards a synchronous and semantically sound high level language for Real Time applications, IEEE Real Time Systems, 1983.

    Google Scholar 

  2. B. Dasarathy, Timing Constraints of Real Time Systems: Constructs for Expressing Them, Methods for Validating Them, IEEE Real Time Systems 1982.

    Google Scholar 

  3. C. C. Foster, Real Time Programming — Neglected Topics, Addison-Wesley series ‘the Joy of Computing', 1981.

    Google Scholar 

  4. P. Henderson, Functional Programming, Formal Specification and Rapid Prototyping, IEEE Transactions in Software Engineering 12, 1986.

    Google Scholar 

  5. C. A. R. Hoare, Communicating Sequential Processes, Communications ACM, vol. 21 No 8, pp. 666–677, aug 1978.

    Article  Google Scholar 

  6. D. Harel & A. Pnueli, On the Development of Reactive Systems, in: K. R. Apt (ed.) Logics and Models of Concurrent Systems, NATO ASI Series vol. F13, Springer 1985.

    Google Scholar 

  7. D. J. Hatley and I. A. Pirbhai, Strategies for Real-Time System Specification, Dorset House Publishing, 1987.

    Google Scholar 

  8. M. A. Jackson, System Development, Prentice Hall International, 1983.

    Google Scholar 

  9. C. B. Jones, Systematic Software Development Using VDM, Prentice Hall International, 1986.

    Google Scholar 

  10. R. Koymans, R. Kuiper and E. Zijlstra, Specifying Message Passing and Real-Time Systems with Real-Time Temporal Logic, in: ESPRIT'87 Achievements and Impact, North-Holland 1987.

    Google Scholar 

  11. G. Le Lann, On Real-Time Distributed Computing, IFIP 1983.

    Google Scholar 

  12. D. W. Leinbaugh, Guaranteed Response Times in a Hard-Real-Time Environment, IEEE TSE, vol. 6, pp. 85–91, Jan 1980.

    Google Scholar 

  13. D. W. Leinbaugh and M. R. Yamini, Guaranteed Response Times in a Distributed Hard-Real-Time Environment, IEEE Real Time Systems 1982.

    Google Scholar 

  14. A. K. Mok, Fundamental design problems of distributed systems for the hard-real-time environment, thesis, MIT 1983.

    Google Scholar 

  15. D. Mellichamp, Real Time Computing with Applications to Data Acquisition and Control, Van Nostrand Reinhold 1983.

    Google Scholar 

  16. S. J. Mellor & P. T. Ward, Structured Development for Real-Time Systems, vol. 1: ‘Introduction and Tools', Yourdon Press 1986.

    Google Scholar 

  17. S. J. Mellor & P. T. Ward, Structured Development for Real-Time Systems, vol. 2: ‘Essential Modeling Techniques', Yourdon Press 1986.

    Google Scholar 

  18. S. J. Mellor & P. T. Ward, Structured Development for Real-Time Systems, vol. 3: ‘Implementation Modeling Techniques', Yourdon Press 1986.

    Google Scholar 

  19. C. Seitz, System Timing, in C. Mead & L. Conway, Introduction to VLSI Systems, Addison Wesley 1980.

    Google Scholar 

  20. F. G. Shinskey, Process Control Systems, McGraw-Hill 1967.

    Google Scholar 

  21. The Language of Statemate, AdCad Ltd, Rehovot Israel, 1987.

    Google Scholar 

  22. A. S. Tanenbaum, Computer Networks, Prentice Hall International 1981.

    Google Scholar 

  23. N. Wirth, Towards a Discipline of Real-Time Programming, C-ACM, vol. 20, No 8, aug 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Vakgroep Theoretische Informatica, Technische Universiteit Eindhoven, POBox 513, NL-5600 MB, Eindhoven

    Ron Koymans & Ruurd Kuiper

  2. Foxboro Nederland NV, Koningsweg 30, NL-3762 EC, Soest

    Erik Zijlstra

Authors
  1. Ron Koymans
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ruurd Kuiper
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Erik Zijlstra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Joseph

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Koymans, R., Kuiper, R., Zijlstra, E. (1988). Paradigms for real-time systems. In: Joseph, M. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1988. Lecture Notes in Computer Science, vol 331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50302-1_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-50302-1_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50302-6

  • Online ISBN: 978-3-540-45965-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation