A set-theoretic model for real-time specification and reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1422, Issue , 1998, Pages 188-206

  Fidge, C J ^a   Hayes, I J ^a   Martin, A P ^a   Wabenhorst, A K ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; INTERACTIVE COMPUTER SYSTEMS;

REAL TIME SPECIFICATIONS; SET-THEORETIC MODELS;

REAL TIME SYSTEMS;

EID: 84957588806     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054291     Document Type: Conference Paper

References (20)

1. S. Atkinson and D. Scholefield. Transformational vs reactive refinement in realtime systems. Information Processing Letters, 55:201-210, 1995.
2. E. J. Billington, D. Donovan, B. D. Jones, S. Oates-Williams, and A. Street. Discrete Mathematics: Logic and Structures. Longman, 1990.
3. J. G. Bollinger and N. A. Duffle. Computer Control of Machines and Processes. Addison-Wesley, 1988.
4. S. M. Brien, M. Engel, He Jifeng, A. Ravn, and H. Rischel. Z description of duration calculus. Draft, Oxford University Computing Laboratory, August 1993.
5. K. Duddy, L. Everett, C. Millerchip, B. Mahony, and I. J. Hayes. Z-based notation for the specification of timing properties. Draft, Department of Computer Science, University of Queensland, June 1995.
6. M. R. Hansen and Zhou Chaochen. Duration calculus: Logical foundations. Formal Aspects of Computing, 9(3):283-330, 1997.
7. B. Mahony and I. J. Hayes. Using continuous real functions to model timed histories. In Proc. Sixth Australian Software Engineering Conference (ASWEC’91), Sydney, July 1991.
8. B. P. Mahony. The refinement calculus and data-flow processes. In Proc. Second Australasian Refinement Workshop, pages 1-28, Brisbane, September 1992.
9. B. P. Mahony and I. J. Hayes. A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, 18(9):817-826, September 1992.
10. A. Margaris. First Order Mathematical Logic. Blaisdell, 1967.
11. C. MiUerchip, B. Mahony, and I. J. Hayes. The generic problem competition: A whole system specification of the boiler system. Software Verification Research Centre, University of Queensland, June 1993.
12. B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, 1986.
13. E.-R. Olderog, A. P. Ravn, and J. U. Skakkebæk. Refining system requirements to program specifications. In C. Heitmeyer and D. Mandrioli, editors, Formal Methods for Real-Time Computing, volume 5 of Trends in Software, chapter 5, pages 107-134. Wiley, 1996.
14. A. P. Ravn. Design of Embedded Real-Time Computing Systems. PhD thesis, Department of Computer Science, Technical University of Denmark, 1995.
15. D. Scholefield, H. Zedan, and He Jifeng. A specification-oriented semantics for the refinement of real-time systems. Theoretical Computer Science, 131:219-241, 1994.
16. J. U. Skakkebaek. A Verification Assistant for a Real-Time Logic. PhD thesis, Department of Computer Science, Technical University of Denmark, 1994.
17. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, 1989.
18. G. B. Thomas, Jr. Calculus and Analytic Geometry. Addison-Wesley, 4th edition, 1968.
19. S. H. Valentine. An algebraic introduction of real numbers into Z. In H. Habrias, editor, 7th International Conference on: Putting into practice methods and tools for information system design, Z Twenty Years On — What is its Future?, Nantes, France, October 1995.
20. Zhou Chaochen. Duration calculi: An overview. In D. Bjorner, M. Broy, and I. Pottosin, editors, Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, pages 256-266. Springer-Verlag, 1993. Extended abstract.