The hybridUML profile for UML 2.0

International Journal on Software Tools for Technology Transfer

Volumn 8, Issue 2, 2006, Pages 167-176

  Berkenkötter, Kirsten ^a   Bisanz, Stefan ^a   Hannemann, Ulrich ^a   Peleska, Jan ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

Embedded systems; Hybrid automata; UML

Indexed keywords

EID: 33646150004     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-005-0211-z     Document Type: Article

References (20)

1. Alur, R., Courcoubetis, C., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comp. Sci. 138, 3-34 (1995)
2. Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivančić, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Proceedings of the 1st Workshop on Embedded Software (EMSOFT), LNCS 2211, pp. 14-31 (2001)
3. Alur, R., Dang, T., Esposito, J., Hur, Y., Ivančić, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling and analysis of embedded systems. Proceedings of the IEEE 91 (1), 11-28 (January 2003)
4. Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional refinement for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, LNCS 2034, pp. 33-48 (2001)
5. Berkenkötter, K., Bisanz, S., Hannemann, U., Peleska, J.: Executable HybridUML and its Application to Train Control Systems. In: Integration of Software Specification Techniques for Applications in Engineering, LNCS 3147, pp. 145-173 (September 2004)
6. Berkenkötter, K.: Using UML 2.0 in real-time development- a critical review. SVERTS Workshop at the 〈〈UML〉〉 2003 Conference (October 2003). http://www-verimag.imag.fr/EVENTS/2003/SVERTS/
7. Bisanz, S., Ziemann, P., Lindow, A.: Integrated Specification, Validation and Verification with HybridUML and OCL applied to the BART Case Study. In: FORMS/FORMAT 2004. Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 191-203, Braunschweig (December 2004)
8. Damm, W., Josko, B., Hungar, H., Pnueli, A.: A compositional real-time semantics of STATEMATE designs. LNCS 1536, pp. 186-238 (1998)
9. Ericsson, IBM, FOKUS, Motorola, Rational, Softeam, and Telelogic. UML Testing Profile (Draft Adopted Specification) (July 2003)
10. Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), pp. 278-292. IEEE Computer Society Press (1996)
11. Hamer, U., Peleska, J.: Z Applied to the A330/340 CIDS Cabin Communication System. In: Hinchey, M., Bowen, J. (eds.), Applications of Formal Methods, pp. 253-284. Prentice Hall International (1995)
12. Jacobson, I., Rumbaugh, J., Booch, G.: The Unified Modeling Language - Reference Manual. Addison-Wesley (1999)
13. OMG: UML Profile for Schedulability, Performance, and Time Specification, March 2002. http://www.omg.org/cgi-bin/doc?ptc/2003-03-02
14. OMG: Unified Modeling Language Specification (Action Semantics) (January 2002)
15. OMG: UML 2.0 Infrastructure Specification, OMG Adopted Specification. http://www.omg.org/cgi-bin/apps/doc?ptc/03-09-15.pdf (September 2003)
16. OMG: UML 2.0 Superstructure Specification, OMG Adopted Specification. http://www.omg.org/cgi-bin/apps/doc?ptc/03-08-02.pdf (August 2003)
17. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall International (1997)
18. Selic, B.: Using UML for modeling complex real-time systems. In: Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 1998, Proceedings, LNCS 1474, pp. 250-260 (1998)
19. Winter, V.L., Bhattacharya, S.: High Integrity Software. Kluwer Academic Publishers Press (2001)
20. Zhou, C., Ravn, A.P., Hansen, M.R.: An extended duration calculus for hybrid real-time systems. In: Hybrid Systems, pp. 36-59. The Computer Society of the IEEE (1993)