Paradigms for real-time systems

  • Ron Koymans
  • Ruurd Kuiper
  • Erik Zijlstra
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 331)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

4 references

  1. BMR83.
    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. Da82.
    B. Dasarathy, Timing Constraints of Real Time Systems: Constructs for Expressing Them, Methods for Validating Them, IEEE Real Time Systems 1982.Google Scholar
  3. Fo81.
    C. C. Foster, Real Time Programming — Neglected Topics, Addison-Wesley series ‘the Joy of Computing', 1981.Google Scholar
  4. He86.
    P. Henderson, Functional Programming, Formal Specification and Rapid Prototyping, IEEE Transactions in Software Engineering 12, 1986.Google Scholar
  5. Ho78.
    C. A. R. Hoare, Communicating Sequential Processes, Communications ACM, vol. 21 No 8, pp. 666–677, aug 1978.CrossRefGoogle Scholar
  6. HP85.
    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. HP87.
    D. J. Hatley and I. A. Pirbhai, Strategies for Real-Time System Specification, Dorset House Publishing, 1987.Google Scholar
  8. Ja83.
    M. A. Jackson, System Development, Prentice Hall International, 1983.Google Scholar
  9. Jo86.
    C. B. Jones, Systematic Software Development Using VDM, Prentice Hall International, 1986.Google Scholar
  10. KKZ87.
    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. La83.
    G. Le Lann, On Real-Time Distributed Computing, IFIP 1983.Google Scholar
  12. Le80.
    D. W. Leinbaugh, Guaranteed Response Times in a Hard-Real-Time Environment, IEEE TSE, vol. 6, pp. 85–91, Jan 1980.Google Scholar
  13. LY82.
    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. Mok83.
    A. K. Mok, Fundamental design problems of distributed systems for the hard-real-time environment, thesis, MIT 1983.Google Scholar
  15. Mel83.
    D. Mellichamp, Real Time Computing with Applications to Data Acquisition and Control, Van Nostrand Reinhold 1983.Google Scholar
  16. MW86/1.
    S. J. Mellor & P. T. Ward, Structured Development for Real-Time Systems, vol. 1: ‘Introduction and Tools', Yourdon Press 1986.Google Scholar
  17. MW86/2.
    S. J. Mellor & P. T. Ward, Structured Development for Real-Time Systems, vol. 2: ‘Essential Modeling Techniques', Yourdon Press 1986.Google Scholar
  18. MW86/3.
    S. J. Mellor & P. T. Ward, Structured Development for Real-Time Systems, vol. 3: ‘Implementation Modeling Techniques', Yourdon Press 1986.Google Scholar
  19. S80.
    C. Seitz, System Timing, in C. Mead & L. Conway, Introduction to VLSI Systems, Addison Wesley 1980.Google Scholar
  20. Sh67.
    F. G. Shinskey, Process Control Systems, McGraw-Hill 1967.Google Scholar
  21. St1.
    The Language of Statemate, AdCad Ltd, Rehovot Israel, 1987.Google Scholar
  22. Ta81.
    A. S. Tanenbaum, Computer Networks, Prentice Hall International 1981.Google Scholar
  23. W77.
    N. Wirth, Towards a Discipline of Real-Time Programming, C-ACM, vol. 20, No 8, aug 1977.Google Scholar

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Ron Koymans
    • 1
  • Ruurd Kuiper
    • 1
  • Erik Zijlstra
    • 2
  1. 1.Vakgroep Theoretische InformaticaTechnische Universiteit EindhovenEindhoven
  2. 2.Foxboro Nederland NVSoest

Personalised recommendations