The Concept of Time in the Specification of Real-Time Systems
- 4 Citations
- 151 Downloads
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 TimePreview
Unable to display preview. Download preview PDF.
References
- [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]G. Becker, “Die Sekunde”, PTB-Mitteilungpn, vol. 85 (Jan. 1975) p.14–28, Physikalisch-Technische Bundesanstalt, Braunschweig, Germany.Google Scholar
- [3]J. A. Bergstra, “Terminologie van algebraische specificaties”, Deventer: Kluwer 1987.Google Scholar
- [4]C. Bron, “Controlling Discrete Real-Time Systems with Parallel Processes”, in [30]Google Scholar
- [5]B. Cohen, W. T. Harwood, M. I. Jackson, “The specification of complex systems”, Addison-Wesley Publishers Ltd. 1986.Google Scholar
- [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]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]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]DIN 44300: Infor\( \overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\smile}$}}{m} \)ationsverarbeitung, October 1985.Google Scholar
- [10]N. Elias, “Über die Zeit”, Suhrkamp: Frankfurt am Main, 1984.Google Scholar
- [11]V. H. Haase, “Real-time behavior of programs”, IEEE Transactions on Software Engineering, Vol. SE-7, 1981.Google Scholar
- [12]W. A. Halang, “Resource access synchronisation based on the parameter ‘time’: a suggestion for research” University of Groningen. Groningen, 1990.Google Scholar
- [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]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]M. Joseph and A. Goswami, “Formal description of realtime systems: a review”, Information and software technology, Vol. 31No. 2, 1989.Google Scholar
- [16]M. Joseph and A. Goswami, “Time and computation” in [30].Google Scholar
- [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]R. Koymans, R. Kuiper, E. Zijlstra, “Paradigms for real-time systems”, in [14], pp. 159–174.Google Scholar
- [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]H. Kopetz, “Real-Time Computing-Basic Concepts”, “Design of a Real-Time Computing System”, and “Clock Synchronization”, in [30].Google Scholar
- [21]R. Koymans, “Specifying Real-Time Properties with Metric Temporal Logic”, Research Report, Philips Research Laboratories, Eindhoven, Oct., 1989.Google Scholar
- [22]E. V. Krishnamurthy, “Parallel processing: principles and practice”. Addison-Wesley Publishers Ltd. 1989.Google Scholar
- [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.zbMATHCrossRefGoogle Scholar
- [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]A. Moitra and M. Joseph, “Implementing Real-Time Systems by Transformation” [30]Google Scholar
- [26]A. K. Mok, “Real-Time Logic, Programming and Scheduling”, in [30].Google Scholar
- [27]W. Newton-Smith, “The structure of time”, Routledge & Kegan Paul Ltd, London, 1980.Google Scholar
- [28]J. S. Ostroff, “Mechanizing the verification of real-time discrete systems”, Microprocessing and Microprogramming 27, pp. 649–656, 1989.CrossRefGoogle Scholar
- [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]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]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]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]G. M. Reed and A. W. Roscoe, “A timed model for communicating sequential processes”, Theoretical Computer Science, 58, pp. 249–261, North Holland 1988.zbMATHCrossRefMathSciNetGoogle Scholar
- [34]B. Russell, “On order in time”, Proceedings of the Cambridge Philosophia Society, Vol. 32, pp. 216–228, 1936.zbMATHCrossRefGoogle Scholar
- [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]W. M. Turski and T. S. W. Maibaum, “The Specification of Computer Programs”, Addison-Wesley 1987.Google Scholar
- [37]W. M. Turski, “Time considered irrelevant for real-time systems”, BIT, Vol. 28, pp. 473–486, 1988.zbMATHCrossRefMathSciNetGoogle Scholar
- [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]A. G. Walker, “Durees et instants”, Revue Scientifique, Vol. 85, pp. 131–134, 1947.zbMATHGoogle Scholar
- [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]H. Wupper, J. Vytopil, “A specification Language for Reliable Real-Time Systems”, in [14], pp. 111–127.Google Scholar
- [42]G. J. Whitrow, “The Natural Philosophy of Time”, Oxford: Clarendon Press 1980.zbMATHGoogle Scholar
- [43]S. J. Young, “Real-time languages: design and development”, Chich-ester, UK.: Ellis Horwood Ltd. 1982.zbMATHGoogle Scholar