A fast prototype tool for parallel reactive systems

Journal of Systems Architecture

Volumn 42, Issue 4, 1996, Pages 251-266

  Heping, H ^a   Zedan, H ^b  

^a Domino Ltd   (United Kingdom)

^b DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Formal specification; Parallel system; Prototype; Reactive

Indexed keywords

EID: 0347304745     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/1383-7621(96)00024-0     Document Type: Article

References (15)

1. James F. Allen, Towards a general theory of action and time, Artificial Intelligence 23 (1983) 123-154.
2. A. Pnueli, The temporal logic of programs. Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, RI, New York, IEEE, pages 46-57, 1977.
3. N. Rescher and A. Urguhart, Temporal Logic (Springer-Verlag, Vienna, NY, 1971).
4. F. Jahanian and A. Mok, Safety analysis of timing properties in real-time systems, IEEE Transactions SE-12(9) (1986) 890-940.
5. Zhou Chaochen, C.A.R. Hoare, and Anders P. Ravn, A calculus of durations, ProCos Working Paper, Oxford University Computing Laboratory, 1991.
6. B. Moszkowski, Executing temporal logic programs, Cambridge Technical Report N71, 1985.
7. F. Kroger, Temporal logic of programs, in: W. Brauer, G. Rozenberg and A. Salomaa, eds., EATCS, Monographs on Theoretical Computer Science, Springer-Verlag.
8. Y. Kesten and A. Pnueli, Timed and hybrid statecharts and their textual representation, in: J. Vytopil, ed., Formal Techniques in Real-Time and Fault-Tolerant Systems, Vol. 571 of Lecture Notes in Comp. Sci., pages 591-619, Springer-Verlag, 1992.
9. O. Maler, Z. Manna, and A. Pnueli, From timed to hybrid systems, in: J.W. de Bakker, ed., Proceedings of the REX Workshop Real-Time: Theory in Practice, Vol. 600 of Lect. Notes in Comp. Sci., Springer-Verlag, 1992.
10. H. Heping, Cycle calculus for requirements specification of real-time and hybrid systems, FSRG Reports, FSRG-93-18. Department of Computer Science, University of York, 1993.
11. H. Heping, PSP, a programming language for prototype state predicates, FSRG Report, FSRG-93-19, Department of Computer Science, University of York, 1993.
12. H. Heping, H. Zedan, Requirement specification for real-time and hybrid systems, Proceedings of the 6th Conference on Formal Description Techniques, Boston, USA, 1993.
13. C. Huizing and W.P. de Rover, Introduction to design choices in the semantics of Statecharts, Information Processing Letters 37(4) (1991) 205-213.
14. U. Furbach, Formal specification methods for reactive systems, Journal of Systems Software 21 (1993) 129-139.
15. H. Heping, The Cycle Calculus and Method for the Formal Development of Real-Time and Hybrid Systems (Ph.D. Thesis, Department of Computer Science, University of York, YCST9407, July 1994).