Timed patterns: TCOZ to timed automata

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

Volumn 3308, Issue , 2004, Pages 483-498

  Dong, Jin Song ^a   Hao, Ping ^a   Qin, Sheng Chao ^a   Sun, Jun ^a   Yi, Wang ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

Modeling and specification formalisms

Indexed keywords

AUTOMATA THEORY; GRAPHIC METHODS; INTERACTIVE COMPUTER SYSTEMS; MODELING LANGUAGES; SEMANTICS; SPECIFICATIONS;

COMPLEX REAL-TIME SYSTEMS; GRAPH-BASED MODELING; GRAPHICAL PATTERNS; LOGIC-BASED MODELING; REQUIREMENT MODELS; SOUND TRANSFORMATIONS; SYSTEMATIC DESIGNS; TIMED COMMUNICATING OBJECT-Z;

REAL TIME SYSTEMS;

EID: 35048882515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30482-1_39     Document Type: Article

References (16)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235,1994.
2. J. Bengtsson, K. G. Larsen, F. Larsson, and P. Pettersson avd Y. Wang. UPPAAL - a tool suite for automatic verification of real-time systems. In Hybrid Systems III: Verification and Control, pages 232-243. Springer, 1996.
3. Albert M. K. Cheng. Real-time systems : scheduling, analysis, and verification. John Wiley and Sons, 2002.
4. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III: Verification and Control, pages 208-219. Springer, 1996.
5. J. S. Dong, P. Hao, S. C. Qin, J. Sun, and W. Yi. TCOZ to Timed Automata. Technical report TRC6/03, School of Computing, National University of Singapore, 2003. http//nt-appn.comp.nus.edu.sg/frn/tcoz2ta/tr.zip.
6. R. Duke, G. Rose, and G. Smith. Object-Z: a Specification Language Advocated for the Description of Standards. Computer Standards and Interfaces, 17:511-533,1995.
7. C. L. Heitmeyer and N. Lynch. The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. In Proceedings of RTSS'94, Real-Time Systems Symposium, pages 120-131, San Juan, Puerto Rico, December 1994. IEEE Computer Society Press.
8. T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-243,1994.
9. B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2): 150-177, February 2000.
10. B. Mahony and J. S. Dong. Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects of Computing, 13(2):142-160,2002.
11. J. Ouaknine and J. Worrell. Timed CSP = Closed Timed Automata. In Proceedings of EXPRESS 02, volume 38(2) of ENTCS, 2002.
12. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
13. S. Schneider, J. Davies, D. M. Jackson, G. M. Reed, J. N. Reed, and A. W. Roscoe. Timed CSP: Theory and practice. In J. W. de Bakker, C. Huixing, W. P. de Roever, and G. Rozenberg, editors, Real-time: Theory in Practice, volume 600 of Lect. Notes in Comput. Sci., pages 640-675. Springer-Verlag, 1992.
14. G. Smith. An integration of real-time object-z and csp for specifying concurrent real-time systems. In M. Butler, L. Petre, and K. Sere, editors, IFM 2002, page 267"C285. Springer-Verlag, 2002.
15. J. Sun, J. S. Dong, J. Liu, and H. Wang. A formal object approach to the design of zml. Annals olSoftware Engineering, 13:329-356.2002.
16. J. Woodcock and A. Cavalcanti. The Semantics of Circus. In ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 184-203. Springer-Verlag, 2002.