Advertisement

A temporal approach to requirements specification of real-time systems

  • Yogesh Naik
Session 7A
Part of the Lecture Notes in Computer Science book series (LNCS, volume 571)

Abstract

This paper describes a specification notation of temporal logic to describe the requirements of real-time systems. The notation is extended by a calculus of occurrences of predicates. Using the logic and the calculus we show that common real-time properties such as durations, number of occurrences, precedence and other properties can be described. It is then used to describe the IEEE 802 Token Bus specification.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ACD90]
    R. Alur, C. Courcoubetis, and D. L. Dill. Model checking for real-time systems. In Proceedings Symposium on Logic in Computer Science, 1990.Google Scholar
  2. [BKP84]
    H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In Proceedings of the 16th ACM Symposium on the Theory of Computing, pages 51–63, Washington D.C., 1984.Google Scholar
  3. [BKP86]
    H. Barringer, R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporal logic. In Proceedings of the 13th ACM Symposium on Principles of Programming Languages, pages 173–183, Florida, 1986.Google Scholar
  4. [CHR91]
    Z. Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Unpublished, 1991.Google Scholar
  5. [EC82]
    E.A. Emerson and E.M. Clarke. Using branching time logic to synthesize synchronization skeletons. Science of Computer Programming, 2:241–266, 1982.Google Scholar
  6. [HLP90]
    D. Harel, O. Lichtenstein, and A. Pnueli. Explicit clock temporal logic. In Proceedings Symposium on Logic in Computer Science, pages 402–413, 1990.Google Scholar
  7. [HW89]
    J. Hooman and J. Widom. A temporal-logic based compositional proof system for real-time message passing. In Lecture Notes in Computer Science 366, pages 424–441. Springer-Verlag, Heidelberg, 1989.Google Scholar
  8. [JM86]
    F. Jahanian and A. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, 12:890–904, 1986.Google Scholar
  9. [Koy89]
    R. Koymans. Specifying Message Passing and Time-Critical Systems with Temporal Logic. PhD thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, 1989.Google Scholar
  10. [MM83]
    B. Moszkowski and Z. Manna. Reasoning in interval temporal logic. In Lecture Notes in Computer Science 164, pages 371–383. Springer-Verlag, Heidelberg, 1983.Google Scholar
  11. [MP81]
    Z. Manna and A. Pnueli. Verification of concurrent programs: The temporal framework. In R.S. Boyer and J.S. Moore, editors, The Correctness Problem in Computer Science, pages 215–273. Academic Press, London, 1981.Google Scholar
  12. [Nai91]
    Y. Naik. A temporal approach to requirements specification of real-time systems. To be submitted as a Technical Report, 1991.Google Scholar
  13. [Ost89]
    J.S. Ostroff. Temporal Logic for Real-time Systems. Research Studies Press, 1989.Google Scholar
  14. [PH88]
    A. Pnueli and E. Harel. Applications of temporal logic to the specification of real time systems (extended abstract). In Lecture Notes in Computer Science 331, pages 84–98. Springer-Verlag, Heidelberg, 1988.Google Scholar
  15. [Pic86]
    R. L. Pickholtz, editor. Local Area Networks and Multiple Access Networks, chapter 1, pages 1–30. Computer Science Press, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Yogesh Naik
    • 1
  1. 1.Department of Computer ScienceUniversity of WarwickCoventryUK

Personalised recommendations