Verification of UML-based real-time system designs by means of cTLA

Proceedings - 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2000

Volumn , Issue , 2000, Pages 86-95

  Graw, G ^a   Herrmann, P ^a   Krumm, H ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DESIGN; DISTRIBUTED COMPUTER SYSTEMS; FORMAL VERIFICATION; INTERACTIVE COMPUTER SYSTEMS; MODELING LANGUAGES; SEMANTICS; UNIFIED MODELING LANGUAGE;

FORMAL SPECIFICATION TECHNIQUES; FORMAL SYSTEM MODELS; INTERACTION DIAGRAM; PROCESS COMPOSITIONS; REAL TIME ASPECTS; SYSTEM BEHAVIORS; TEMPORAL LOGIC OF ACTIONS; TIME CONSTRAINTS;

REAL TIME SYSTEMS;

EID: 84962018368     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2000.839515     Document Type: Conference Paper

References (20)

1. R. Alur, T.A. Henzinger, and P.-H. Ho, "Automatic Symbolic Verification of Embedded Systems", in 14th Annual Real-time Systems Symposium, IEEE Computer Society Press, 1993, pp. 2-11.
2. G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language - User Guide, Addison Wesley Longman, 1999.
3. G. Graw, P. Herrmann, and H. Krumm, "Constraint-Oriented Formal Modelling of OO-Systems", in L. Kutvonen, H. Knig, and M. Tienari (eds.), 2nd Int. Working Conf. on Distributed Applications and Interoperable Systems (DAIS'99), Kluwer Academic Publisher, 1999, pp. 345-358.
4. G. Graw, P. Herrmann, and H. Krumm, "Composing Object-Oriented Specifications and Verifications with cTLA", in Workshop on Semantics of Objects as Processes (SOAP'99), BRICS Notes Series NS-99-2, 1999, pp. 7-22.
5. Th. Henzinger, "The Theory of Hybrid Automata", in 11th Annual IEEE Symposium on Logic in Computer Science (LICS'1996), IEEE Computer Society Press, 1996, pp. 278-292.
6. P. Herrmann, G. Graw, and H. Krumm, "Compositional Specification and Structured Verification of Hybrid Systems in cTLA", in 1st IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'98), IEEE Computer Society Press, Kyoto, 1998, pp. 335-340.
7. P. Herrmann and H. Krumm, "Compositional Specification and Verification of High-Speed Transfer Protocols", in S. T. Vuong and S. T. Chanson (eds.), Protocol Specification, Testing, and Verification XIV, Chapman & Hall, Vancouver, 1994, pp. 339-346.
8. P. Herrmann and H. Krumm, "Specification of Hybrid Systems in cTLA+", in 5th International Workshop on Parallel & Distributed Real-Time Systems (WP-DRTS'97), IEEE Computer Society Press, Geneva, 1997, pp. 212-216.
9. ISO, "Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour", International Standard ISO 8807, 1989.
10. ITU-T, "ISO/IEC Recommendation X.902, IS 10746-2, ODP Reference Model: Descriptive Model", ITU, Geneva, 1995.
11. 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, Springer-Verlag, LNCS 571, 1992, pp. 591-619.
12. R. Kurki-Suonio, "Fundamentals of object-oriented specification and modeling of collective behaviors", in H. Kilov and W. Harvey (eds.), Object-Oriented Behavioral Specifications, Kluwer Academic Publishers, 1996, pp. 101-120.
13. +", in R. L. Grossmann, A. Nerode, A. Ravn, and H. Rischel (eds.), Hybrid Systems, Springer Verlag, LNCS 736, 1993, pages 77-102.
14. L. Lamport, "The Temporal Logic of Actions", ACM Transactions on Programming Languages and Systems, vol. 16, no. 3, 1994, pp. 872-923.
15. K. Lano and A. Evans, "Rigorous Development in UML", in FASE Workshop (ETAPS'99), Springer Verlag, 1999.
16. K. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a Nutshell", Springer International Journal of Software Tools for Technology Transfer, vol. 1, no. 1+2, 1997.
17. L. Leboucher and E. Najm, "A framework for real-time QoS in distributed systems", in IEEE Workshop on Middleware for Distributed Real-Time Systems and Service, IEEE Computer Society Press, San Francisco, 1997.
18. N. Lynch and F. Vaandrager, "Forward and backward simulations for timing-based systems", in J. W. de Bakker, W. P. de Roever, C. Huizing, and G. Rozenberg (eds.), Real-Time: Theory in Practice (REX'91), Springer-Verlag, LNCS 600, Mook, 1992, pp. 397-446.
19. B. Selic, G. Gullekson, and P. Ward, Real-time Object-Oriented Modelling, Wiley & Sons, 1994.
20. D. Waddington and G. Coulson, "A Multimedia Component Architecture", in 1st IEEE International Workshop Enterprise Distributed Object Computing (EDOC'97), IEEE Computer Society Press, Surfers Paradise, 1997.