Advertisement

The Concept of Time in the Specification of Real-Time Systems

  • Boudewijn Hoogeboom
  • Wolfgang A. Halang
Chapter
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 167)

Abstract

Everyone knows what time is, or at least how the word “time” is used in everyday language. Time is so much a part of our everyday experience that it has become a self-evident aspect of the world in which we live. One might expect that this familiarity with time would enhance the ability to relate it to the behavior of computing systems. In particular, the timing of input-output relations should pose no special problems. But a quick glance at the state of affairs in computer science tells us that, in sharp contrast to the alleged exactness of the discipline, there is little concern for descriptions of systems or programs that are exact with respect to time. Most of the attention devoted to time is directed toward speeding up the rate of data processing or developing time-efficient algorithms.

Keywords

Time Slot Temporal Logic Computer Science Community Program Execution Time Typical Reaction Time 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J. W. de Bakker, W. E de Roever, G. Rozenberg (Eds.), “Linear time, branching time and partial order in logics and models for concurrency”, School/Workshop, Noordwijkerhout, The Netherlands, May 30–June 3, 1988, LNCS 354, Berlin-Heidelberg-New York: Springer-Verlag 1988.Google Scholar
  2. [2]
    G. Becker, “Die Sekunde”, PTB-Mitteilungpn, vol. 85 (Jan. 1975) p.14–28, Physikalisch-Technische Bundesanstalt, Braunschweig, Germany.Google Scholar
  3. [3]
    J. A. Bergstra, “Terminologie van algebraische specificaties”, Deventer: Kluwer 1987.Google Scholar
  4. [4]
    C. Bron, “Controlling Discrete Real-Time Systems with Parallel Processes”, in [30]Google Scholar
  5. [5]
    B. Cohen, W. T. Harwood, M. I. Jackson, “The specification of complex systems”, Addison-Wesley Publishers Ltd. 1986.Google Scholar
  6. [6]
    V. Cingel, N. Fristacký, “A temporal logic based model of event-driven nets”, Research report, Department of Computer Science and Engineering, Faculty of Electrical Engineering, Slovak Technical University, Mlynska dolina, 812 19 Bratislava, Czechoslovakia, 1990.Google Scholar
  7. [7]
    E. Dekker “De juiste tijd. Hoe klokken in de afgelopen eeuwen gelijk werden gezet”, Intermediair, Vol. 26,No. 51, 1990, pp. 35–41, 1990.Google Scholar
  8. [8]
    A. Damm, J. Reisiger, W. Schwabl and H. Kopetz, “The real-time operating system of MARS”, Operating Systems Review, Vol. 23, pp. 142–157, 1989.CrossRefGoogle Scholar
  9. [9]
    DIN 44300: Infor\( \overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\smile}$}}{m} \)ationsverarbeitung, October 1985.Google Scholar
  10. [10]
    N. Elias, “Über die Zeit”, Suhrkamp: Frankfurt am Main, 1984.Google Scholar
  11. [11]
    V. H. Haase, “Real-time behavior of programs”, IEEE Transactions on Software Engineering, Vol. SE-7, 1981.Google Scholar
  12. [12]
    W. A. Halang, “Resource access synchronisation based on the parameter ‘time’: a suggestion for research” University of Groningen. Groningen, 1990.Google Scholar
  13. [13]
    E. D. Jensen, C D. Locke, H. Tokuda, “A time-driven scheduling model for real-time operating systems”, Proceedings of the 6th Real-Time System Symposium, San Diego, pp. 112–122, 1985.Google Scholar
  14. [14]
    M. Joseph (Ed.), “Formal Techniques in Real-Time and Fault-Tolerant Systems”, Lecture Notes in Computer Science, Vol. 331, Berlin-Heidelberg-New York: Springer-Verlag 1988.Google Scholar
  15. [15]
    M. Joseph and A. Goswami, “Formal description of realtime systems: a review”, Information and software technology, Vol. 31No. 2, 1989.Google Scholar
  16. [16]
    M. Joseph and A. Goswami, “Time and computation” in [30].Google Scholar
  17. [17]
    E Jahanian and A. K. Mok, “Safety Analysis of Timing Properties in Real-Time Systems”, IEEE Transactions on Software Engineering, Vol. SE-12,No. 9, 1986.Google Scholar
  18. [18]
    R. Koymans, R. Kuiper, E. Zijlstra, “Paradigms for real-time systems”, in [14], pp. 159–174.Google Scholar
  19. [19]
    H. Kopetz and W. Ochsenreiter, “Clock Synchronization in Distributed Real-Time Systems”, IEEE Transactions on Computers, Vol. C-36,No. 8, 1987.Google Scholar
  20. [20]
    H. Kopetz, “Real-Time Computing-Basic Concepts”, “Design of a Real-Time Computing System”, and “Clock Synchronization”, in [30].Google Scholar
  21. [21]
    R. Koymans, “Specifying Real-Time Properties with Metric Temporal Logic”, Research Report, Philips Research Laboratories, Eindhoven, Oct., 1989.Google Scholar
  22. [22]
    E. V. Krishnamurthy, “Parallel processing: principles and practice”. Addison-Wesley Publishers Ltd. 1989.Google Scholar
  23. [23]
    L. Lamport, R. Shostak, M. Pease, “The Byzantine Generals Problem”, ACM Transactions on Programming Languages and Systems, Vol. 4,No. 3, pp. 382–401, 1982.MATHCrossRefGoogle Scholar
  24. [24]
    L. Lamport, “What good is temporal logic?”, Proc. IFIP, Information Processing 83, R.E.A. Mason (Ed.), Amsterdam, The Netherlands: North-Holland, pp. 657–668, 1983.Google Scholar
  25. [25]
    A. Moitra and M. Joseph, “Implementing Real-Time Systems by Transformation” [30]Google Scholar
  26. [26]
    A. K. Mok, “Real-Time Logic, Programming and Scheduling”, in [30].Google Scholar
  27. [27]
    W. Newton-Smith, “The structure of time”, Routledge & Kegan Paul Ltd, London, 1980.Google Scholar
  28. [28]
    J. S. Ostroff, “Mechanizing the verification of real-time discrete systems”, Microprocessing and Microprogramming 27, pp. 649–656, 1989.CrossRefGoogle Scholar
  29. [29]
    A. Pnueli and E. Harel, “Applications of temporal logic to the specification of Real-Time systems”, in [14], pp. 84–98.Google Scholar
  30. [30]
    B. Randell, (Ed.) “Real-Time Systems”, Proceedings of the Joint Univ. of Newcastle Upon Tyne/International Computers Limited Seminar, Newcastle, Sept, 1989.Google Scholar
  31. [31]
    W. Reisig, “Towards a temporal logic for true concurrency, Part 1: Linear time propositional logic”, Arbeitspapiere der GMD (Gesellschaft füir Mathematik und Datenverarbeitung mbH) Nr. 277, Nov., 1987.Google Scholar
  32. [32]
    W. E. de Roever, (Ed.) “Formal Methods and Tools for the Development of Distributed and Real-Time Systems”, Computing Science Notes, Eindhoven University of Technology, 1990.Google Scholar
  33. [33]
    G. M. Reed and A. W. Roscoe, “A timed model for communicating sequential processes”, Theoretical Computer Science, 58, pp. 249–261, North Holland 1988.MATHCrossRefMathSciNetGoogle Scholar
  34. [34]
    B. Russell, “On order in time”, Proceedings of the Cambridge Philosophia Society, Vol. 32, pp. 216–228, 1936.MATHCrossRefGoogle Scholar
  35. [35]
    A. C. Shaw, “Reasoning about time in higher-level language software”, IEEE Transactions on Software Engineering, Vol. 15,No. 7, July, 1989.Google Scholar
  36. [36]
    W. M. Turski and T. S. W. Maibaum, “The Specification of Computer Programs”, Addison-Wesley 1987.Google Scholar
  37. [37]
    W. M. Turski, “Time considered irrelevant for real-time systems”, BIT, Vol. 28, pp. 473–486, 1988.MATHCrossRefMathSciNetGoogle Scholar
  38. [38]
    W. M. Turski, “Timing Considerations Will Damage Your Programs”, “How To Cope With Many Processors In No Time At All” in [30].Google Scholar
  39. [39]
    A. G. Walker, “Durees et instants”, Revue Scientifique, Vol. 85, pp. 131–134, 1947.MATHGoogle Scholar
  40. [40]
    E T. Ward and S. J. Mellor, “Structured development for real-time systems”, Vol. 1: Introduction and tools, Prentice-Hall 1985.Google Scholar
  41. [41]
    H. Wupper, J. Vytopil, “A specification Language for Reliable Real-Time Systems”, in [14], pp. 111–127.Google Scholar
  42. [42]
    G. J. Whitrow, “The Natural Philosophy of Time”, Oxford: Clarendon Press 1980.MATHGoogle Scholar
  43. [43]
    S. J. Young, “Real-time languages: design and development”, Chich-ester, UK.: Ellis Horwood Ltd. 1982.MATHGoogle Scholar

Copyright information

© Kluwer Academic Publishers 1992

Authors and Affiliations

  • Boudewijn Hoogeboom
    • 1
  • Wolfgang A. Halang
    • 1
  1. 1.Rijksuniversiteit te GroningenVakgroep InformaticaAV GroningenThe Netherlands

Personalised recommendations